Stem cycl$ (all stems)

247 papers:

CASE-2015-HeLG #graph #optimisation

Cycle time optimization of deterministic timed weighted marked graphs (ZH, ZL, AG), pp. 274–279.

CASE-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.

DATE-2015-ChenWLL #debugging

A breakpoint-based silicon debug technique with cycle-granularity for handshake-based SoC (HCC, CRW, KSML, KJL), pp. 1281–1284.

DATE-2015-HadjisCSHTA #multi #synthesis

Profiling-driven multi-cycling in FPGA high-level synthesis (SH, AC, RS, YHA, HT, JA), pp. 31–36.

ICSME-2015-OyetoyanCT

A decision support system to refactor class cycles (TDO, DSC, CTN), pp. 231–240.

HCI-UC-2015-DantecWCM #ecosystem

Cycle Atlanta and OneBusAway: Driving Innovation Through the Data Ecosystems of Civic Computing (CALD, KEW, RJC, EDM), pp. 327–338.

HIMI-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.

HIMI-IKD-2015-IwamotoH #induction #using

Induction of a Relaxed State Using a Vibration Stimulus Based on the Respiratory Cycle (NI, HH), pp. 386–395.

CAiSE-2015-KhouriSB #approach #data transformation #lifecycle #traceability

Managing Data Warehouse Traceability: A Life-Cycle Driven Approach (SK, KS, LB), pp. 199–213.

ICEIS-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.

ICEIS-v3-2015-FeuerlichtT #adaptation #development #lifecycle

Adapting Service Development Life-cycle for Cloud (GF, HTT), pp. 366–371.

ICSE-v2-2015-VetroOF0 #empirical #feedback #performance #re-engineering #research

Fast Feedback Cycles in Empirical Software Engineering Research (AV, SO, DMF, SW), pp. 583–586.

RTA-2015-SabelZ #string

Transforming Cycle Rewriting into String Rewriting (DS, HZ), pp. 285–300.

CASE-2014-WolffNLM #classification #lifecycle #standard

An information classification system for life cycle and manufacturing standards (SW, AN, DL, KCM), pp. 498–503.

DAC-2014-HuangW #estimation #multi

Advanced Soft-Error-Rate (SER) Estimation with Striking-Time and Multi-Cycle Effects (RHMH, CHPW), p. 6.

DATE-2014-JonnaJRM

Minimally buffered single-cycle deflection router (GRJ, JJ, RR, MM), pp. 1–4.

DATE-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.

DATE-2014-Thanner #lifecycle #prototype

Virtual prototype life cycle in automotive applications (MT), p. 1.

DATE-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.

CSMR-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.

CIAA-2014-GusevP #automaton

Reset Thresholds of Automata with Two Cycle Lengths (VVG, EVP), pp. 200–210.

CSCW-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.

HCI-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.

HCI-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.

EDOC-2014-WeissK #lifecycle #multi

A Life Cycle for Coupled Multi-scale, Multi-field Experiments Realized through Choreographies (AW, DK), pp. 234–241.

ASPLOS-2014-KwonKP #multi

Locality-oblivious cache organization leveraging single-cycle multi-hop NoCs (WCK, TK, LSP), pp. 715–728.

RTA-TLCA-2014-ZantemaKB #termination

Termination of Cycle Rewriting (HZ, BK, HJSB), pp. 476–490.

CASE-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.

CASE-2013-KimLK #clustering #scheduling #tool support

Optimal scheduling of transient cycles for single-armed cluster tools (DKK, TEL, HJK), pp. 874–879.

CASE-2013-SpensieriBC #coordination

Coordination of robot paths for cycle time minimization (DS, RB, JSC), pp. 522–527.

DAC-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.

DATE-2013-ChenPKSCP #configuration management #named

SMART: a single-cycle reconfigurable NoC for SoC applications (CHOC, SP, TK, SS, APC, LSP), pp. 338–343.

HCI-AS-2013-ChengCWSJY #design #experience

Designing Copresent Cycling Experience (YMC, WJC, TYW, FES, CJ, CYY), pp. 20–25.

HIMI-D-2013-ChiuWT

