Stem cyclic$ (all stems)

79 papers:

CASE-2015-Houssin #problem

An exension of the heap of pieces model for the Cyclic Jobshop Problem (LH), pp. 1182–1187.

DATE-2015-WengCCHW #using

Using structural relations for checking combinationality of cyclic circuits (WCW, YCC, JHC, CYH, CYW), pp. 325–328.

FoSSaCS-2015-HoO #problem

The Cyclic-Routing UAV Problem is PSPACE-Complete (HMH, JO), pp. 328–342.

CASE-2014-MashaeiL #energy #reduction

Energy reduction in cyclic flow shop plants through on-off control of robots (MM, BL), pp. 492–497.

FoSSaCS-2014-EsparzaD #concurrent #on the

On Negotiation as Concurrency Primitive II: Deterministic Cyclic Negotiations (JE, JD), pp. 258–273.

SAS-2014-BrotherstonG #abduction #safety #termination

Cyclic Abduction of Inductively Defined Safety and Termination Preconditions (JB, NG), pp. 68–84.

CGO-2014-WangPPLGN #debugging #named #slicing

DrDebug: Deterministic Replay based Cyclic Debugging with Dynamic Slicing (YW, HP, CP, GL, RG, IN), p. 98.

CASE-2013-LiF #approach #integer #linear #multi #problem #programming #scheduling

A mixed integer linear programming approach for multi-degree cyclic multi-hoist scheduling problems without overlapping (XL, RYKF), pp. 274–279.

ICSM-2013-OyetoyanCC #component #question #refactoring

Can Refactoring Cyclic Dependent Components Reduce Defect-Proneness? (TDO, DSC, RC), pp. 420–423.

SCAM-2013-OyetoyanCC #component #fault

Criticality of defects in cyclic dependent components (TDO, RC, DSC), pp. 21–30.

ASPLOS-2013-JafriVV #dependence #named #performance

Wait-n-GoTM: improving HTM performance by serializing cyclic dependencies (SARJ, GV, TNV), pp. 521–534.

CASE-2012-MashaeiL #robust

Sustainable and robust control of cyclic pallet systems (MM, BL), pp. 1184–1191.

FLOPS-2012-Hamana #category theory #haskell

Correct Looping Arrows from Cyclic Terms — Traced Categorical Interpretation in Haskell (MH), pp. 136–150.

CAV-2012-BrockschmidtMOG #automation #java #proving #source code #termination

Automated Termination Proofs for Java Programs with Cyclic Data (MB, RM, CO, JG), pp. 105–122.

CASE-2011-FrohlichS #multi #scheduling

Transient multiple hoist scheduling of consecutive cyclic schedules (RF, SCS), pp. 357–362.

CASE-2011-MashaeiLA #agile

Green and lean control of cyclic pallet systems (MM, BL, GA), pp. 642–647.

CIAA-2011-Martyugin #automaton #complexity #problem #word

Complexity of Problems Concerning Reset Words for Cyclic and Eulerian Automata (PM), pp. 238–249.

ICEIS-v4-2011-WangL11a #modelling #optimisation #parametricity #simulation

Simulation Modeling and Parameter Optimization in Cyclic Picking System (AW, XL), pp. 690–694.

SEKE-2011-AhmedNG #metric

Cyclic Association Rules: Coupling Between Dimensions With Measures (EBA, AN, FG), pp. 379–384.

CADE-2011-BrotherstonDP #automation #logic #proving

Automated Cyclic Entailment Proofs in Separation Logic (JB, DD, RLP), pp. 131–146.

CASE-2010-MashaeiLSA #design #flexibility #multi

Optimal design of a decoupled multiple-loop pallet system for cyclic flexible manufacturing plants (MM, BL, FS, GA), pp. 433–438.

DATE-2010-FroehlichSB

A 14 bit, 280 kS/s cyclic ADC with 100 dB SFDR (TF, VS, MB), pp. 706–710.

ICPR-2010-SrikrishnanC #analysis #linear #using

Crowd Motion Analysis Using Linear Cyclic Pursuit (VS, SC), pp. 3340–3343.

CSL-2010-Pous #algebra #linear #logic #proving

Untyping Typed Algebraic Structures and Colouring Proof Nets of Cyclic Linear Logic (DP), pp. 484–498.

DATE-2009-ChenKLA

Accelerating FPGA-based emulation of quasi-cyclic LDPC codes with vector processing (XC, JK, SL, VA), pp. 1530–1535.

