BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
life (68)
system (30)
softwar (30)
model (24)
base (20)

Stem cycl$ (all stems)

247 papers:

CASECASE-2015-HeLG #graph #optimisation
Cycle time optimization of deterministic timed weighted marked graphs (ZH, ZL, AG), pp. 274–279.
CASECASE-2015-RacchettiTF #automation #documentation #generative #lifecycle #usability
Generating automatically the documentation from PLC code by D4T3 to improve the usability and life cycle management of software in automation (LR, LT, CF), pp. 168–173.
DATEDATE-2015-ChenWLL #debugging
A breakpoint-based silicon debug technique with cycle-granularity for handshake-based SoC (HCC, CRW, KSML, KJL), pp. 1281–1284.
DATEDATE-2015-HadjisCSHTA #multi #synthesis
Profiling-driven multi-cycling in FPGA high-level synthesis (SH, AC, RS, YHA, HT, JA), pp. 31–36.
ICSMEICSME-2015-OyetoyanCT
A decision support system to refactor class cycles (TDO, DSC, CTN), pp. 231–240.
HCIHCI-UC-2015-DantecWCM #ecosystem
Cycle Atlanta and OneBusAway: Driving Innovation Through the Data Ecosystems of Civic Computing (CALD, KEW, RJC, EDM), pp. 327–338.
HCIHIMI-IKC-2015-KosakaN #behaviour #education
Education Method for Safe Bicycle Riding to Evaluate Actual Cycling Behaviors When Entering an Intersection (HK, MN), pp. 225–232.
HCIHIMI-IKD-2015-IwamotoH #induction #using
Induction of a Relaxed State Using a Vibration Stimulus Based on the Respiratory Cycle (NI, HH), pp. 386–395.
CAiSECAiSE-2015-KhouriSB #approach #data transformation #lifecycle #traceability
Managing Data Warehouse Traceability: A Life-Cycle Driven Approach (SK, KS, LB), pp. 199–213.
ICEISICEIS-v2-2015-PerezNGD #analysis #development #process
A Tool for the Analysis of Change Management Processes in Software Development Cycles (MP, ÁN, HAPG, JCD), pp. 482–485.
ICEISICEIS-v3-2015-FeuerlichtT #adaptation #development #lifecycle
Adapting Service Development Life-cycle for Cloud (GF, HTT), pp. 366–371.
ICSEICSE-v2-2015-VetroOF0 #empirical #feedback #performance #re-engineering #research
Fast Feedback Cycles in Empirical Software Engineering Research (AV, SO, DMF, SW), pp. 583–586.
RTARTA-2015-SabelZ #string
Transforming Cycle Rewriting into String Rewriting (DS, HZ), pp. 285–300.
CASECASE-2014-WolffNLM #classification #lifecycle #standard
An information classification system for life cycle and manufacturing standards (SW, AN, DL, KCM), pp. 498–503.
DACDAC-2014-HuangW #estimation #multi
Advanced Soft-Error-Rate (SER) Estimation with Striking-Time and Multi-Cycle Effects (RHMH, CHPW), p. 6.
DATEDATE-2014-JonnaJRM
Minimally buffered single-cycle deflection router (GRJ, JJ, RR, MM), pp. 1–4.
DATEDATE-2014-NelsonNMKG #composition #kernel #named #predict #realtime
CoMik: A predictable and cycle-accurately composable real-time microkernel (AN, ABN, AMM, MK, KG), pp. 1–4.
DATEDATE-2014-Thanner #lifecycle #prototype
Virtual prototype life cycle in automotive applications (MT), p. 1.
DATEDATE-2014-ZhangDGLZXS #framework #named #simulation
MSim: A general cycle accurate simulation platform for memcomputing studies (CZ, PD, HG, JL, QZ, JX, YS), pp. 1–5.
SANERCSMR-WCRE-2014-OyetoyanCC #component #dependence #evolution #fault
Transition and defect patterns of components in dependency cycles during software evolution (TDO, DSC, RC), pp. 283–292.
CIAACIAA-2014-GusevP #automaton
Reset Thresholds of Automata with Two Cycle Lengths (VVG, EVP), pp. 200–210.
CSCWCSCW-2014-CastilloEPS #lifecycle #online #social #social media #using
Characterizing the life cycle of online news stories using social media reactions (CC, MEH, JP, MS), pp. 211–223.
HCIHCI-AIMT-2014-BoulabiarCP #2d #3d #case study #gesture #interactive
The Study of the Full Cycle of Gesture Interaction, The Continuum between 2D and 3D (MIB, GC, FP), pp. 24–35.
HCIHCI-AS-2014-KadomuraITRS #named #using #visualisation
AwareCycle: Application for Sports Visualization Using an Afterimage Display Attached to the Wheel of a Bicycle (AK, YI, KT, JR, IS), pp. 256–264.
EDOCEDOC-2014-WeissK #lifecycle #multi
A Life Cycle for Coupled Multi-scale, Multi-field Experiments Realized through Choreographies (AW, DK), pp. 234–241.
ASPLOSASPLOS-2014-KwonKP #multi
Locality-oblivious cache organization leveraging single-cycle multi-hop NoCs (WCK, TK, LSP), pp. 715–728.
RTARTA-TLCA-2014-ZantemaKB #termination
Termination of Cycle Rewriting (HZ, BK, HJSB), pp. 476–490.
CASECASE-2013-JeongMS #approximate #assessment #design #lifecycle #reasoning #using
Approximate life cycle assessment using case-based reasoning for the eco design of products (MGJ, JRM, HWS), pp. 486–491.
CASECASE-2013-KimLK #clustering #scheduling #tool support
Optimal scheduling of transient cycles for single-armed cluster tools (DKK, TEL, HJK), pp. 874–879.
CASECASE-2013-SpensieriBC #coordination
Coordination of robot paths for cycle time minimization (DS, RB, JSC), pp. 522–527.
DACDAC-2013-GrossmanTBS #design #framework #simulation
The role of cascade, a cycle-based simulation infrastructure, in designing the anton special-purpose supercomputers (JPG, BT, JAB, DES), p. 9.
DATEDATE-2013-ChenPKSCP #configuration management #named
SMART: a single-cycle reconfigurable NoC for SoC applications (CHOC, SP, TK, SS, APC, LSP), pp. 338–343.
HCIHCI-AS-2013-ChengCWSJY #design #experience
Designing Copresent Cycling Experience (YMC, WJC, TYW, FES, CJ, CYY), pp. 20–25.
HCIHIMI-D-2013-ChiuWT
The Relationship Between Handlebar and Saddle Heights on Cycling Comfort (MCC, HCW, NTT), pp. 12–19.
HCIHIMI-HSM-2013-KosakaN #behaviour #education
Pilot Experiments in Education for Safe Bicycle Riding to Evaluate Actual Cycling Behaviors When Entering an Intersection (HK, MN), pp. 515–523.
ICMLICML-c3-2013-WangK #algorithm #energy #performance
A Fast and Exact Energy Minimization Algorithm for Cycle MRFs (HW, DK), pp. 190–198.
SEKESEKE-2013-LiuWL #analysis #detection #named #online #performance #pointer
ELCD: an efficient online cycle detection technique for pointer analysis (FL, LW, BL), pp. 606–611.
SACSAC-2013-HollEGV #framework #lifecycle #multi #product line
An infrastructure for the life cycle management of multi product lines (GH, CE, PG, MV), pp. 1742–1749.
SACSAC-2013-KawakamiIYT #communication #data type
A delivery method considering communication loads for sensor data stream with different collection cycles (TK, YI, TY, YT), pp. 611–618.
SACSAC-2013-LoTNCLC #development #framework #multimodal
i*Chameleon: a platform for developing multimodal application with comprehensive development cycle (KWKL, WWWT, GN, ATSC, HVL, SCFC), pp. 1103–1108.
SACSAC-2013-MegasBFUA #case study #integration #lifecycle #modelling #off the shelf
A study of COTS integration projects: product characteristics, organization, and life cycle models (KM, GB, WBF, JU, RA), pp. 1025–1030.
QoSAQoSA-2012-Brebner #architecture #assessment #case study #experience #lifecycle #modelling #performance
Experiences with early life-cycle performance modeling for architecture assessment (PB), pp. 149–154.
QoSAQoSA-2012-NaabS #architecture #flexibility #lifecycle
Architectural flexibility in a software-system’s life-cycle: systematic construction and exploitation of flexibility (MN, JS), pp. 13–22.
DACDAC-2012-FangMZLHZCLZ #manycore #named
Transformer: a functional-driven cycle-accurate multicore simulator (ZF, QM, KZ, YL, YH, WZ, HC, JL, BZ), pp. 106–114.
DATEDATE-2012-StripfKB #approximate #architecture
A cycle-approximate, mixed-ISA simulator for the KAHRISMA architecture (TS, RK, JB), pp. 21–26.
DATEDATE-2012-ThachTKI #estimation #performance
Fast cycle estimation methodology for instruction-level emulator (DT, YT, SK, AI), pp. 248–251.
DATEDATE-2012-TodorovMRS #approximate #automation #memory management #transaction
Automated construction of a cycle-approximate transaction level model of a memory controller (VT, DMG, HR, US), pp. 1066–1071.
DATEDATE-2012-WangJZD #design #power management
Low power aging-aware register file design by duty cycle balancing (SW, TJ, CZ, GD), pp. 546–549.
CSMRCSMR-2012-BarateiroDNS #challenge #lifecycle
Digital Preservation Challenges on Software Life Cycle (JB, DD, MAN, SS), pp. 487–490.
HILTHILT-2012-Steele #lifecycle #programming language
Programming language life cycles (GLSJ), pp. 95–96.
CIKMCIKM-2012-BertinSPR #database #lifecycle #named #semantics
CarbonDB: a semantic life cycle inventory database (BB, VMS, JMP, ER), pp. 2683–2685.
ICPRICPR-2012-GauzereBVB #graph #kernel
Graph kernels based on relevant patterns and cycle information for chemoinformatics (BG, LB, DV, MB), pp. 1775–1778.
TOOLSTOOLS-EUROPE-J-2011-LavalFVD12 #performance #ranking #retrieval #scalability
Efficient Retrieval and Ranking of Undesired Package Cycles in Large Software Systems (JL, JRF, PV, SD), pp. 1–24.
ICSEICSE-2012-ShahzadSL #analysis #lifecycle #scalability
A large scale exploratory analysis of software vulnerability life cycles (MS, MZS, AXL), pp. 771–781.
ICSTICST-2012-FrankeKWP #consistency #lifecycle #mobile #testing
Testing Conformance of Life Cycle Dependent Properties of Mobile Applications (DF, SK, CW, NP), pp. 241–250.
IJCARIJCAR-2012-BaaderBM #encoding #ontology #satisfiability #strict #unification
SAT Encoding of Unification in ℰℒℋ_R⁺ w.r.t. Cycle-Restricted Ontologies (FB, SB, BM), pp. 30–44.
DACDAC-2011-BailisRGBS #injection #named
Dimetrodon: processor-level preventive thermal management via idle cycle injection (PB, VJR, SG, DMB, MIS), pp. 89–94.
DATEDATE-2011-GrammatikakisPSP #estimation #using
System-level power estimation methodology using cycle- and bit-accurate TLM (MDG, SP, JPS, CP), pp. 1125–1126.
DATEDATE-2011-LoCWT #modelling #performance #simulation
Cycle-count-accurate processor modeling for fast and accurate system-level simulation (CKL, LCC, MHW, RST), pp. 341–346.
DATEDATE-2011-RahimiLKB #clustering #network
A fully-synthesizable single-cycle interconnection network for Shared-L1 processor clusters (AR, IL, MRK, LB), pp. 491–496.
DATEDATE-2011-WannerBZAGS #embedded #scheduling #variability
Variability-aware duty cycle scheduling in long running embedded sensing systems (LFW, RB, SZ, CA, PG, MBS), pp. 131–136.
CSMRCSMR-2011-Balloul #interface #lifecycle
Management of the Interfaces during Their Life Cycle in a System Landscape (LB), pp. 385–388.
CSCWCSCW-2011-Chen #health
Health information use in chronic care cycles (YC), pp. 485–488.
ICEISICEIS-v1-2011-Li #image #lifecycle #locality #novel
A Novel Method for Dynamic Image Localization of Tourism Destination based on Butler Life Cycle Theory (CL), pp. 473–476.
CIKMCIKM-2011-ChiangNTD #network #predict
Exploiting longer cycles for link prediction in signed networks (KYC, NN, AT, ISD), pp. 1157–1162.
CIKMCIKM-2011-Cribbin #interactive
Citation chain aggregation: an interaction model to support citation cycling (TC), pp. 2149–2152.
KMISKMIS-2011-FalcaoNGPA #agile #education #integration #quality #social
Lean Six Sigma Applied to Quality and Productivity Improvement in the Management Cycle — Planning and Control — of an Education, Training and Social Integration Institution (SF, FN, SCG, SP, SNA), pp. 326–330.
TOOLSTOOLS-EUROPE-2011-FalleriDLVD #performance #ranking #retrieval #scalability
Efficient Retrieval and Ranking of Undesired Package Cycles in Large Software Systems (JRF, SD, JL, PV, SD), pp. 260–275.
SACSAC-2011-ShinLSL #concurrent #monitoring #multi #predict #scheduling #thread
Predictable multithread scheduling with cycle-accurate thread progress monitor (YS, SL, MS, SL), pp. 627–628.
ECSAECSA-2010-MarcoGII #adaptation #learning #lifecycle #paradigm #self
Learning from the Cell Life-Cycle: A Self-adaptive Paradigm (ADM, FG, PI, RI), pp. 485–488.
CASECASE-2010-JeongSM #assessment #design #framework #lifecycle #reasoning
A framework for stepwise life cycle assessment during product design with case-based reasoning (MGJ, HWS, JRM), pp. 118–123.
DACDAC-2010-CongLR #concurrent #named
ACES: application-specific cycle elimination and splitting for deadlock-free routing on irregular network-on-chip (JC, CL, GR), pp. 443–448.
DATEDATE-2010-HaastregtHK #cost analysis #modelling #multi
Cost modeling and cycle-accurate co-simulation of heterogeneous multiprocessor systems (SvH, EH, BK), pp. 1297–1300.
STOCSTOC-2010-DeyHK #linear #programming
Optimal homologous cycles, total unimodularity, and linear programming (TKD, ANH, BK), pp. 221–230.
STOCSTOC-2010-KawarabayashiR
Odd cycle packing (KiK, BAR), pp. 695–704.
ICALPICALP-v1-2010-AmirELPS #detection
Cycle Detection and Correction (AA, EE, AL, EP, NS), pp. 43–54.
CAiSECAiSE-2010-SenS #lifecycle #named
GRUVe: A Methodology for Complex Event Pattern Life Cycle Management (SS, NS), pp. 209–223.
ICPRICPR-2010-JagerPCC #3d #analysis #using
Dual Channel Colocalization for Cell Cycle Analysis Using 3D Confocal Microscopy (SJ, KP, CSCD, MCC), pp. 2580–2583.
ICPRICPR-2010-SarginGMR #using
Object Tracking with Ratio Cycles Using Shape and Appearance Cues (MES, PG, BSM, KR), pp. 3649–3652.
WICSA-ECSAWICSA-ECSA-2009-EklundO #architecture #case study
A case study of the Architecture Business Cycle for an in-vehicle software architecture (UE, CMO), pp. 91–100.
CASECASE-2009-RoyKHM #throughput
Impact of zones on throughput and cycle times in warehouses with Autonomous Vehicles (DR, AK, SSH, CJM), pp. 449–454.
CASECASE-2009-SenguptaDBMD #detection #fault #modelling #using
Fault detection of Air Intake Systems of SI gasoline engines using mean value and within cycle models (SS, SD, AKB, SM, AKD), pp. 361–366.
DACDAC-2009-ChauhanGHMS #equivalence
Non-cycle-accurate sequential equivalence checking (PC, DG, GH, AM, NS), pp. 460–465.
DACDAC-2009-Chesters #development #lifecycle #verification
Role of the verification team throughout the ASIC development life cycle (EC), pp. 216–219.
DACDAC-2009-ChouCWCCWW #3d #manycore
No cache-coherence: a single-cycle ring interconnection for multi-core L1-NUCA sharing on 3D chips (SHC, CCC, CNW, YCC, TFC, CCW, JSW), pp. 587–592.
DACDAC-2009-GluskaL #modelling #verification
Shortening the verification cycle with synthesizable abstract models (AG, LL), pp. 454–459.
DATEDATE-2009-AlvesNDB #detection #fault #multi #using
Detecting errors using multi-cycle invariance information (NA, KN, JD, RIB), pp. 791–796.
DATEDATE-2009-DSilvaK #detection #fixpoint #multi
Fixed points for multi-cycle path detection (VD, DK), pp. 1710–1715.
WCREWCRE-1999-AbdeenDSA99a #automation
Automatic Package Coupling and Cycle Minimization (HA, SD, HAS, IA), pp. 103–112.
WCREWCRE-1999-LavalDDB99a #dependence #identification #matrix
Identifying Cycle Causes with Enriched Dependency Structural Matrix (JL, SD, SD, AB), pp. 113–122.
HCIHCI-NIMT-2009-Valle-AgudoCCR #generative #independence #interactive
Breaking of the Interaction Cycle: Independent Interpretation and Generation for Advanced Dialogue Management (DdVA, FJCG, DCF, JRE), pp. 674–683.
KDDKDD-2009-LeskovecBK
Meme-tracking and the dynamics of the news cycle (JL, LB, JMK), pp. 497–506.
SEKESEKE-2009-CachiaM #development #lifecycle #modelling
A Language for Modeling Software Development Life Cycles (EC, MM), pp. 499–504.
ASPLOSASPLOS-2009-EyermanE #smt #thread
Per-thread cycle accounting in SMT processors (SE, LE), pp. 133–144.
LCTESLCTES-2009-OhEPM #architecture #configuration management #scheduling
Recurrence cycle aware modulo scheduling for coarse-grained reconfigurable architectures (TO, BE, HP, SAM), pp. 21–30.
ICSTSAT-2009-ChebiryakWKH #agile
Finding Lean Induced Cycles in Binary Hypercubes (YC, TW, DK, LH), pp. 18–31.
ICSTSAT-2009-LiMMP #satisfiability
Exploiting Cycle Structures in Max-SAT (CML, FM, NOM, JP), pp. 467–480.
CBSECBSE-2008-KoziolekBHR #component #lifecycle #modelling
Life-Cycle Aware Modelling of Software Components (HK, SB, JH, RHR), pp. 278–285.
DATEDATE-2008-HwangAG #approximate #estimation #performance #transaction
Cycle-approximate Retargetable Performance Estimation at the Transaction Level (YH, SA, DG), pp. 3–8.
EDOCEDOC-2008-Bell #enterprise #lifecycle #modelling #web #web service
Service-Oriented Life Cycle Modeling: The Shift from Web Services to Enterprise Services (MB).
EDOCEDOC-2008-Rinderle-MaR #lifecycle
Managing the Life Cycle of Access Rules in CEOSIS (SRM, MR), pp. 257–266.
ICEISICEIS-ISAS2-2008-HallerbachBR #lifecycle #process
Managing Process Variants in the Process Life Cycle (AH, TB, MR), pp. 154–161.
RecSysRecSys-2008-Santos #adaptation #lifecycle #recommendation #standard
A recommender system to provide adaptive and inclusive standard-based support along the elearning life cycle (OCS), pp. 319–322.
RERE-2008-ErnstMYN #evolution #lifecycle #requirements
Supporting Requirements Model Evolution throughout the System Life-Cycle (NAE, JM, YY, TN), pp. 321–322.
SACSAC-2008-SungCM #clustering #concept #learning #lifecycle #ontology #performance #using #web
Efficient concept clustering for ontology learning using an event life cycle on the web (SS, SC, DM), pp. 2310–2314.
LCTESLCTES-2008-LeeKJKEKH #architecture #embedded #named #performance
FaCSim: a fast and cycle-accurate architecture simulator for embedded systems (JL, JK, CJ, SK, BE, KK, SH), pp. 89–100.
CASECASE-2007-ChanYD #clustering #multi #on the #scheduling #tool support
On the Optimality of One-Unit Cycle Scheduling of Multi-Cluster Tools with Single-Blade Robots (WKC, JY, SD), pp. 392–397.
CASECASE-2007-KobetskiRAF #behaviour
Minimization of Expected Cycle Time in Manufacturing Cells with Uncontrollable Behavior (AK, JR, , MF), pp. 14–19.
DATEDATE-2007-KimHG #multi #named #simulation #transaction
CATS: cycle accurate transaction-driven simulation with multiple processor simulators (DK, SH, RG), pp. 749–754.
DATEDATE-2007-MolinaRMH #multi #optimisation #synthesis
Area optimization of multi-cycle operators in high-level synthesis (MCM, RRS, JMM, RH), pp. 449–454.
ICALPICALP-2007-GroheG #problem
Parameterized Approximability of the Disjoint Cycle Problem (MG, MG), pp. 363–374.
MODELSMoDELS-2007-SukaviriyaSRM #approach #design #interface #lifecycle #modelling
Model-Driven Approach for Managing Human Interface Design Life Cycle (NS, VS, TR, SM), pp. 226–240.
MODELSMoDELS-2007-SukaviriyaSRM #approach #design #interface #lifecycle #modelling
Model-Driven Approach for Managing Human Interface Design Life Cycle (NS, VS, TR, SM), pp. 226–240.
HPDCHPDC-2007-RenEB #fine-grained
Failure-aware checkpointing in fine-grained cycle sharing systems (XR, RE, SB), pp. 33–42.
CAVCAV-2007-BarnatBS #detection #performance
I/O Efficient Accepting Cycle Detection (JB, LB, PS), pp. 281–293.
DATEDATE-2006-Shaver #architecture #deployment #generative
Next generation architectures can dramatically reduce the 4G deployment cycle (DS), p. 599.
DATEDATE-2006-SovianiTE #composition #optimisation
Optimizing sequential cycles through Shannon decomposition and retiming (CS, OT, SAE), pp. 1085–1090.
ICSMEICSM-2006-Kajko-MattssonLSNCHNS #agile #lifecycle
Long-term Life Cycle Impact of Agile Methodologies (MKM, GAL, DS, TN, NC, MH, JN, HS), pp. 422–425.
ICALPICALP-v1-2006-HariharanKM #algorithm #graph #performance
A Faster Deterministic Algorithm for Minimum Cycle Bases in Directed Graphs (RH, TK, KM), pp. 250–261.
SACSAC-2006-DerisB #embedded #predict
Branchless cycle prediction for embedded processors (KJD, AB), pp. 928–932.
HPDCHPDC-2006-RenLEB #fine-grained #predict
Resource Availability Prediction in Fine-Grained Cycle Sharing Systems (XR, SL, RE, SB), pp. 93–104.
DACDAC-2005-Chatterjee #design #process #verification
Streamline verification process with formal property verification to meet highly compressed design cycle (PC), pp. 674–677.
DACDAC-2005-CortesEP #energy #realtime
Quasi-static assignment of voltages and optional cycles for maximizing rewards in real-time systems with energy c-onstraints (LAC, PE, ZP), pp. 889–894.
DATEDATE-2005-ReshadiD #generative #modelling #performance #pipes and filters
Generic Pipelined Processor Modeling and High Performance Cycle-Accurate Simulator Generation (MR, NDD), pp. 786–791.
DATEDATE-2005-SchnerrBR #agile #prototype #simulation
Cycle Accurate Binary Translation for Simulation Acceleration in Rapid Prototyping of SoCs (JS, OB, WR), pp. 792–797.
TACASTACAS-2005-AlurCEM #detection #on the fly #reachability #recursion #state machine
On-the-Fly Reachability and Cycle Detection for Recursive State Machines (RA, SC, KE, PM), pp. 61–76.
ICALPICALP-2005-EfthymiouS #graph #on the #random
On the Existence of Hamiltonian Cycles in Random Intersection Graphs (CE, PGS), pp. 690–701.
ICALPICALP-2005-Kavitha #algorithm #graph #random
An Õ(m2n) Randomized Algorithm to Compute a Minimum Cycle Basis of a Directed Graph (TK), pp. 273–284.
EDOCEDOC-2005-FerreiraF #learning #lifecycle #workflow
Learning, planning, and the life cycle of workflow management (DRF, HMF), pp. 39–46.
ICEISICEIS-v3-2005-GhoneimAS #adaptation #lifecycle #self
Evolutionary Software Life Cycle for Self-Adapting Software Systems (AG, SA, GS), pp. 211–216.
SACSAC-2005-FarahabadyS #multi #network #recursion
The recursive transpose-connected cycles (RTCC) interconnection network for multiprocessors (MHF, HSA), pp. 734–738.
CCCC-2005-PazPBKR #on the fly #performance
An Efficient On-the-Fly Cycle Collection (HP, EP, DFB, EKK, VTR), pp. 156–171.
DATEDATE-v1-2004-LiVKI
A Crosstalk Aware Interconnect with Variable Cycle Transmission (LL, NV, MTK, MJI), pp. 102–107.
ICSMEICSM-2004-Kung #lifecycle #maintenance
Quantitative Method to Determine Software Maintenance Life Cycle (HJK), pp. 232–241.
STOCSTOC-2004-Gabow
Finding paths and cycles of superpolylogarithmic length (HNG), pp. 407–416.
ICALPICALP-2004-BjorklundHK #approximate
Approximating Longest Directed Paths and Cycles (AB, TH, SK), pp. 222–233.
ICALPICALP-2004-DengL
A PTAS for Embedding Hypergraph in a Cycle (Extended Abstract) (XD, GL), pp. 433–444.
ICALPICALP-2004-KavithaMMP #algorithm #graph #performance
A Faster Algorithm for Minimum Cycle Basis of Graphs (TK, KM, DM, KEP), pp. 846–857.
CAiSECAiSE-2004-Soderstrom #lifecycle #standard
Formulating a General Standards Life Cycle (ES), pp. 263–275.
ICEISICEIS-v3-2004-Baranauskas #case study #development #embedded
Organisational Semiotics Embedded in a System Development Cycle: A Case Study in a Business Organisation (CACS, MCCB), pp. 519–522.
SACSAC-2004-GrutznerWW #assurance #lifecycle #quality
Improving courseware quality through life-cycle encompassing quality assurance (IG, SW, PEW), pp. 946–951.
HPCAHPCA-2004-EhrhartP #predict #scheduling #using
Reducing the Scheduling Critical Cycle Using Wakeup Prediction (TEE, SJP), pp. 222–231.
CAVCAV-2004-ChangBD #design #interface #refinement #using #verification
Using Interface Refinement to Integrate Formal Verification into the Design Cycle (JC, SB, DLD), pp. 122–134.
ICLPICLP-2004-LinkeTW #logic programming #on the #source code
On Acyclic and Head-Cycle Free Nested Logic Programs (TL, HT, SW), pp. 225–239.
SCAMSCAM-2003-PearceKH #analysis #detection #difference #online #pointer
Online Cycle Detection and Difference Propagation for Pointer Analysis (DJP, PHJK, CH), pp. 3–12.
STOCSTOC-2003-AronovKS
Cutting triangular cycles of lines in space (BA, VK, MS), pp. 547–555.
FMFME-2003-CompareIPS #analysis #architecture #lifecycle #model checking #validation
Integrating Model-Checking Architectural Analysis and Validation in a Real Software Life-Cycle (DC, PI, PP, AS), pp. 114–132.
ICEISICEIS-v3-2003-ChangDC #concept #enterprise #information management #lifecycle
A New Look At the Enterprise Information System Life Cycle — Introducing the Concept of Generational Change (EC, JD, SKC), pp. 40–50.
SACSAC-2003-BrazierMOW #distributed #lifecycle
Managing Agent Life Cycles in Open Distributed Systems (FMTB, DGAM, BJO, NJEW), pp. 61–65.
TLCATLCA-2003-Montelatici #fixpoint #proving #semantics
Polarized Proof Nets with Cycles and Fixpoints Semantics (RM), pp. 256–270.
DACDAC-2002-Higuchi #detection #multi #scalability
An implication-based method to detect multi-cycle paths in large sequential circuits (HH), pp. 164–169.
DACDAC-2002-LekatsasHJ #design #embedded #hardware #performance
Design of an one-cycle decompression hardware for performance increase in embedded systems (HL, JH, VJ), pp. 34–39.
DATEDATE-2002-WuK #algorithm
Exploiting Idle Cycles for Algorithm Level Re-Computing (KW, RK), pp. 842–846.
ICALPICALP-2002-Wich #ambiguity
Universal Inherence of Cycle-Free Context-Free Ambiguity Functions (KW), pp. 669–680.
IFMIFM-2002-GeryHP #development #lifecycle #modelling #named
Rhapsody: A Complete Life-Cycle Model-Based Development System (EG, DH, EP), pp. 1–10.
IFLIFL-2002-Trancon-y-Widemann #functional
Stacking Cycles: Functional Transformation of Circular Data (BTyW), pp. 150–164.
CAiSECAiSE-2002-SugumaranT #approach #case study #information management #lifecycle
Life Cycle Based Approach for Knowledge Management: A Knowledge Organization Case Study (VS, MT), pp. 766–769.
RERE-2002-Garcia-DuquePB #requirements #specification #using
An Analysis-Revision Cycle to Evolve Requirements Specifications by Using the SCTL-MUS Methodology (JGD, JJPA, ABBM), pp. 282–288.
SACSAC-2002-FuC #network #polynomial
Cycle embedding in faulty hierarchical cubic networks (JSF, GHC), pp. 860–864.
ASEASE-2001-BarberGH #architecture #automation #development #feedback #model checking
Providing Early Feedback in the Development Cycle Through Automated Application of Model Checking to Software Architectures (KSB, TJG, JH), pp. 341–345.
ASEASE-2001-GarcezRNK #requirements #specification
An Analysis-Revision Cycle to Evolve Requirements Specifications (ASdG, AR, BN, JK), pp. 354–358.
DACDAC-2001-BazarganOS #architecture #compilation #configuration management #design #physics #scheduling
Integrating Scheduling and Physical Design into a Coherent Compilation Cycle for Reconfigurable Computing Architectures (KB, SO, MS), pp. 635–640.
TACASTACAS-2001-FislerFVY #algorithm #detection #question
Is There a Best Symbolic Cycle-Detection Algorithm? (KF, RF, GK, MYV, ZY), pp. 420–434.
ECOOPECOOP-2001-BaconR #concurrent
Concurrent Cycle Collection in Reference Counted Systems (DFB, VTR), pp. 207–235.
TOOLSTOOLS-USA-2001-Dustin #automation #lifecycle #testing
Automating Software Testing: A Life-Cycle Methodology (ED), p. 366.
PPDPPPDP-2001-TurbakW
Cycle Therapy: A Prescription for Fold and Unfold on Regular Trees (FAT, JBW), pp. 137–149.
ICSEICSE-2001-BifflG #estimation #fault #modelling
Evaluating the Accuracy of Defect Estimation Models Based on Inspection Data from Two Inspection Cycles (SB, WG), pp. 145–154.
DACDAC-2000-YeVKI #design #energy #estimation
The design and use of simplepower: a cycle-accurate energy estimation tool (WY, NV, MTK, MJI), pp. 340–345.
DATEDATE-2000-GauthierJ #simulation
Cycle-True Simulation of the ST10 Microcontroller (LG, AAJ), p. 742.
DATEDATE-2000-MorawiecUR #algorithm #diagrams #simulation #using
Cycle-Based Simulation Algorithms for Digital Systems Using High-Level Decision Diagrams (AM, RU, JR), p. 743.
FASEFASE-2000-Hernandez-OralloR #learning #lifecycle #quality
Software as Learning: Quality Factors and Life-Cycle Revised (JHO, MJRQ), pp. 147–162.
ICSMEICSM-2000-McCabe #e-commerce #lifecycle
Software Life Cycles for e-Commerce Businesses (TJM), p. 3.
STOCSTOC-2000-FederMS #graph
Finding long paths and cycles in sparse Hamiltonian graphs (TF, RM, CSS), pp. 524–529.
CAiSECAiSE-2000-Rein #lifecycle #process #specification
Specifying Processes with Dynamic Life Cycles (RvR), pp. 192–211.
TOOLSTOOLS-ASIA-2000-ZhuoweiJJG #corba #lifecycle #research
Research on Life Cycle Management Mechanism in COM/CORBA Interworking (ZS, JX, JD, GG), pp. 88–93.
ISMMISMM-2000-HudsonMSW #garbage collection
Cycles to Recycle: Garbage Collection on the IA-64 (RLH, JEBM, SS, WW), pp. 101–110.
ISSTAISSTA-2000-SiegelA #precise
Improving the precision of INCA by preventing spurious cycles (SFS, GSA), pp. 191–200.
WICSAWICSA-1999-BoehmPEA #architecture #lifecycle
The MBASE Life Cycle Architecture Milestone Package (BWB, DP, AE, MAA), pp. 511–528.
DACDAC-1999-BertaccoDQ #simulation
Cycle-Based Symbolic Simulation of Gate-Level Synchronous Circuits (VB, MD, SQ), pp. 391–396.
DACDAC-1999-DasdanIG #algorithm #performance #problem
Efficient Algorithms for Optimum Cycle Mean and Optimum Cost to Time Ratio Problems (AD, SI, RKG), pp. 37–42.
DACDAC-1999-GuerraFTSTZ #integration #modelling
Cycle and Phase Accurate DSP Modeling and Integration for HW/SW Co-Verification (LMG, JF, DT, CS, BT, VZ), pp. 964–969.
DACDAC-1999-PeesHZM #architecture #modelling #named #programmable
LISA — Machine Description Language for Cycle-Accurate Models of Programmable DSP Architectures (SP, AH, VZ, HM), pp. 933–938.
DACDAC-1999-SimunicBM #embedded #energy #simulation
Cycle-Accurate Simulation of Energy Consumption in Embedded Systems (TS, LB, GDM), pp. 867–872.
DATEDATE-1999-CabodiCPQ #simulation
Computing Timed Transition Relations for Sequential Cycle-Based Simulation (GC, PC, CP, SQ), pp. 8–12.
DATEDATE-1999-UbarRM #diagrams #simulation
Cycle-based Simulation with Decision Diagrams (RU, JR, AM), pp. 454–458.
VLDBVLDB-1999-LeeL #termination
Unrolling Cycles to Decide Trigger Termination (SYL, TWL), pp. 483–493.
HCIHCI-CCAD-1999-NakayasuNNNK #design #human-computer
Human-computer cooperative work for design and production cycle (HN, MN, EN, YN, TK), pp. 1226–1230.
HCIHCI-EI-1999-KasamatsuAFIN
Effect of Menstrual Cycle on Monotonous Works Demand High Awaking Conditions (KK, MA, MFF, KI, SPN), pp. 167–172.
ICEISICEIS-1999-Chattopadhyay99a #approach #enterprise #information management #lifecycle
Customer Oriented Enterprise Information Management: A Customer Relationship Life Cycle Approach (SPC), pp. 391–395.
CSMRCSMR-1998-EbertKP #towards
The Extract-Transform-Rewrite Cycle. A Step towards MetaCARE (JE, BK, AP), pp. 165–171.
CSMRCSMR-1998-Kutscha #case study #experience #re-engineering
The Task Artifact Cycle: Some Experiences from Reengineering Practice (SK), p. 234.
ICSMEICSM-1998-KungH #lifecycle #maintenance
Software Maintenance Life Cycle Model (HJK, CH), pp. 113–121.
PLDIPLDI-1998-FahndrichFSA #constraints #graph #online
Partial Online Cycle Elimination in Inclusion Constraint Graphs (MF, JSF, ZS, AA), pp. 85–96.
FMFM-1998-KutterST #design #domain-specific language #lifecycle
Integrating Domain Specific Language Design in the Software Life Cycle (PWK, DS, LT), pp. 196–212.
KRKR-1998-Kusters #automaton #finite #semantics #using
Characterizing the Semantics of Terminological Cycles in ALN Using Finite Automata (RK), pp. 499–511.
TOOLSTOOLS-USA-1998-PortoSC #database #lifecycle #relational
Object Life-Cycles in Active Relational Databases (FP, MJVS, SRC), p. 168–?.
REICRE-1998-RobinsonP #documentation #interactive #requirements
Surfacing Root Requirements Interactions from Inquiry Cycle Requirements Documents (WNR, SDP), pp. 82–89.
SACSAC-1998-Li #evaluation #performance #probability
Performance evaluation of probabilistic tree embedding in cube-connected cycles (KL), pp. 584–592.
CSMRCSMR-1997-KutschaHK #approach #concept #maintenance #re-engineering
The Task Artifact Cycle: a Conceptual Approach to Maintenance and Reengineering (SK, KH, HK), pp. 17–19.
HCIHCI-SEC-1997-GiannettiMT #case study #contract #experience #lifecycle #scalability #usability
Developing Usability in the Software Life-Cycle: Experiences from a Large European Government Software Contract (AG, RM, GT), pp. 581–584.
EDOCEDOC-1997-Peter #corba #implementation #lifecycle
An Implementation of CORBA’s LifeCycle Service (YP), pp. 111–117.
SACSAC-1997-JagotaD #algorithm #distributed #problem
Simple distributed algorithms for the cycle cutset problem (AKJ, RD), pp. 366–373.
SOSPSOSP-1997-AndersonBDGHLSVWW #profiling #question
Continuous Profiling: Where Have All the Cycles Gone? (JAMA, LMB, JD, SG, MRH, STL, RLS, MTV, CAW, WEW), pp. 1–14.
DACDAC-1996-PopescuM #design #verification
Innovative Verification Strategy Reduces Design Cycle Time for High-End Sparc Processor (VP, BM), pp. 311–314.
ICSMEICSM-1996-KhoshgoftaarAHT #detection #lifecycle
Detection of Fault-Prone Software Modules During a Spiral Life Cycle (TMK, EBA, RH, GPT), pp. 69–76.
ICSEICSE-1996-OgasawaraYK #case study #experience #lifecycle #metric #quality #using
Experiences of Software Quality Management Using Metrics through the Life-Cycle (HO, AY, MK), pp. 179–188.
CADECADE-1996-RousselM #compilation
A New Method for Knowledge Compilation: The Achievement by Cycle Search (OR, PM), pp. 493–507.
DACDAC-1995-MannePBHSMP
Computing the Maximum Power Cycles of a Sequential Circuit (SM, AP, RIB, GDH, FS, EM, MP), pp. 23–28.
AdaEuropeAdaEurope-1995-Simoens #analysis #design #development #lifecycle #metric #object-oriented
The Introduction of an Object-Oriented Analysis/Design Method and Object-Oriented Metrics in the Software Development Life-Cycle (RS), pp. 271–283.
SACSAC-1995-AbualiWS #encoding #graph #representation
Determinant factorization and cycle basis: encoding schemes for the representation of spanning trees on incomplete graphs (FNA, RLW, DAS), pp. 305–312.
LCTESLCT-RTS-1995-HuangL #concurrent #execution #predict #worst-case
Predicting the Worst-Case Execution Time of the Concurrent Execution of Instructions and Cycle-Stealing DMA I/O Operations (TYH, JWSL), pp. 1–6.
DACDAC-1994-GuptaS #automation #design #multi #verification
Automated Multi-Cycle Symbolic Timing Verification of Microprocessor-Based Designs (APG, DPS), pp. 113–119.
DACDAC-1994-LamBS #finite #state machine
Exact Minimum Cycle Times for Finite State Machines (WKCL, RKB, ALSV), pp. 100–105.
DACDAC-1994-McMillan #design #formal method
Fitting Formal Methods into the Design Cycle (KLM), pp. 314–319.
STOCSTOC-1994-AlonYZ #graph #named #scalability
Color-coding: a new method for finding simple paths, cycles and other small subgraphs within large graphs (NA, RY, UZ), pp. 326–335.
ICALPICALP-1994-YusterZ #performance
Finding Even Cycles Even Faster (RY, UZ), pp. 532–543.
FMFME-1994-WangM
RTL and Refutation by Positive Cycles (FW, AKM), pp. 659–680.
KRKR-1994-Schild #calculus
Terminological Cycles and the Propositional µ-Calculus (KS), pp. 509–520.
OOPSLAOOPSLA-1994-JordanSW #object-oriented #requirements
Streamlining the Project Cycle With Object-Oriented Requirements (RJ, RS, AW), pp. 287–300.
TOOLSTOOLS-EUROPE-1994-Barbier #lifecycle #object-oriented #traceability
Traceability in the Object-Oriented Software Life Cycle (FB), pp. 293–301.
SACSAC-1994-RibotBV #development #lifecycle #reuse
Development life-cycle WITH reuse (DR, BB, CV), pp. 70–76.
ICSMECSM-1993-EdwardsM #lifecycle #logic #using
Abstracting the Logical Processing Life Cycle for Entities Using the RECAST Method (HME, MM), pp. 162–171.
TOOLSTOOLS-USA-1993-BaudoinH #industrial #lifecycle #perspective
Realizing the Object Life Cycle: An Industry View (CB, GH), p. 533.
DACDAC-1992-LinLE
Analyzing Cycle Stealing on Synchronous Circuits with Level-Sensitive Latches (IL, JAL, KE), pp. 393–398.
AdaTRI-Ada-C-1992-Strong #development #identification #lifecycle #object-oriented #scalability
Identifying a Complete Object Oriented Life Cycle for Large Systems Development (NSS), pp. 166–175.
CAiSECAiSE-1992-IpH #diagrams #information management #knowledge base #lifecycle #modelling #process
A Knowledge Based Technique for the Process Modelling of Information Systems: The Object Life Cycle Diagram (SI, TH), pp. 164–186.
TOOLSTOOLS-USA-1992-CapretzL #lifecycle #object-oriented #reuse
Reusability and Life Cycle Issues Within ans Object-Oriented Methodology (LFC, PAL), pp. 139–150.
CADECADE-1992-BibelHW #unification
Cycle Unification (WB, SH, JW), pp. 94–108.
STOCSTOC-1991-BroderFS
Finding Hidden Hamiltonian Cycles (Extended Abstract) (AZB, AMF, ES), pp. 182–189.
ICALPICALP-1991-Furer #algorithm #graph #performance
An Efficient NC Algorithm for Finding Hamiltonian Cycles in Dense Directed Graphs (MF), pp. 429–440.
ICGTGG-1990-Chytil
Cycle Chain Code Picture Languages (FJB, MC), pp. 157–173.
ICSEICSE-1990-HirayamaSYT #lifecycle #metric #modelling #quality
Practice of Quality Modeling and Measurement on Software Life-Cycle (MH, HS, AY, JT), pp. 98–107.
STOCSTOC-1989-CohenM #algorithm #detection #graph #polynomial
Strongly Polynomial-Time and NC Algorithms for Detecting Cycles in Dynamic Graphs (Preliminary Version) (EC, NM), pp. 523–534.
ICSEICSE-1989-Fox #development #lifecycle #performance #scalability
Performance Engineering as a Part of the Development Life Cycle for Large-Scale Software Systems (GF), pp. 85–94.
STOCSTOC-1988-GoldbergT #low cost
Finding Minimum-Cost Circulations by Canceling Negative Cycles (AVG, RET), pp. 388–397.
STOCSTOC-1988-Istrail #polynomial #sequence #traversal
Polynomial Universal Traversing Sequences for Cycles Are Constructible (Extended Abstract) (SI), pp. 491–503.
STOCSTOC-1988-KosarajuS #detection #graph #polynomial
Detecting Cycles in Dynamic Graphs in Polynomial Time (Preliminary Version) (SRK, GFS), pp. 398–406.
ICALPICALP-1988-VaziraniY #graph
Pfaffian Orientations, 0/1 Permanents, and Even Cycles in Directed Graphs (VVV, MY), pp. 667–681.
STOCSTOC-1987-IwanoS #graph #infinity #testing
Testing for Cycles in Infinite Graphs with Periodic Structure (Extended Abstract) (KI, KS), pp. 46–55.
ICALPICALP-1986-SpirakisT #algorithm #performance
A Very Fast, Practical Algorithm for Finding a Negative Cycle in a Digraph (PGS, AKT), pp. 397–406.
ICGTGG-1986-SiromoneyS
Rosenfeld’s cycle grammars and kolam (GS, RS), pp. 564–579.
STOCSTOC-1985-BollobasFF #algorithm #graph #random
An Algorithm for Finding Hamilton Cycles in a Random Graph (BB, TIF, AMF), pp. 430–439.
STOCSTOC-1984-Miller #graph
Finding Small Simple Cycle Separators for 2-Connected Planar Graphs (GLM), pp. 376–382.
DACDAC-1983-ChengGKW #development #functional #simulation
Functional simulation shortens the development cycle of a new computer (RC, BG, KK, JW), pp. 515–519.
STOCSTOC-1981-Fich #bound #detection #problem
Lower Bounds for the Cycle Detection Problem (FEF), pp. 96–105.
ICGTGG-1978-NyrupM #algebra #approach
Map Grammars: Cycles and the Algebraic Approach (KN, BHM), pp. 331–340.
SOSPSOSP-1969-Mealy #design
The system design cycle (GHM), pp. 1–7.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.