The Relationship Between Handlebar and Saddle Heights on Cycling Comfort (MCC, HCW, NTT), pp. 12–19.

HIMI-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.

ICML-c3-2013-WangK #algorithm #energy #performance

A Fast and Exact Energy Minimization Algorithm for Cycle MRFs (HW, DK), pp. 190–198.

SEKE-2013-LiuWL #analysis #detection #named #online #performance #pointer

ELCD: an efficient online cycle detection technique for pointer analysis (FL, LW, BL), pp. 606–611.

SAC-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.

SAC-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.

SAC-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.

SAC-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.

QoSA-2012-Brebner #architecture #assessment #case study #experience #lifecycle #modelling #performance

Experiences with early life-cycle performance modeling for architecture assessment (PB), pp. 149–154.

QoSA-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.

DAC-2012-FangMZLHZCLZ #manycore #named

Transformer: a functional-driven cycle-accurate multicore simulator (ZF, QM, KZ, YL, YH, WZ, HC, JL, BZ), pp. 106–114.

DATE-2012-StripfKB #approximate #architecture

A cycle-approximate, mixed-ISA simulator for the KAHRISMA architecture (TS, RK, JB), pp. 21–26.

DATE-2012-ThachTKI #estimation #performance

Fast cycle estimation methodology for instruction-level emulator (DT, YT, SK, AI), pp. 248–251.

DATE-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.

DATE-2012-WangJZD #design #power management

Low power aging-aware register file design by duty cycle balancing (SW, TJ, CZ, GD), pp. 546–549.

CSMR-2012-BarateiroDNS #challenge #lifecycle

Digital Preservation Challenges on Software Life Cycle (JB, DD, MAN, SS), pp. 487–490.

HILT-2012-Steele #lifecycle #programming language

Programming language life cycles (GLSJ), pp. 95–96.

CIKM-2012-BertinSPR #database #lifecycle #named #semantics

CarbonDB: a semantic life cycle inventory database (BB, VMS, JMP, ER), pp. 2683–2685.

ICPR-2012-GauzereBVB #graph #kernel

Graph kernels based on relevant patterns and cycle information for chemoinformatics (BG, LB, DV, MB), pp. 1775–1778.

TOOLS-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.

ICSE-2012-ShahzadSL #analysis #lifecycle #scalability

A large scale exploratory analysis of software vulnerability life cycles (MS, MZS, AXL), pp. 771–781.

ICST-2012-FrankeKWP #consistency #lifecycle #mobile #testing

Testing Conformance of Life Cycle Dependent Properties of Mobile Applications (DF, SK, CW, NP), pp. 241–250.

IJCAR-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.

DAC-2011-BailisRGBS #injection #named

Dimetrodon: processor-level preventive thermal management via idle cycle injection (PB, VJR, SG, DMB, MIS), pp. 89–94.

DATE-2011-GrammatikakisPSP #estimation #using

System-level power estimation methodology using cycle- and bit-accurate TLM (MDG, SP, JPS, CP), pp. 1125–1126.

DATE-2011-LoCWT #modelling #performance #simulation

Cycle-count-accurate processor modeling for fast and accurate system-level simulation (CKL, LCC, MHW, RST), pp. 341–346.

DATE-2011-RahimiLKB #clustering #network

A fully-synthesizable single-cycle interconnection network for Shared-L1 processor clusters (AR, IL, MRK, LB), pp. 491–496.

DATE-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.

CSMR-2011-Balloul #interface #lifecycle

Management of the Interfaces during Their Life Cycle in a System Landscape (LB), pp. 385–388.

CSCW-2011-Chen #health

Health information use in chronic care cycles (YC), pp. 485–488.

ICEIS-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.

CIKM-2011-ChiangNTD #network #predict

Exploiting longer cycles for link prediction in signed networks (KYC, NN, AT, ISD), pp. 1157–1162.

CIKM-2011-Cribbin #interactive

Citation chain aggregation: an interaction model to support citation cycling (TC), pp. 2149–2152.

KMIS-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.

TOOLS-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.

SAC-2011-ShinLSL #concurrent #monitoring #multi #predict #scheduling #thread

Predictable multithread scheduling with cycle-accurate thread progress monitor (YS, SL, MS, SL), pp. 627–628.