TLCA-2009-Hamana #algebra #semantics

Initial Algebra Semantics for Cyclic Sharing Structures (MH), pp. 127–141.

LATA-2008-CastiglioneRS #algorithm #automaton

Hopcroft’s Algorithm and Cyclic Automata (GC, AR, MS), pp. 172–183.

ICPR-2008-ChandraS #using

A method for removing cyclic artefacts in discrete tomography using latin squares (SC, IDS), pp. 1–4.

POPL-2008-BrotherstonBC #logic #proving #termination

Cyclic proofs of program termination in separation logic (JB, RB, CC), pp. 101–112.

SAC-2008-AtoofianB #behaviour #embedded #latency #memory management

Exploiting program cyclic behavior to reduce memory latency in embedded processors (EA, AB), pp. 1482–1486.

ISMM-2008-Trancon-y-Widemann #functional #garbage collection #programming

A reference-counting garbage collection algorithmfor cyclical functional programming (BTyW), pp. 71–80.

ISMM-2007-NguyenR #detection #memory management #using

Detecting and eliminating memory leaks using cyclic memory allocation (HHN, MCR), pp. 15–30.

VMCAI-2007-RakamaricBH #data type #source code #verification

An Inference-Rule-Based Decision Procedure for Verification of Heap-Manipulating Programs with Mutable Data and Cyclic Data Structures (ZR, JDB, AJH), pp. 106–121.

ICGT-2006-Lins #algorithm

New Algorithms and Applications of Cyclic Reference Counting (RDL), pp. 15–29.

VMCAI-2006-RossignoliS #compilation #detection

Detecting Non-cyclicity by Abstract Compilation into Boolean Functions (SR, FS), pp. 95–110.

ICPR-v4-2004-PeternelL #learning #probability #recognition #visual notation

Visual Learning and Recognition of a Probabilistic Spatio-Temporal Model of Cyclic Human Locomotion (MP, AL), pp. 146–149.

ICPR-v4-2004-YazdiAB #analysis #process #segmentation

Morphological Analysis of Spatio-Temporal Patterns for the Segmentation of Cyclic Human Activities (MY, ABA, RB), pp. 240–243.

KDD-2004-HorvathGW #graph #kernel #mining #predict

Cyclic pattern kernels for predictive graph mining (TH, TG, SW), pp. 158–167.

KR-2004-CondottaL #axiom #calculus

Axiomatizing the Cyclic Interval Calculus (JFC, GL), pp. 95–105.

CSL-2004-Gianantonio #linear #logic #multi

Structures for Multiplicative Cyclic Linear Logic: Deepness vs Cyclicity (PDG), pp. 130–144.

DAC-2003-Edwards

Making cyclic circuits acyclic (SAE), pp. 159–162.

DAC-2003-RiedelB #synthesis

The synthesis of cyclic combinational circuits (MDR, JB), pp. 163–168.

CIAA-2002-Melichar #parsing #string

Deterministic Parsing of Cyclic Strings (BM), pp. 301–306.

ICPR-v4-2002-MollinedaVC #approach #approximate #string

A Windowed Weighted Approach for Approximate Cyclic String Matching (RAM, EV, FC), pp. 188–191.

ICPR-v4-2002-PerisM #classification #distance #edit distance #performance

Fast Cyclic Edit Distance Computation with Weighted Edit Costs in Classification (GP, AM), pp. 184–187.

FASE-J-1998-GrieskampHD01 #component #embedded #specification

Specifying embedded systems with statecharts and Z: an agenda for cyclic software components (WG, MH, HD), pp. 31–57.

ICALP-2001-ShankarKSR

Minimal Tail-Biting Trellises for Certain Cyclic Block Codes Are Easy to Construct (PS, PNAK, HS, BSR), pp. 627–638.

ICPR-v2-2000-MarzalB #distance #edit distance #string

Speeding Up the Computation of the Edit Distance for Cyclic Strings (AM, SB), pp. 2891–2894.

KR-2000-BalbianiO #reasoning

A Model for Reasoning about Topologic Relations between cyclic intervals (PB, AO), pp. 378–385.

KR-2000-Mota #set

Cyclical and Granular Time Theories as Subsets of the Herbrand Universe (EM), pp. 366–377.

CL-2000-DebrayH #analysis #constraints #database #termination

Constraint-Based Termination Analysis for Cyclic Active Database Rules (SKD, TJH), pp. 1121–1136.

ICDAR-1999-TangSMRTC #2d #algorithm #composition