ECSA-2010-MarcoGII #adaptation #learning #lifecycle #paradigm #self

Learning from the Cell Life-Cycle: A Self-adaptive Paradigm (ADM, FG, PI, RI), pp. 485–488.

CASE-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.

DAC-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.

DATE-2010-HaastregtHK #cost analysis #modelling #multi

Cost modeling and cycle-accurate co-simulation of heterogeneous multiprocessor systems (SvH, EH, BK), pp. 1297–1300.

STOC-2010-DeyHK #linear #programming

Optimal homologous cycles, total unimodularity, and linear programming (TKD, ANH, BK), pp. 221–230.

STOC-2010-KawarabayashiR

Odd cycle packing (KiK, BAR), pp. 695–704.

ICALP-v1-2010-AmirELPS #detection

Cycle Detection and Correction (AA, EE, AL, EP, NS), pp. 43–54.

CAiSE-2010-SenS #lifecycle #named

GRUVe: A Methodology for Complex Event Pattern Life Cycle Management (SS, NS), pp. 209–223.

ICPR-2010-JagerPCC #3d #analysis #using

Dual Channel Colocalization for Cell Cycle Analysis Using 3D Confocal Microscopy (SJ, KP, CSCD, MCC), pp. 2580–2583.

ICPR-2010-SarginGMR #using

Object Tracking with Ratio Cycles Using Shape and Appearance Cues (MES, PG, BSM, KR), pp. 3649–3652.

WICSA-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.

CASE-2009-RoyKHM #throughput

Impact of zones on throughput and cycle times in warehouses with Autonomous Vehicles (DR, AK, SSH, CJM), pp. 449–454.

CASE-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.

DAC-2009-ChauhanGHMS #equivalence

Non-cycle-accurate sequential equivalence checking (PC, DG, GH, AM, NS), pp. 460–465.

DAC-2009-Chesters #development #lifecycle #verification

Role of the verification team throughout the ASIC development life cycle (EC), pp. 216–219.

DAC-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.

DAC-2009-GluskaL #modelling #verification

Shortening the verification cycle with synthesizable abstract models (AG, LL), pp. 454–459.

DATE-2009-AlvesNDB #detection #fault #multi #using

Detecting errors using multi-cycle invariance information (NA, KN, JD, RIB), pp. 791–796.

DATE-2009-DSilvaK #detection #fixpoint #multi

Fixed points for multi-cycle path detection (VD, DK), pp. 1710–1715.

WCRE-1999-AbdeenDSA99a #automation

Automatic Package Coupling and Cycle Minimization (HA, SD, HAS, IA), pp. 103–112.

WCRE-1999-LavalDDB99a #dependence #identification #matrix

Identifying Cycle Causes with Enriched Dependency Structural Matrix (JL, SD, SD, AB), pp. 113–122.

HCI-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.

KDD-2009-LeskovecBK

Meme-tracking and the dynamics of the news cycle (JL, LB, JMK), pp. 497–506.

SEKE-2009-CachiaM #development #lifecycle #modelling

A Language for Modeling Software Development Life Cycles (EC, MM), pp. 499–504.

ASPLOS-2009-EyermanE #smt #thread

Per-thread cycle accounting in SMT processors (SE, LE), pp. 133–144.

LCTES-2009-OhEPM #architecture #configuration management #scheduling

Recurrence cycle aware modulo scheduling for coarse-grained reconfigurable architectures (TO, BE, HP, SAM), pp. 21–30.

SAT-2009-ChebiryakWKH #agile

Finding Lean Induced Cycles in Binary Hypercubes (YC, TW, DK, LH), pp. 18–31.

SAT-2009-LiMMP #satisfiability

Exploiting Cycle Structures in Max-SAT (CML, FM, NOM, JP), pp. 467–480.

CBSE-2008-KoziolekBHR #component #lifecycle #modelling

Life-Cycle Aware Modelling of Software Components (HK, SB, JH, RHR), pp. 278–285.

DATE-2008-HwangAG #approximate #estimation #performance #transaction

Cycle-approximate Retargetable Performance Estimation at the Transaction Level (YH, SA, DG), pp. 3–8.

EDOC-2008-Bell #enterprise #lifecycle #modelling #web #web service

Service-Oriented Life Cycle Modeling: The Shift from Web Services to Enterprise Services (MB).

EDOC-2008-Rinderle-MaR #lifecycle

Managing the Life Cycle of Access Rules in CEOSIS (SRM, MR), pp. 257–266.

ICEIS-ISAS2-2008-HallerbachBR #lifecycle #process

Managing Process Variants in the Process Life Cycle (AH, TB, MR), pp. 154–161.

RecSys-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.

RE-2008-ErnstMYN #evolution #lifecycle #requirements

Supporting Requirements Model Evolution throughout the System Life-Cycle (NAE, JM, YY, TN), pp. 321–322.

SAC-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.

LCTES-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.

CASE-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.

CASE-2007-KobetskiRAF #behaviour

Minimization of Expected Cycle Time in Manufacturing Cells with Uncontrollable Behavior (AK, JR, KÅ, MF), pp. 14–19.

DATE-2007-KimHG #multi #named #simulation #transaction

CATS: cycle accurate transaction-driven simulation with multiple processor simulators (DK, SH, RG), pp. 749–754.

DATE-2007-MolinaRMH #multi #optimisation #synthesis

Area optimization of multi-cycle operators in high-level synthesis (MCM, RRS, JMM, RH), pp. 449–454.

ICALP-2007-GroheG #problem

Parameterized Approximability of the Disjoint Cycle Problem (MG, MG), pp. 363–374.

MoDELS-2007-SukaviriyaSRM #approach #design #interface #lifecycle #modelling

Model-Driven Approach for Managing Human Interface Design Life Cycle (NS, VS, TR, SM), pp. 226–240.

MoDELS-2007-SukaviriyaSRM #approach #design #interface #lifecycle #modelling

Model-Driven Approach for Managing Human Interface Design Life Cycle (NS, VS, TR, SM), pp. 226–240.

HPDC-2007-RenEB #fine-grained

Failure-aware checkpointing in fine-grained cycle sharing systems (XR, RE, SB), pp. 33–42.

CAV-2007-BarnatBS #detection #performance

I/O Efficient Accepting Cycle Detection (JB, LB, PS), pp. 281–293.

DATE-2006-Shaver #architecture #deployment #generative

Next generation architectures can dramatically reduce the 4G deployment cycle (DS), p. 599.

DATE-2006-SovianiTE #composition #optimisation

Optimizing sequential cycles through Shannon decomposition and retiming (CS, OT, SAE), pp. 1085–1090.

ICSM-2006-Kajko-MattssonLSNCHNS #agile #lifecycle

Long-term Life Cycle Impact of Agile Methodologies (MKM, GAL, DS, TN, NC, MH, JN, HS), pp. 422–425.

ICALP-v1-2006-HariharanKM #algorithm #graph #performance

A Faster Deterministic Algorithm for Minimum Cycle Bases in Directed Graphs (RH, TK, KM), pp. 250–261.

SAC-2006-DerisB #embedded #predict

Branchless cycle prediction for embedded processors (KJD, AB), pp. 928–932.

HPDC-2006-RenLEB #fine-grained #predict

Resource Availability Prediction in Fine-Grained Cycle Sharing Systems (XR, SL, RE, SB), pp. 93–104.

DAC-2005-Chatterjee #design #process #verification

Streamline verification process with formal property verification to meet highly compressed design cycle (PC), pp. 674–677.

DAC-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.

DATE-2005-ReshadiD #generative #modelling #performance #pipes and filters

Generic Pipelined Processor Modeling and High Performance Cycle-Accurate Simulator Generation (MR, NDD), pp. 786–791.

DATE-2005-SchnerrBR #agile #prototype #simulation

Cycle Accurate Binary Translation for Simulation Acceleration in Rapid Prototyping of SoCs (JS, OB, WR), pp. 792–797.

TACAS-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.

ICALP-2005-EfthymiouS #graph #on the #random

On the Existence of Hamiltonian Cycles in Random Intersection Graphs (CE, PGS), pp. 690–701.