Accelerating the 2-D Mallat Decomposition Algorithm with Cyclical Convolution and FNTT (YYT, QS, HM, DBR, YT, ZKC), pp. 87–90.

DLT-1999-Platek

Weak cyclic forms of rw-automata (MP), pp. 115–124.

CAV-1999-NamjoshiK #analysis #performance

Efficient Analysis of Cyclic Definitions (KSN, RPK), pp. 394–405.

FASE-1998-GrieskampHD #component #embedded #specification

Specifying Embedded Systems with Staecharts and Z: An Agenda for Cyclic Software Components (WG, MH, HD), pp. 88–106.

FLOPS-1998-Miyoshi #logic

Rewriting Logic for Cyclic Sharing Structures (extended abstract) (HM), pp. 167–186.

FLOPS-1998-Takeuti #type system

A Type Theory for Cyclic Strcture (IT), pp. 207–226.

ECOOP-1998-RodriguesJ #distributed #garbage collection

Cyclic Distributed Garbage Collection with Group Merger (HR, REJ), pp. 260–284.

VLDB-1997-AshwinRSSS #database #garbage collection #object-oriented #transaction #using

Garbage Collection in Object Oriented Databases Using Transactional Cyclic Reference Counting (SA, PR, SS, AS, SS), pp. 366–375.

TLCA-1997-Hasegawa #category theory #modelling #recursion #λ-calculus

Recursion from Cyclic Sharing: Traced Monoidal Categories and Models of Cyclic λ Calculi (MH), pp. 196–213.

ICPR-1996-Oncina #algorithm #string

The Cocke-Younger-Kasami algorithm for cyclic strings (JO), pp. 413–416.

POPL-1996-GhiyaH #analysis #c #graph #pointer

Is it a Tree, a DAG, or a Cyclic Graph? A Shape Analysis for Heap-Directed Pointers in C (RG, LJH), pp. 1–15.

LICS-1994-AriolaK #graph grammar

Cyclic λ Graph Rewriting (ZMA, JWK), pp. 416–425.

SAC-1993-KelleherLD #equation #on the #parallel #performance #reduction

On the Performance of a Direct Parallel Method for Solving Separable Elliptic Equations Based on Block Cyclic Reduction (KK, SL, SKD), pp. 517–524.

SEKE-1992-Rauterberg #process

An Iterative-Cyclic Software Process Model (MR), pp. 600–607.

CC-1992-HendrenGAM #framework #graph

A Register Allocation Framework Based on Hierarchical Cyclic Interval Graphs (LJH, GRG, ERA, CM), pp. 176–191.

ICSE-1989-Hsieh #analysis #concurrent #source code

Timing Analysis of Cyclic Concurrent Programs (CSH), pp. 312–318.

PODS-1988-HaddadN

Counting Methods for Cyclic Relations (RWH, JFN), pp. 333–340.

ICALP-1987-PazS #approximate #integer

Approximating Integer Lattices by Lattices with Cyclic Factor Groups (AP, CPS), pp. 386–393.

GG-1986-BoerL #comparison

Map OL-systems with edge label control: Comparison of marker and cyclic systems (MJMdB, AL), pp. 378–392.

ICLP-1986-NilssonT86 #traversal

Cyclic Tree Traversal (MN, HT), pp. 593–599.

VLDB-1985-CellaryM #database #distributed #infinity

Locking with Prevention of Cyclic and Infinite Restarting in Distributed Database Systems (WC, TM), pp. 115–126.

FPCA-1985-Brownbridge85 #combinator

Cyclic Reference Counting for Combinator Machines (DRB), pp. 273–288.

PODS-1984-OzsoyogluC #on the #query

On the Cyclic to Acyclic Scheme Transformation and Solving Cyclic Queries (ZMÖ, EC), pp. 133–142.

PODS-1983-GoodmanST83a #canonical #reduction

GYO Reductions, Canonical Connections, Tree and Cyclic Schemas and Tree Projections (NG, OS, YCT), pp. 267–278.

SIGMOD-1983-LaverMG #database #dependence #functional

Functional Dependencies on Cyclic Database Schemes (KL, AOM, MHG), pp. 79–91.

PODS-1982-GoodmanS82a

Transforming Cyclic Schemas into Trees (NG, OS), pp. 49–54.

LISP-1980-MorrisS

Computing Cyclic List Structures (LM, JS), pp. 144–153.

DAC-1976-ParaschP #design #development

Development and application of a designer oriented cyclic simulator (GJP, RLP), pp. 48–53.