ICALP-2005-Kavitha #algorithm #graph #random

An Õ(m2n) Randomized Algorithm to Compute a Minimum Cycle Basis of a Directed Graph (TK), pp. 273–284.

EDOC-2005-FerreiraF #learning #lifecycle #workflow

Learning, planning, and the life cycle of workflow management (DRF, HMF), pp. 39–46.

ICEIS-v3-2005-GhoneimAS #adaptation #lifecycle #self

Evolutionary Software Life Cycle for Self-Adapting Software Systems (AG, SA, GS), pp. 211–216.

SAC-2005-FarahabadyS #multi #network #recursion

The recursive transpose-connected cycles (RTCC) interconnection network for multiprocessors (MHF, HSA), pp. 734–738.

CC-2005-PazPBKR #on the fly #performance

An Efficient On-the-Fly Cycle Collection (HP, EP, DFB, EKK, VTR), pp. 156–171.

DATE-v1-2004-LiVKI

A Crosstalk Aware Interconnect with Variable Cycle Transmission (LL, NV, MTK, MJI), pp. 102–107.

ICSM-2004-Kung #lifecycle #maintenance

Quantitative Method to Determine Software Maintenance Life Cycle (HJK), pp. 232–241.

STOC-2004-Gabow

Finding paths and cycles of superpolylogarithmic length (HNG), pp. 407–416.

ICALP-2004-BjorklundHK #approximate

Approximating Longest Directed Paths and Cycles (AB, TH, SK), pp. 222–233.

ICALP-2004-DengL

A PTAS for Embedding Hypergraph in a Cycle (Extended Abstract) (XD, GL), pp. 433–444.

ICALP-2004-KavithaMMP #algorithm #graph #performance

A Faster Algorithm for Minimum Cycle Basis of Graphs (TK, KM, DM, KEP), pp. 846–857.

CAiSE-2004-Soderstrom #lifecycle #standard

Formulating a General Standards Life Cycle (ES), pp. 263–275.

ICEIS-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.

SAC-2004-GrutznerWW #assurance #lifecycle #quality

Improving courseware quality through life-cycle encompassing quality assurance (IG, SW, PEW), pp. 946–951.

HPCA-2004-EhrhartP #predict #scheduling #using

Reducing the Scheduling Critical Cycle Using Wakeup Prediction (TEE, SJP), pp. 222–231.

CAV-2004-ChangBD #design #interface #refinement #using #verification

Using Interface Refinement to Integrate Formal Verification into the Design Cycle (JC, SB, DLD), pp. 122–134.

ICLP-2004-LinkeTW #logic programming #on the #source code

On Acyclic and Head-Cycle Free Nested Logic Programs (TL, HT, SW), pp. 225–239.

SCAM-2003-PearceKH #analysis #detection #difference #online #pointer

Online Cycle Detection and Difference Propagation for Pointer Analysis (DJP, PHJK, CH), pp. 3–12.

STOC-2003-AronovKS

Cutting triangular cycles of lines in space (BA, VK, MS), pp. 547–555.

FME-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.

ICEIS-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.

SAC-2003-BrazierMOW #distributed #lifecycle

Managing Agent Life Cycles in Open Distributed Systems (FMTB, DGAM, BJO, NJEW), pp. 61–65.

TLCA-2003-Montelatici #fixpoint #proving #semantics

Polarized Proof Nets with Cycles and Fixpoints Semantics (RM), pp. 256–270.

DAC-2002-Higuchi #detection #multi #scalability

An implication-based method to detect multi-cycle paths in large sequential circuits (HH), pp. 164–169.

DAC-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.

DATE-2002-WuK #algorithm

Exploiting Idle Cycles for Algorithm Level Re-Computing (KW, RK), pp. 842–846.

ICALP-2002-Wich #ambiguity

Universal Inherence of Cycle-Free Context-Free Ambiguity Functions (KW), pp. 669–680.

IFM-2002-GeryHP #development #lifecycle #modelling #named

Rhapsody: A Complete Life-Cycle Model-Based Development System (EG, DH, EP), pp. 1–10.

IFL-2002-Trancon-y-Widemann #functional

Stacking Cycles: Functional Transformation of Circular Data (BTyW), pp. 150–164.

CAiSE-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.

RE-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.

SAC-2002-FuC #network #polynomial

Cycle embedding in faulty hierarchical cubic networks (JSF, GHC), pp. 860–864.

ASE-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.

ASE-2001-GarcezRNK #requirements #specification

An Analysis-Revision Cycle to Evolve Requirements Specifications (ASdG, AR, BN, JK), pp. 354–358.

DAC-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.

TACAS-2001-FislerFVY #algorithm #detection #question

Is There a Best Symbolic Cycle-Detection Algorithm? (KF, RF, GK, MYV, ZY), pp. 420–434.

ECOOP-2001-BaconR #concurrent

Concurrent Cycle Collection in Reference Counted Systems (DFB, VTR), pp. 207–235.

TOOLS-USA-2001-Dustin #automation #lifecycle #testing

Automating Software Testing: A Life-Cycle Methodology (ED), p. 366.

PPDP-2001-TurbakW

Cycle Therapy: A Prescription for Fold and Unfold on Regular Trees (FAT, JBW), pp. 137–149.

ICSE-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.

DAC-2000-YeVKI #design #energy #estimation

The design and use of simplepower: a cycle-accurate energy estimation tool (WY, NV, MTK, MJI), pp. 340–345.

DATE-2000-GauthierJ #simulation

Cycle-True Simulation of the ST10 Microcontroller (LG, AAJ), p. 742.

DATE-2000-MorawiecUR #algorithm #diagrams #simulation #using

Cycle-Based Simulation Algorithms for Digital Systems Using High-Level Decision Diagrams (AM, RU, JR), p. 743.

FASE-2000-Hernandez-OralloR #learning #lifecycle #quality

Software as Learning: Quality Factors and Life-Cycle Revised (JHO, MJRQ), pp. 147–162.

ICSM-2000-McCabe #e-commerce #lifecycle

Software Life Cycles for e-Commerce Businesses (TJM), p. 3.

STOC-2000-FederMS #graph

Finding long paths and cycles in sparse Hamiltonian graphs (TF, RM, CSS), pp. 524–529.

CAiSE-2000-Rein #lifecycle #process #specification

Specifying Processes with Dynamic Life Cycles (RvR), pp. 192–211.

TOOLS-ASIA-2000-ZhuoweiJJG #corba #lifecycle #research

Research on Life Cycle Management Mechanism in COM/CORBA Interworking (ZS, JX, JD, GG), pp. 88–93.

ISMM-2000-HudsonMSW #garbage collection

Cycles to Recycle: Garbage Collection on the IA-64 (RLH, JEBM, SS, WW), pp. 101–110.

ISSTA-2000-SiegelA #precise

Improving the precision of INCA by preventing spurious cycles (SFS, GSA), pp. 191–200.

WICSA-1999-BoehmPEA #architecture #lifecycle

The MBASE Life Cycle Architecture Milestone Package (BWB, DP, AE, MAA), pp. 511–528.

DAC-1999-BertaccoDQ #simulation

Cycle-Based Symbolic Simulation of Gate-Level Synchronous Circuits (VB, MD, SQ), pp. 391–396.

DAC-1999-DasdanIG #algorithm #performance #problem

Efficient Algorithms for Optimum Cycle Mean and Optimum Cost to Time Ratio Problems (AD, SI, RKG), pp. 37–42.

DAC-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.

DAC-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.

DAC-1999-SimunicBM #embedded #energy #simulation

Cycle-Accurate Simulation of Energy Consumption in Embedded Systems (TS, LB, GDM), pp. 867–872.

DATE-1999-CabodiCPQ #simulation

Computing Timed Transition Relations for Sequential Cycle-Based Simulation (GC, PC, CP, SQ), pp. 8–12.

DATE-1999-UbarRM #diagrams #simulation

Cycle-based Simulation with Decision Diagrams (RU, JR, AM), pp. 454–458.

VLDB-1999-LeeL #termination

Unrolling Cycles to Decide Trigger Termination (SYL, TWL), pp. 483–493.

HCI-CCAD-1999-NakayasuNNNK #design #human-computer

Human-computer cooperative work for design and production cycle (HN, MN, EN, YN, TK), pp. 1226–1230.

HCI-EI-1999-KasamatsuAFIN

Effect of Menstrual Cycle on Monotonous Works Demand High Awaking Conditions (KK, MA, MFF, KI, SPN), pp. 167–172.

ICEIS-1999-Chattopadhyay99a #approach #enterprise #information management #lifecycle

Customer Oriented Enterprise Information Management: A Customer Relationship Life Cycle Approach (SPC), pp. 391–395.

CSMR-1998-EbertKP #towards

The Extract-Transform-Rewrite Cycle. A Step towards MetaCARE (JE, BK, AP), pp. 165–171.

CSMR-1998-Kutscha #case study #experience #re-engineering

The Task Artifact Cycle: Some Experiences from Reengineering Practice (SK), p. 234.

ICSM-1998-KungH #lifecycle #maintenance

Software Maintenance Life Cycle Model (HJK, CH), pp. 113–121.

PLDI-1998-FahndrichFSA #constraints #graph #online

Partial Online Cycle Elimination in Inclusion Constraint Graphs (MF, JSF, ZS, AA), pp. 85–96.

FM-1998-KutterST #design #domain-specific language #lifecycle

Integrating Domain Specific Language Design in the Software Life Cycle (PWK, DS, LT), pp. 196–212.

KR-1998-Kusters #automaton #finite #semantics #using

Characterizing the Semantics of Terminological Cycles in ALN Using Finite Automata (RK), pp. 499–511.

TOOLS-USA-1998-PortoSC #database #lifecycle #relational

Object Life-Cycles in Active Relational Databases (FP, MJVS, SRC), p. 168–?.

ICRE-1998-RobinsonP #documentation #interactive #requirements

Surfacing Root Requirements Interactions from Inquiry Cycle Requirements Documents (WNR, SDP), pp. 82–89.

SAC-1998-Li #evaluation #performance #probability

Performance evaluation of probabilistic tree embedding in cube-connected cycles (KL), pp. 584–592.

CSMR-1997-KutschaHK #approach #concept #maintenance #re-engineering

The Task Artifact Cycle: a Conceptual Approach to Maintenance and Reengineering (SK, KH, HK), pp. 17–19.

HCI-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.

EDOC-1997-Peter #corba #implementation #lifecycle

An Implementation of CORBA’s LifeCycle Service (YP), pp. 111–117.

SAC-1997-JagotaD #algorithm #distributed #problem

Simple distributed algorithms for the cycle cutset problem (AKJ, RD), pp. 366–373.

SOSP-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.

DAC-1996-PopescuM #design #verification

Innovative Verification Strategy Reduces Design Cycle Time for High-End Sparc Processor (VP, BM), pp. 311–314.

ICSM-1996-KhoshgoftaarAHT #detection #lifecycle

Detection of Fault-Prone Software Modules During a Spiral Life Cycle (TMK, EBA, RH, GPT), pp. 69–76.

ICSE-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.

CADE-1996-RousselM #compilation

A New Method for Knowledge Compilation: The Achievement by Cycle Search (OR, PM), pp. 493–507.

DAC-1995-MannePBHSMP

Computing the Maximum Power Cycles of a Sequential Circuit (SM, AP, RIB, GDH, FS, EM, MP), pp. 23–28.

AdaEurope-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.

SAC-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.

LCT-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.

DAC-1994-GuptaS #automation #design #multi #verification

Automated Multi-Cycle Symbolic Timing Verification of Microprocessor-Based Designs (APG, DPS), pp. 113–119.

DAC-1994-LamBS #finite #state machine

Exact Minimum Cycle Times for Finite State Machines (WKCL, RKB, ALSV), pp. 100–105.

DAC-1994-McMillan #design #formal method

Fitting Formal Methods into the Design Cycle (KLM), pp. 314–319.

STOC-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.

ICALP-1994-YusterZ #performance

Finding Even Cycles Even Faster (RY, UZ), pp. 532–543.

FME-1994-WangM

RTL and Refutation by Positive Cycles (FW, AKM), pp. 659–680.

KR-1994-Schild #calculus

Terminological Cycles and the Propositional µ-Calculus (KS), pp. 509–520.

OOPSLA-1994-JordanSW #object-oriented #requirements

Streamlining the Project Cycle With Object-Oriented Requirements (RJ, RS, AW), pp. 287–300.

TOOLS-EUROPE-1994-Barbier #lifecycle #object-oriented #traceability

Traceability in the Object-Oriented Software Life Cycle (FB), pp. 293–301.

SAC-1994-RibotBV #development #lifecycle #reuse

Development life-cycle WITH reuse (DR, BB, CV), pp. 70–76.

CSM-1993-EdwardsM #lifecycle #logic #using

Abstracting the Logical Processing Life Cycle for Entities Using the RECAST Method (HME, MM), pp. 162–171.

TOOLS-USA-1993-BaudoinH #industrial #lifecycle #perspective

Realizing the Object Life Cycle: An Industry View (CB, GH), p. 533.

DAC-1992-LinLE

Analyzing Cycle Stealing on Synchronous Circuits with Level-Sensitive Latches (IL, JAL, KE), pp. 393–398.

TRI-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.

CAiSE-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.

TOOLS-USA-1992-CapretzL #lifecycle #object-oriented #reuse

Reusability and Life Cycle Issues Within ans Object-Oriented Methodology (LFC, PAL), pp. 139–150.

CADE-1992-BibelHW #unification

Cycle Unification (WB, SH, JW), pp. 94–108.

STOC-1991-BroderFS

Finding Hidden Hamiltonian Cycles (Extended Abstract) (AZB, AMF, ES), pp. 182–189.

ICALP-1991-Furer #algorithm #graph #performance

An Efficient NC Algorithm for Finding Hamiltonian Cycles in Dense Directed Graphs (MF), pp. 429–440.

GG-1990-Chytil

Cycle Chain Code Picture Languages (FJB, MC), pp. 157–173.

ICSE-1990-HirayamaSYT #lifecycle #metric #modelling #quality

Practice of Quality Modeling and Measurement on Software Life-Cycle (MH, HS, AY, JT), pp. 98–107.

STOC-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.

ICSE-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.

STOC-1988-GoldbergT #low cost

Finding Minimum-Cost Circulations by Canceling Negative Cycles (AVG, RET), pp. 388–397.

STOC-1988-Istrail #polynomial #sequence #traversal

Polynomial Universal Traversing Sequences for Cycles Are Constructible (Extended Abstract) (SI), pp. 491–503.

STOC-1988-KosarajuS #detection #graph #polynomial

Detecting Cycles in Dynamic Graphs in Polynomial Time (Preliminary Version) (SRK, GFS), pp. 398–406.

ICALP-1988-VaziraniY #graph

Pfaffian Orientations, 0/1 Permanents, and Even Cycles in Directed Graphs (VVV, MY), pp. 667–681.

STOC-1987-IwanoS #graph #infinity #testing

Testing for Cycles in Infinite Graphs with Periodic Structure (Extended Abstract) (KI, KS), pp. 46–55.

ICALP-1986-SpirakisT #algorithm #performance

A Very Fast, Practical Algorithm for Finding a Negative Cycle in a Digraph (PGS, AKT), pp. 397–406.

GG-1986-SiromoneyS

Rosenfeld’s cycle grammars and kolam (GS, RS), pp. 564–579.

STOC-1985-BollobasFF #algorithm #graph #random

An Algorithm for Finding Hamilton Cycles in a Random Graph (BB, TIF, AMF), pp. 430–439.

STOC-1984-Miller #graph

Finding Small Simple Cycle Separators for 2-Connected Planar Graphs (GLM), pp. 376–382.

DAC-1983-ChengGKW #development #functional #simulation

Functional simulation shortens the development cycle of a new computer (RC, BG, KK, JW), pp. 515–519.

STOC-1981-Fich #bound #detection #problem

Lower Bounds for the Cycle Detection Problem (FEF), pp. 96–105.

GG-1978-NyrupM #algebra #approach

Map Grammars: Cycles and the Algebraic Approach (KN, BHM), pp. 331–340.

SOSP-1969-Mealy #design

The system design cycle (GHM), pp. 1–7.