Stem loop$ (all stems)

341 papers:

DAC-2015-AsadJ #programming #using #verification

Verifying inevitability of phase-locking in a charge pump phase lock loop using sum of squares programming (HuA, KDJ), p. 6.

DATE-2015-CilardoG #clustering #memory management #multi

Interplay of loop unrolling and multidimensional memory partitioning in HLS (AC, LG), pp. 163–168.

DATE-2015-DarkeCVSM #approximate #bound #model checking #using

Over-approximating loops to prove properties using bounded model checking (PD, BC, RV, US, RM), pp. 1407–1412.

DATE-2015-KhanhSKA #dependence #design #synthesis

Exploiting loop-array dependencies to accelerate the design space exploration with high level synthesis (PNK, AKS, AK, KMMA), pp. 157–162.

DATE-2015-LezosDM #analysis #distance #locality #optimisation #reuse

Reuse distance analysis for locality optimization in loop-dominated applications (CL, GD, KM), pp. 1237–1240.

DATE-2015-MineoRPACM #architecture #energy #performance #self

A closed loop transmitting power self-calibration scheme for energy efficient WiNoC architectures (AM, MSR, MP, GA, VC, MNM), pp. 513–518.

DATE-2015-YinLLWG #pipes and filters

Joint affine transformation and loop pipelining for mapping nested loop on CGRAs (SY, DL, LL, SW, YG), pp. 115–120.

HT-2015-MishraDBS #analysis #incremental #learning #sentiment

Sentiment Analysis with Incremental Human-in-the-Loop Learning and Lexical Resource Customization (SM, JD, JB, ES), pp. 323–325.

SIGMOD-2015-PantelaI

One Loop Does Not Fit All (SP, SI), pp. 2073–2074.

FASE-2015-BlomDH #verification

Verification of Loop Parallelisations (SB, SD, MH), pp. 202–217.

FASE-2015-CalinescuGB #adaptation #distributed #self

Self-adaptive Software with Decentralised Control Loops (RC, SG, AB), pp. 235–251.

ICSME-2015-WangPV #corpus #mining #scalability

Developing a model of loop actions by mining loop characteristics from a large code corpus (XW, LLP, KVS), pp. 51–60.

PLDI-2015-VenkatHS #data transformation #matrix

Loop and data transformations for sparse matrix code (AV, MWH, MS), pp. 521–532.

FM-2015-ChimdyalwarDCVC #abstraction #bound #model checking #static analysis #using

Eliminating Static Analysis False Positives Using Loop Abstraction and Bounded Model Checking (BC, PD, AC, SV, AC), pp. 573–576.

SEFM-2015-HusterBELRKR #performance #testing

Efficient Testing of Different Loop Paths (SH, SB, HE, JL, JR, TK, WR), pp. 117–131.

ECOOP-2015-BhandariN #exception

Loop Tiling in the Presence of Exceptions (AB, VKN), pp. 124–148.

ECOOP-2015-ParkR #javascript #precise #scalability #static analysis

Scalable and Precise Static Analysis of JavaScript Applications via Loop-Sensitivity (CP, SR), pp. 735–756.

SAC-2015-MainiS #communication #distributed #multi #using

Distributed task servicing using multiple robots with human-in-the-loop under limited communication range (PM, PBS), pp. 301–306.

SAC-2015-MoreiraJR #analysis #reduction #similarity #visual notation

Visual similarity analysis in loop closure through data dimensionality reduction via diffusion maps (LASM, CMJ, PFFR), pp. 289–294.

ESEC-FSE-2015-FratantonioMBKV #android #named

CLAPP: characterizing loops in Android applications (YF, AM, AB, CK, GV), pp. 687–697.

CAV-2015-ChenHWZ #generative #invariant #polynomial

Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation (YFC, CDH, BYW, LZ), pp. 658–674.

ICST-2015-XuLCK #approach #bound #detection #lightweight #thread

A Lightweight, Static Approach to Detecting Unbounded Thread-Instantiation Loops (JX, YL, RHC, DCK), pp. 1–10.

ISSTA-2015-XieLLLC #automation #multi #named #string #summary

S-looper: automatic summarization for multipath string loops (XX, YL, WL, XL, HC), pp. 188–198.

ASE-2014-MatinnejadNBB14a #named #testing

CoCoTest: a tool for model-in-the-loop testing of continuous controllers (RM, SN, LCB, TB), pp. 855–858.

DAC-2014-DaiTHZ #pipes and filters #synthesis

Flushing-Enabled Loop Pipelining for High-Level Synthesis (SD, MT, KH, ZZ), p. 6.

DAC-2014-HamzehSV

Branch-Aware Loop Mapping on CGRAs (MH, AS, SBKV), p. 6.

DAC-2014-KoKYKH #cpu #gpu #simulation

Hardware-in-the-loop Simulation for CPU/GPU Heterogeneous Platforms (YK, TK, YY, MK, SH), p. 6.

DAC-2014-QiuLX #performance #power management

Write Mode Aware Loop Tiling for High Performance Low Power Volatile PCM (KQ, QL, CJX), p. 6.

DATE-2014-JeongOSNS #parametricity #self

Built-in self-test and characterization of polar transmitter parameters in the loop-back mode (JWJ, SO, SS, VN, MS), pp. 1–6.

ESOP-2014-KothaACESB #bound #parallel #runtime

Affine Parallelization of Loops with Run-Time Dependent Bounds from Binaries (AK, KA, TC, KE, MS, RB), pp. 554–574.

TACAS-2014-LeikeH #linear #ranking

Ranking Templates for Linear Loops (JL, MH), pp. 172–186.

TACAS-2014-LiSSS #synthesis

Synthesis for Human-in-the-Loop Control Systems (WL, DS, SSS, SAS), pp. 470–484.

SAS-2014-ChakarovS #fixpoint #invariant #probability

Expectation Invariants for Probabilistic Program Loops as Fixed Points (AC, SS), pp. 85–100.

ILC-2014-PetersenGAD

A Scheme-Based Closed-Loop Anesthesia System (CLP, MG, JMA, GAD), p. 40.

ICEIS-v2-2014-TrienekensK #feedback #metric

Structuring Software Measurement — Metrication in the Context of Feedback Loops (JJMT, RJK), pp. 129–136.

CIKM-2014-YaoSNG #internet

Keeping You in the Loop: Enabling Web-based Things Management in the Internet of Things (LY, QZS, AHHN, BJG), pp. 2027–2029.

ICPR-2014-AodhaSBTGJ #interactive #machine learning

Putting the Scientist in the Loop — Accelerating Scientific Progress with Interactive Machine Learning (OMA, VS, GJB, MT, MAG, KEJ), pp. 9–17.

POPL-2014-JeannetSS #linear

Abstract acceleration of general linear loops (BJ, PS, SS), pp. 529–540.

SAC-2014-DeanM #aspect-oriented

An aspect pointcut for parallelizable loops (JSD, FJM), pp. 1619–1624.

HPCA-2014-HayengaNL #architecture #execution #named #performance

Revolver: Processor architecture for power efficient loop execution (MH, VRKN, MHL), pp. 591–602.

LCTES-2014-LeeLLP #architecture #performance

Improving performance of loops on DIAM-based VLIW architectures (JL, JL, JL, YP), pp. 135–144.

PPoPP-2014-MehtaLY #framework

Revisiting loop fusion in the polyhedral framework (SM, PHL, PCY), pp. 233–246.

VMCAI-2014-BozgaIK #integer #problem #safety #source code

Safety Problems Are NP-complete for Flat Integer Programs with Octagonal Loops (MB, RI, FK), pp. 242–261.

ASE-2013-XiaoLXT #execution #generative #problem #symbolic computation #testing

Characteristic studies of loop problems for structural test generation via symbolic execution (XX, SL, TX, NT), pp. 246–256.

CASE-2013-0011ZD #petri net #robust #specification

Exploiting robustness in Petri net-based closed-loop systems to accommodate control specification changes (JL, MZ, XD), pp. 71–76.

DAC-2013-AlleMD #analysis #dependence #pipes and filters #runtime #synthesis

Runtime dependency analysis for loop pipelining in high-level synthesis (MA, AM, SD), p. 10.

DAC-2013-LiuYLW #modelling #optimisation

Polyhedral model based mapping optimization of loop nests for CGRAs (DL, SY, LL, SW), p. 8.

DAC-2013-NacciRBSBA #algorithm #implementation #synthesis

A high-level synthesis flow for the implementation of iterative stencil loop algorithms on FPGA devices (AAN, VR, FB, DS, IB, DA), p. 6.

DATE-2013-ElfadelMA #formal method #industrial #manycore

Closed-loop control for power and thermal management in multi-core processors: formal methods and industrial practice (IME, RM, DA), pp. 1879–1881.

DATE-2013-HanCL #compilation

Compiling control-intensive loops for CGRAs with state-based full predication (KH, KC, JL), pp. 1579–1582.

ESOP-2013-SharmaGHALN #algebra #approach #data-driven #invariant

A Data Driven Approach for Algebraic Loop Invariants (RS, SG, BH, AA, PL, AVN), pp. 574–592.

TACAS-2013-MorseCNF #bound #contest

Handling Unbounded Loops with ESBMC 1.20 — (Competition Contribution) (JM, LCC, DN, BF), pp. 619–622.

CSMR-2013-BusingeSB #api #developer #eclipse

Analyzing the Eclipse API Usage: Putting the Developer in the Loop (JB, AS, MvdB), pp. 37–46.

DUXU-PMT-2013-FilippiBFBC #interactive #simulation

Human in the Loop: A Model to Integrate Interaction Issues in Complex Simulations (SF, DB, FF, MB, UC), pp. 242–251.

DUXU-PMT-2013-Flanagan #feedback #how #interface

Haptic Interface Aesthetics — “Feedback Loops, Live Coding and How to Harness the Potential of Embodied Estrangement in Artistic Practices and Aesthetic Theories within Interface Culture” (PJF), pp. 58–67.

OOPSLA-2013-DEliaD #multi #profiling

Ball-Larus path profiling across multiple loop iterations (DCD, CD), pp. 373–390.

QAPL-2013-Tranquilli

Indexed Labels for Loop Iteration Dependent Costs (PT), pp. 19–33.

POPL-2013-Ben-AmramG #constraints #integer #linear #on the #problem #ranking

On the linear ranking problem for integer linear-constraint loops (AMBA, SG), pp. 51–62.

ASPLOS-2013-OhKJLA #automation

Practical automatic loop specialization (TO, HK, NPJ, JWL, DIA), pp. 419–430.

CC-2013-BhaskaracharyaB #data flow #framework #named #visual notation

PolyGLoT: A Polyhedral Loop Transformation Framework for a Graphical Dataflow Language (SGB, UB), pp. 123–143.

CGO-2013-AnantpurG #dependence #execution #runtime

Runtime dependence computation and execution of loops on heterogeneous systems (JA, RG), p. 10.

CGO-2013-BaoD

Defensive loop tiling for shared cache (BB, CD), p. 11.

PPoPP-2013-BartheCKGM #relational #synthesis #verification

From relational verification to SIMD loop synthesis (GB, JMC, SG, CK, MM), pp. 123–134.

CAV-2013-KroeningLW #approximate #c #detection #performance #source code

Under-Approximating Loops in C Programs for Fast Counterexample Detection (DK, ML, GW), pp. 381–396.

ISSTA-2013-RadoiD #concurrent #detection #java #parallel

Practical static race detection for Java parallel loops (CR, DD), pp. 178–190.

ASE-2012-ChenK #automation #testing

Puzzle-based automatic testing: bringing humans into the loop by solving puzzles (NC, SK), pp. 140–149.

CASE-2012-KharboutlyMGC #2d

2D open loop trajectory control of a micro-object in a dielectrophoresis-based device (MK, AM, MG, NC), pp. 950–955.

CASE-2012-TangLY #nondeterminism #using

Tracking control of a compliant XY nano-positioner under plant uncertainty using a transfigured loop-shaping H∞ controller (HT, YL, QY), pp. 103–108.

DAC-2012-CongZZ #memory management #optimisation #synthesis

Optimizing memory hierarchy allocation with loop transformations for high-level synthesis (JC, PZ, YZ), pp. 1233–1238.

DATE-2012-NasseryO

An analytical technique for characterization of transceiver IQ imbalances in the loop-back mode (AN, SO), pp. 1084–1089.

DATE-2012-ShoaibMGM #monitoring

A closed-loop system for artifact mitigation in ambulatory electrocardiogram monitoring (MS, GM, HG, SM), pp. 431–436.

VLDB-2012-SchnaitterP #automation

Semi-Automatic Index Tuning: Keeping DBAs in the Loop (KS, NP), pp. 478–489.

PLDI-2012-FengGN #effectiveness #parallel

Effective parallelization of loops in the presence of I/O operations (MF, RG, IN), pp. 487–498.

PLDI-2012-OanceaR #logic #parallel

Logical inference techniques for loop parallelization (CEO, LR), pp. 509–520.

SAS-2012-BiallasBKK

Loop Leaping with Closures (SB, JB, AK, SK), pp. 214–230.

SAS-2012-ChenFM #linear #proving #termination

Termination Proofs for Linear Simple Loops (HYC, SF, SM), pp. 422–438.

FLOPS-2012-Hamana #category theory #haskell

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

DLT-2012-FazekasMS #bound

Hairpin Completion with Bounded Stem-Loop (SZF, RM, KST), pp. 428–439.

FM-2012-AponteCMS #composition #invariant

Maximal and Compositional Pattern-Based Loop Invariants (MVA, PC, YM, MS), pp. 37–51.

ICML-2012-RavanbakhshYG #approximate #modelling #visual notation

A Generalized Loop Correction Method for Approximate Inference in Graphical Models (S(R, CNY, RG), p. 84.

ICPR-2012-VuralA #machine learning #video

A machine learning system for human-in-the-loop video surveillance (UV, YSA), pp. 1092–1095.

KDD-2012-MatsushimaVS #linear

Linear support vector machines via dual cached loops (SM, SVNV, AJS), pp. 177–185.

ECOOP-2012-XuYR #data type #detection #invariant #static analysis

Static Detection of Loop-Invariant Data Structures (G(X, DY, AR), pp. 738–763.

OOPSLA-2012-KlingMCR #infinity #named #on-demand

Bolt: on-demand infinite loop escape in unmodified binaries (MK, SM, MC, MCR), pp. 431–450.

LOPSTR-2012-InsaST #debugging #declarative

Enhancing Declarative Debugging with Loop Expansion and Tree Compression (DI, JS, CT), pp. 71–88.

ICSE-2012-Ghardallou #analysis #invariant #termination #using

Using invariant relations in the termination analysis of while loops (WG), pp. 1519–1522.

CGO-2012-ZouR #detection #parallel #source code

Scan detection and parallelization in “inherently sequential” nested loop programs (YZ, SVR), pp. 74–83.

PPoPP-2012-KosterMD

Synchronization views for event-loop actors (JDK, SM, TD), pp. 317–318.

IJCAR-2012-EmmesEG #automation #proving

Proving Non-looping Non-termination Automatically (FE, TE, JG), pp. 225–240.

VMCAI-2012-Ben-AmramGM #integer #on the #termination

On the Termination of Integer Loops (AMBA, SG, ANM), pp. 72–87.

VMCAI-2012-SiegelZ #execution #invariant #parallel #source code #symbolic computation

Loop Invariant Symbolic Execution for Parallel Programs (SFS, TKZ), pp. 412–427.

CASE-2011-HaoD #incremental #optimisation #using

Optimization of tool trajectory for Incremental Sheet Forming using closed loop control (WH, SD), pp. 779–784.

CASE-2011-MettaB #design

Optimized closed-loop supply chain configuration selection for sustainable product designs (HM, FB), pp. 438–443.

CASE-2011-Vogel-HeuserS #approach #automation #modelling #usability

A methodological approach to evaluate the benefit and usability of different modeling notations for open loop control in automation systems (BVH, KS), pp. 474–481.

DATE-2011-DragomirB #architecture #configuration management

Loop distribution for K-loops on Reconfigurable Architectures (OSD, KB), pp. 1548–1553.

DATE-2011-GeunsBBC #parallel #source code

Parallelization of while loops in nested loop programs for shared-memory multiprocessor systems (SJG, MJGB, TB, HC), pp. 697–702.

DATE-2011-HuangWSLXL #embedded #low cost

A specialized low-cost vectorized loop buffer for embedded processors (LH, ZW, LS, HL, NX, CL), pp. 1200–1203.

TACAS-2011-JungLWY #generative #invariant #quantifier

Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference (YJ, WL, BYW, KY), pp. 205–219.

TACAS-2011-TsitovichSWK #analysis #summary #termination

Loop Summarization and Termination Analysis (AT, NS, CMW, DK), pp. 81–95.

SCAM-2011-Larson #program analysis #set

Program Analysis Too Loopy? Set the Loops Aside (EL), pp. 15–24.

PLDI-2011-GulwaniJTV #source code #synthesis

Synthesis of loop-free programs (SG, SJ, AT, RV), pp. 62–73.

CIAA-2011-HeamHK #automaton

Loops and Overloops for Tree Walking Automata (PCH, VH, OK), pp. 166–177.

ECOOP-2011-CarbinMKR #detection #infinity

Detecting and Escaping Infinite Loops with Jolt (MC, SM, MK, MCR), pp. 609–633.

POPL-2011-PouchetBBCRSV #optimisation

Loop transformations: convexity, pruning and optimization (LNP, UB, CB, AC, JR, PS, NV), pp. 549–562.

SAC-2011-DumasDBB #partial order #verification

Application of partial-order methods for the verification of closed-loop SDL systems (XD, PD, FB, EB), pp. 1666–1673.

SAC-2011-TianXLC #optimisation #order

Loop fusion and reordering for register file optimization on stream processors (WT, CJX, ML, EC), pp. 560–565.

ESEC-FSE-2011-Sidiroglou-DouskosMHR #performance #trade-off

Managing performance vs. accuracy trade-offs with loop perforation (SSD, SM, HH, MCR), pp. 124–134.

ASPLOS-2011-HayashizakiWISN #performance

Improving the performance of trace-based systems by false loop filtering (HH, PW, HI, MJS, TN), pp. 405–418.

CC-2011-MaKA #memory management #multi

Practical Loop Transformations for Tensor Contraction Expressions on Multi-level Memory Hierarchies (WM, SK, GA), pp. 266–285.

CAV-2011-SharmaDDA #generative #invariant #using

Simplifying Loop Invariant Generation Using Splitter Predicates (RS, ID, TD, AA), pp. 703–719.

ISSTA-2011-GodefroidL #automation #generative #summary #testing

Automatic partial loop summarization in dynamic test generation (PG, DL), pp. 23–33.

CASE-2010-HuSF #analysis #biology #using

Dynamics analysis and closed-loop control of biological cells in transportation using robotic manipulation system with optical tweezers (SH, DS, GF), pp. 240–245.

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.

DAC-2010-FayyaziK #performance #simulation

Efficient simulation of oscillatory combinational loops (MF, LK), pp. 777–780.

DATE-2010-QaziTDSC #analysis #performance #reduction

Loop flattening & spherical sampling: Highly efficient model reduction techniques for SRAM yield analysis (MQ, MT, LD, DS, AC), pp. 801–806.

VLDB-2010-BuHBE #clustering #named #performance #scalability

HaLoop: Efficient Iterative Data Processing on Large Clusters (YB, BH, MB, MDE), pp. 285–296.

ITiCSE-2010-AlemanO #implementation

SAMtool, a tool for deducing and implementing loop patterns (JLFA, YO), pp. 68–72.

CSMR-2010-MyersSS #debugging #scalability

Utilizing Debug Information to Compact Loops in Large Program Traces (DM, MADS, MS), pp. 41–50.

ICSM-2010-PonsiniCFMR #automation #invariant #verification

Automatic verification of loop invariants (OP, HC, CF, CM, MR), pp. 1–5.

SAS-2010-Goldberg #framework #in memory #memory management #optimisation #pipes and filters #validation

Translation Validation of Loop Optimizations and Software Pipelining in the TVOC Framework — In Memory of Amir Pnueli (BG), pp. 6–21.

ICPR-2010-DurakN #classification #detection #image

Principal Contour Extraction and Contour Classification to Detect Coronal Loops from the Solar Images (ND, ON), pp. 2403–2406.

KR-2010-GiacomoPS #constraints

Generalized Planning with Loops under Strong Fairness Constraints (GDG, FP, SS).

OOPSLA-2010-PurandareDE #monitoring #optimisation

Monitor optimization via stutter-equivalent loop transformation (RP, MBD, SGE), pp. 270–285.

RE-2010-PengCYZ #feedback #self

Self-Tuning of Software Systems Through Goal-based Feedback Loop Control (XP, BC, YY, WZ), pp. 104–107.

ICSE-2010-JilaniMLGM #invariant #using

Using invariant functions and invariant relations to compute loop functions (LLJ, OM, AL, WG, AM), pp. 317–318.

PPoPP-2010-JangMSDK #architecture #data transformation #parallel #thread

Data transformations enabling loop vectorization on multithreaded data parallel architectures (BJ, PM, DS, RD, DRK), pp. 353–354.

ICLP-J-2010-WangYYS #logic programming #source code

Loop formulas for description logic programs (YW, JHY, LYY, YDS), pp. 531–545.

ASE-2009-BurnimJSS #detection #infinity #lightweight #named #runtime

Looper: Lightweight Detection of Infinite Loops at Runtime (JB, NJ, CS, KS), pp. 161–169.

CASE-2009-AllenGT #logic #nondeterminism #verification

Closed-loop determinism for non-deterministic environments: Verification for IEC 61499 logic controllers (LVA, KMG, DMT), pp. 1–6.

CASE-2009-LiZF #analysis

Analysis of two-loop closed production systems (NL, LZ, WF), pp. 460–465.

FASE-2009-KovacsV #array #invariant #proving #source code #theorem proving #using

Finding Loop Invariants for Programs over Arrays Using a Theorem Prover (LK, AV), pp. 470–485.

ICALP-v2-2009-BeaudryL #monad

Faithful Loops for Aperiodic E-Ordered Monoids (MB, FL), pp. 55–66.

SEFM-2009-Chalin #verification

Adjusted Verification Rules for Loops Are More Complete and Give Better Diagnostics for Less (PC), pp. 317–324.

SAC-2009-HoerstingBD #image #visual notation

Visual loop-closing with image profiles (HH, LB, ZD), pp. 1166–1170.

CC-2009-FarooqJ #architecture #data flow #scheduling

Loop-Aware Instruction Scheduling with Dynamic Contention Tracking for Tiled Dataflow Architectures (MUF, LKJ), pp. 190–203.

CGO-2009-CordesFM #abstract interpretation #analysis #modelling #performance #precise #slicing

A Fast and Precise Static Loop Analysis Based on Abstract Interpretation, Program Slicing and Polytope Models (PL, DC, HF, PM), pp. 136–146.

PPoPP-2009-BaskaranVBRRS #effectiveness #manycore #parallel #scheduling

Compiler-assisted dynamic scheduling for effective parallelization of loop nests on multicore processors (MMB, NV, UB, JR, AR, PS), pp. 219–228.

ICLP-2009-ChenJL #logic programming #source code

Computing Loops with at Most One External Support Rule for Disjunctive Logic Programs (XC, JJ, FL), pp. 130–144.

ISSTA-2009-SaxenaPMS #execution #source code #symbolic computation

Loop-extended symbolic execution on binary programs (PS, PP, SM, DS), pp. 225–236.

RTA-2009-ThiemannS

Loops under Strategies (RT, CS), pp. 17–31.

TAP-2009-Gladisch #contract #invariant #question

Could We Have Chosen a Better Loop Invariant or Method Contract? (CG), pp. 74–89.

CASE-2008-AhmadVB #design

Controller design for a closed-loop scanning tunneling microscope (IA, AV, GB), pp. 971–976.

DAC-2008-DasikaDFMB #using

DVFS in loop accelerators using BLADES (GSD, SD, KF, SAM, DMB), pp. 894–897.

DATE-2008-KwonHYMCE #communication

An Open-Loop Flow Control Scheme Based on the Accurate Global Information of On-Chip Communication (WCK, SMH, SY, BM, KMC, SKE), pp. 1244–1249.

DATE-2008-XueSSQ #clustering #constraints #effectiveness #memory management #scheduling

Effective Loop Partitioning and Scheduling under Memory and Register Dual Constraints (CJX, EHMS, ZS, MQ), pp. 1202–1207.

VLDB-2008-LeeZ #query

Closing the query processing loop in Oracle 11g (AWL, MZ), pp. 1368–1378.

ITiCSE-2008-EagleB #array #education #game studies

Wu’s castle: teaching arrays and loops in a game (ME, TB), pp. 245–249.

TACAS-2008-Kovacs #algebra #reasoning

Reasoning Algebraically About P-Solvable Loops (LK), pp. 249–264.

SAS-2008-PredaGV

Hiding Software Watermarks in Loop Structures (MDP, RG, EV), pp. 174–188.

SFM-2008-BarbutiCMMP #calculus #sequence

The Calculus of Looping Sequences (RB, GC, AMS, PM, GP), pp. 387–423.

ICEIS-DISI-2008-MangisengiH #framework #towards

Towards a Closed-Loop Business Intelligence Framework (OM, NTH), pp. 210–217.

CIKM-2008-YangCNZW #comprehension

Closing the loop in webpage understanding (CY, YC, ZN, JZ, JRW), pp. 1397–1398.

KR-2008-ChenJL

Computing Loops with at Most One External Support Rule (XC, JJ, FL), pp. 401–410.

KR-2008-LeeM #on the

On Loop Formulas with Variables (JL, YM), pp. 444–453.

KR-2008-MagnussonD #deduction #induction

Deductive Planning with Inductive Loops (MM, PD), pp. 528–534.

SEKE-2008-MiliAN #algorithm

An Algorithm for Computing Loop Functions (AM, SA, CN), pp. 448–453.

SAC-2008-PereiraAGS #architecture #configuration management #hybrid #using

Using traditional loop unrolling to fit application on a new hybrid reconfigurable architecture (MMP, SRFdA, BCdO, ISS), pp. 1552–1553.

SAC-2008-YamamotoOR #information management #interactive

Including the user in the knowledge discovery loop: interactive itemset-driven rule extraction (CHY, MCFO, SOR), pp. 1212–1217.

CGO-2008-KetterlinC #data access #predict #recognition

Prediction and trace compression of data access addresses through nested loop recognition (AK, PC), pp. 94–103.

HPCA-2008-ZhongMLM #parallel

Uncovering hidden loop level parallelism in sequential applications (HZ, MM, SAL, SAM), pp. 290–301.

HPDC-2008-WangWG #named #network #performance

XenLoop: a transparent high performance inter-vm network loopback (JW, KLW, KG), pp. 109–118.

LCTES-2008-BachirTC

Post-pass periodic register allocation to minimise loop unrolling degree (MB, SAAT, AC), pp. 141–150.

LCTES-2008-WangYXDYTN #optimisation

Optimizing scientific application loops on stream processors (LW, XY, JX, YD, XY, TT, QHN), pp. 161–170.

RTA-2008-ThiemannGS

Deciding Innermost Loops (RT, JG, PSK), pp. 366–380.

CASE-2007-GuHTY #automation

Hardware-In-The-Loop for Manufacturing Automation Control: Current Status and Identified Needs (FG, WSH, DMT, CY), pp. 1105–1110.

CASE-2007-LiZL #multi

Semiconductor system with multiple closed-loops constrains (NL, LZ, QLL), pp. 484–488.

DAC-2007-ChanZ #modelling

Modeling Simultaneous Switching Noise-Induced Jitter for System-on-Chip Phase-Locked Loops (HHYC, ZZ), pp. 430–435.

DAC-2007-KangKR #design #power management #using

Variation Resilient Low-Power Circuit Design Methodology using On-Chip Phase Locked Loop (KK, KK, KR), pp. 934–939.

DATE-2007-BarajasCCMGCBI #behaviour #interactive #modelling #optimisation

Interactive presentation: Behavioral modeling of delay-locked loops and its application to jitter optimization in ultra wide-band impulse radio systems (EB, RC, DC, DM, JLG, IC, SB, MI), pp. 1430–1435.

DATE-2007-KandemirYSO #memory management #scheduling

Memory bank aware dynamic loop scheduling (MTK, TY, SWS, ÖÖ), pp. 1671–1676.

DATE-2007-KurraSP #synthesis

The impact of loop unrolling on controller delay in high level synthesis (SK, NKS, PRP), pp. 391–396.

PLDI-2007-RenganarayananKRS #for free

Parameterized tiled loops for free (LR, DK, SVR, MMS), pp. 405–414.

SAS-2007-WeiMZC #algorithm #decompiler #identification

A New Algorithm for Identifying Loops in Decompilation (TW, JM, WZ, YC), pp. 170–183.

POPL-2007-Malacaria #security

Assessing security threats of looping constructs (PM), pp. 225–235.

CC-2007-NagarakatteG #integer #linear #pipes and filters #programming #scheduling #using

Register Allocation and Optimal Spill Code Scheduling in Software Pipelined Loops Using 0-1 Integer Linear Programming Formulation (SGN, RG), pp. 126–140.

CGO-2007-BarthouDCDJ #compilation #composition #kernel #optimisation #using

Loop Optimization using Hierarchical Compilation and Kernel Decomposition (DB, SD, PC, AD, WJ), pp. 170–184.

HPDC-2007-DamevskiSP #component #design #distributed #framework #named #scalability

CCALoop: scalable design of a distributed component framework (KD, ADS, SGP), pp. 213–214.

PPoPP-2007-BondhugulaRS #automation

Automatic mapping of nested loops to FPGAS (UB, JR, PS), pp. 101–111.

CAV-2007-BallKS #abstraction

Leaping Loops in the Presence of Abstraction (TB, OK, MS), pp. 491–503.

DATE-2006-RaghavanLJCV #architecture #distributed #multi #thread

Distributed loop controller architecture for multi-threading in uni-threaded VLIW processors (PR, AL, MJ, FC, DV), pp. 339–344.

DATE-2006-YavariSR06a

Double-sampling single-loop sigma-delta modulator topologies for broadband applications (MY, OS, ÁRV), pp. 399–404.

CIKM-2006-HeL

Cache-oblivious nested-loop joins (BH, QL), pp. 718–727.

ICML-2006-HolmesJ

Looping suffix tree-based inference of partially observable hidden state (MPH, CLIJ), pp. 409–416.

KR-2006-ChenLWZ #first-order #logic programming #source code

First-Order Loop Formulas for Normal Logic Programs (YC, FL, YW, MZ), pp. 298–307.

CC-2006-AshbyO

Iterative Collective Loop Fusion (TJA, MFPO), pp. 202–216.

CC-2006-HammondL #bytecode #java #optimisation

Loop Transformations in the Ahead-of-Time Optimization of Java Bytecode (SH, DL), pp. 109–123.

CAV-2006-JainIGSW #abstraction #invariant #refinement #using

Using Statically Computed Invariants Inside the Predicate Abstraction and Refinement Loop (HJ, FI, AG, IS, CW), pp. 137–151.

CAV-2006-KroeningW #abstraction

Counterexamples with Loops for Predicate Abstraction (DK, GW), pp. 152–165.

DATE-2005-KavvadiasN #embedded #hardware

Hardware Support for Arbitrarily Complex Loop Structures in Embedded Applications (NK, SN), pp. 1060–1061.

DATE-2005-LiuFYO #analysis #correlation #graph #modelling

Hierarchical Variance Analysis for Analog Circuits Based on Graph Modelling and Correlation Loop Tracing (FL, JJF, DVY, SO), pp. 126–131.

DATE-2005-MilevB #analysis

A Tool and Methodology for AC-Stability Analysis of Continuous-Time Closed-Loop Systems (MM, RB), pp. 204–208.

DATE-2005-ShrivastavaDNE #embedded #framework #named

PBExplore: A Framework for Compiler-in-the-Loop Exploration of Partial Bypassing in Embedded Processors (AS, NDD, AN, EE), pp. 1264–1269.

ICDAR-2005-PervouchineLM

Three-stage Handwriting Stroke Extraction Method with Hidden Loop Recovery (VP, GL, KM), pp. 307–311.

PLDI-2005-FranchettiVP

Formal loop merging for signal transforms (FF, YV, MP), pp. 315–326.

PLDI-2005-RongDG #multi #pipes and filters

Register allocation for software pipelined multi-dimensional loops (HR, AD, GRG), pp. 154–167.

SAS-2005-ChenKK #execution #memory management #reliability

Memory Space Conscious Loop Iteration Duplication for Reliable Execution (GC, MTK, MK), pp. 52–69.

ICFP-2005-Shivers

The anatomy of a loop: a story of scope and control (OS), pp. 2–14.

IFL-2005-GrelckHS #locality #parallel

With-Loop Fusion for Data Locality and Parallelism (CG, KH, SBS), pp. 178–195.

COCV-J-2005-HuBGP #optimisation #validation

Validating More Loop Optimizations (YH, CWB, BG, AP), pp. 69–84.

LICS-2005-Goris

Looping Caterpillars (EG, MM), pp. 51–60.

DATE-v1-2004-GuptaDGN #control flow #design #synthesis

Loop Shifting and Compaction for the High-Level Synthesis of Designs with Complex Control Flow (SG, ND, RG, AN), pp. 114–121.

DATE-v2-2004-MillbergNTJ #network #using

Guaranteed Bandwidth Using Looped Containers in Temporally Disjoint Networks within the Nostrum Network on Chip (MM, EN, RT, AJ), pp. 890–895.

WCRE-2004-HuHHB #slicing

Loop Squashing Transformations for Amorphous Slicing (LH, MH, RMH, DB), pp. 152–160.

SEFM-2004-HuBG #algorithm #generative #optimisation #validation

Theory and Algorithms for the Generation and Validation of Speculative Loop Optimizations (YH, CWB, BG), pp. 281–289.

ICPR-v4-2004-LeeNG #automation #detection

Automated Detection of Solar Loops by the Oriented Connectivity Method (JKL, TSN, GAG), pp. 315–318.

POPL-2004-SankaranarayananSM #generative #invariant #using

Non-linear loop invariant generation using Gröbner bases (SS, HS, ZM), pp. 318–329.

SAC-2004-GoumasDAK #automation #code generation #parallel

Automatic parallel code generation for tiled nested loops (GIG, ND, MA, NK), pp. 1412–1419.

SAC-2004-Wang

The loop fallacy and serialization in tracing intrusion connections through stepping stones (XW), pp. 404–411.

CGO-2004-RongDGG #code generation #multi #pipes and filters

Code Generation for Single-Dimension Software Pipelining of Multi-Dimensional Loops (HR, AD, RG, GRG), pp. 175–188.

CGO-2004-RongTGDG #multi #pipes and filters

Single-Dimension Software Pipelining for Multi-Dimensional Loops (HR, ZT, RG, AD, GRG), pp. 163–174.

CGO-2004-TallamZG #bound #profiling

Extending Path Profiling across Loop Backedges and Procedure Boundaries (ST, XZ, RG), pp. 251–264.

HPCA-2004-KalogeropulosRRST

Processor Aware Anticipatory Prefetching in Loops (SK, MR, VR, YS, PT), pp. 106–117.

DAC-2003-LauP #algorithm #design #using

Fractional-N frequency synthesizer design at the transfer function level using a direct closed loop realization algorithm (CYL, MHP), pp. 526–531.

DATE-2003-BurbidgeTR #automation #embedded #monitoring

Techniques for Automatic On Chip Closed Loop Transfer Function Monitoring For Embedded Charge Pump Phase Locked Loops (MJB, JT, AR), pp. 10496–10503.

DATE-2003-EberleVWDGM #automation #behaviour #modelling #simulation

Behavioral Modeling and Simulation of a Mixed Analog/Digital Automatic Gain Control Loop in a 5 GHz WLAN Receiver (WE, GV, PW, SD, GGEG, HDM), pp. 10642–10649.

DATE-2003-FalkM #control flow #source code

Control Flow Driven Splitting of Loop Nests at the Source Code Level (HF, PM), pp. 10410–10415.

DATE-2003-MeiVVML #architecture #configuration management #parallel #scheduling #using

Exploiting Loop-Level Parallelism on Coarse-Grained Reconfigurable Architectures Using Modulo Scheduling (BM, SV, DV, HDM, RL), pp. 10296–10301.

DATE-2003-VanasscheGS #analysis #detection #domain model #modelling

Time-Varying, Frequency-Domain Modeling and Analysis of Phase-Locked Loops with Sampling Phase-Frequency Detectors (PV, GGEG, WMCS), pp. 10238–10243.

FASE-2003-SharyginaB #abstraction #model checking

Model Checking Software via Abstraction of Loop Transitions (NS, JCB), pp. 325–340.

SCAM-2003-Martel #clustering #static analysis

Improving the Static Analysis of Loops by Dynamic Partitioning Techniques (MM), pp. 13–21.

SAS-2003-UnnikrishnanCKKK #requirements

Loop Transformations for Reducing Data Space Requirements of Resource-Constrained Applications (PU, GC, MTK, MK, IK), pp. 383–400.

IFL-2003-GrelckST #array

With-Loop Scalarization — Merging Nested Array Operations (CG, SBS, KT), pp. 118–134.

CC-2003-TouatiE #pipes and filters

Early Control of Register Pressure for Software Pipelined Loops (SAAT, CE), pp. 17–32.

LCTES-2003-LeeCD #algorithm #architecture #configuration management

An algorithm for mapping loops onto coarse-grained reconfigurable architectures (JeL, KC, NDD), pp. 183–188.

CADE-2003-GaillourdetHLS

The New WALDMEISTER Loop at Work (JMG, TH, BL, HS), pp. 317–321.

CADE-2003-HladikS #automaton #logic

A Translation of Looping Alternating Automata into Description Logics (JH, US), pp. 90–105.

ICLP-2003-LeeL #logic programming #source code

Loop Formulas for Disjunctive Logic Programs (JL, VL), pp. 451–465.

DAC-2002-KadayifKK #adaptation #energy #parallel

An energy saving strategy based on adaptive loop parallelization (IK, MTK, MK), pp. 195–200.

DATE-2002-AchterenDCL #reuse

Data Reuse Exploration Techniques for Loop-Dominated Application (TVA, GD, FC, RL), pp. 428–435.

DATE-2002-DuarteVI #power management

A Complete Phase-Locked Loop Power Consumption Model (DD, NV, MJI), p. 1108.

SAS-2002-Martel #static analysis

Static Analysis of the Numerical Stability of Loops (MM), pp. 133–150.

AdaEurope-2002-Amey #analysis #design

Closing the Loop: The Influence of Code Analysis on Design (PA), pp. 151–162.

SAC-2002-GoumasAK #architecture #automation #code generation #parallel

Automatic code generation for executing tiled nested loops onto parallel architectures (GIG, MA, NK), pp. 876–881.

CC-2002-KandemirKK #energy #memory management #multi #optimisation

Influence of Loop Optimizations on Energy Consumption of Multi-bank Memory Systems (MTK, IK, IK), pp. 276–292.

CC-2002-MikheevFSL #effectiveness #java #version control

Effective Enhancement of Loop Versioning in Java (VVM, SAF, VVS, NVL), pp. 293–306.

HPCA-2002-BorchTME

Loose Loops Sink Chips (EB, ET, SM, JSE), pp. 299–310.

LCTES-SCOPES-2002-QianCS #architecture #clustering

Loop fusion for clustered VLIW architectures (YQ, SC, PHS), pp. 112–119.

CADE-2002-HillenbrandL

The Next W ALDMEISTER Loop (TH, BL), pp. 486–500.

ICLP-2002-Schimpf #logic

Logical Loops (JS), pp. 224–238.

RTA-2002-Geser #string

Loops of Superexponential Lengths in One-Rule String Rewriting (AG), pp. 267–280.

DAC-2001-Bondalapati #architecture #configuration management #using

Parallelizing DSP Nested Loops on Reconfigurable Architectures using Data Context Switching (KB), pp. 273–276.

DAC-2001-RamanujamHKN #embedded #memory management #requirements

Reducing Memory Requirements of Nested Loops for Embedded Systems (JR, JH, MTK, AN), pp. 359–364.

TACAS-2001-BergJ #compilation #java #ml

The LOOP Compiler for Java and JML (JvdB, BJ), pp. 299–312.

PLDI-2001-ChatterjeePHL #analysis #behaviour

Exact Analysis of the Cache Behavior of Nested Loops (SC, EP, PJH, ARL), pp. 286–297.

LSO-2001-LewerentzRS #development #feedback #metric

A Model for Analyzing Measurement Based Feedback Loops in Software Development Projects (CL, HR, FS), pp. 135–151.

CC-2001-MuthukumarD #pipes and filters

Software Pipelining of Nested Loops (KM, GD), pp. 165–181.

CC-2001-YunKM #control flow #pipes and filters #towards

A First Step Towards Time Optimal Software Pipelining of Loops with Control Flows (HSY, JK, SMM), pp. 182–199.

LCTES-OM-2001-GranstonSZ #architecture #pipes and filters

Software Pipelining Irregular Loops on the TMS320C6000 VLIW DSP Architecture (EDG, ES, JZ), pp. 138–144.

LCTES-OM-2001-HuangCS #architecture

Loop Transformations for Architectures with Partitioned Register Banks (XH, SC, PHS), pp. 48–55.

PPoPP-2001-LimLL #array #clustering #using

Blocking and array contraction across arbitrarily nested loops using affine partitioning (AWL, SWL, MSL), pp. 103–112.

DAC-2000-WangKS #clustering #latency #memory management #scheduling

Optimal two level partitioning and loop scheduling for hiding memory latency for DSP applications (ZW, MK, EHMS), pp. 540–545.

DATE-2000-GouraryRUZGM #approach

A New Approach for Computation of Timing Jitter in Phase Locked Loops (MMG, SGR, SLU, MMZ, KKG, BJM), pp. 345–349.

VLDB-2000-WuFSP #adaptation #feedback #named #retrieval

FALCON: Feedback Adaptive Loop for Content-Based Retrieval (LW, CF, KPS, TRP), pp. 297–306.

PLDI-2000-Ramalingam #on the

On loops, dominators, and dominance frontier (GR), pp. 233–241.

PLDI-2000-YiAK #memory management #multi #recursion

Transforming loops to recursion for multi-level memory hierarchies (QY, VSA, KK), pp. 169–181.

PLDI-2000-ZalameaLAV #code generation #pipes and filters

Improved spill code generation for software pipelined loops (JZ, JL, EA, MV), pp. 134–144.

CIAA-2000-FarreG #parsing

A Basis for Looping Extensions to Discriminating-Reverse Parsing (JF, JFG), pp. 122–134.

ASPLOS-2000-GibsonKOH #simulation

FLASH vs. (Simulated) FLASH: Closing the Simulation Loop (JG, RK, DO, MH), pp. 49–58.

CC-2000-UhWWJBC #effectiveness

Techniques for Effectively Exploiting a Zero Overhead Loop Buffer (GRU, YW, DBW, SJ, CB, VC), pp. 157–172.

CC-2000-WangTP #framework #memory management

A Framework for Loop Distribution on Limited On-Chip Memory Processors (LW, WT, SP), pp. 141–156.

OSDI-2000-KimCKNMCK

A Low-Overhead, High-Performance Unified Buffer Management Scheme That Exploits Sequential and Looping References (JMK, JC, JK, SHN, SLM, YC, CSK), pp. 119–134.

DAC-1999-KaulVGO #approach #automation #clustering #configuration management #synthesis

An Automated Temporal Partitioning and Loop Fission Approach for FPGA Based Reconfigurable Synthesis of DSP Applications (MK, RV, SG, IO), pp. 616–622.

DAC-1999-ZhaoM #array #estimation #memory management

Exact Memory Size Estimation for Array Computations without Loop Unrolling (YZ, SM), pp. 811–816.

ITiCSE-1999-Siegel #infinity #why

Why do fools fall into infinite loops: singing to your computer science class (EVS), pp. 167–170.

FM-v2-1999-HehnerG #refinement #semantics

Refinement Semantics and Loop Rules (ECRH, AMG), pp. 1497–1510.

IFL-1999-GrelckKS #code generation #multi #on the

On Code Generation for Multi-generator WITH-Loops in SAC (CG, DK, SBS), pp. 77–94.

HCI-EI-1999-PlachW #feedback #usability #user interface

Improving the Usability of User Interfaces by Supporting the Anticipation Feedback Loop (MP, DW), pp. 256–260.

HCI-EI-1999-Sokolov #biology #education #feedback

Computer Assisted Education with Cognitive and Biological Feedback Loops (ES), pp. 834–837.

CC-1999-PatelR #implementation #parallel #runtime

Implementation Issues of Loop-Level Speculative Run-Time Parallelization (DP, LR), pp. 183–197.

HPCA-1999-ZhangRT #hardware #parallel

Hardware for Speculative Parallelization of Partially-Parallel Loops in DSM Multiprocessors (YZ, LR, JT), pp. 135–139.

LCTES-1999-UhWWJBC #effectiveness

Effective Exploitation of a Zero Overhead Loop Buffer (GRU, YW, DBW, SJ, CB, VC), pp. 10–19.

DATE-1998-MesmanSTMJ #approach #constraints #pipes and filters

A Constraint Driven Approach to Loop Pipelining and Register Binding (BM, MTJS, AHT, JLvM, JAGJ), pp. 377–383.

WCRE-1998-Balmas #c #roadmap

Outlining C Loops: Preliminary Results and Trends (FB), pp. 115–124.

IFL-1998-Scholz #benchmark #case study #metric

A Case Study: Effects of WITH-Loop-Folding on the NAS Benchmark MG in SAC (SBS), pp. 216–228.

LOPSTR-1998-SmausHK #fault #logic programming #multi #source code #using

Preventing Instantiation Errors and Loops for Logic Programs with Multiple Modes Using block Declarations (JGS, PMH, AK), pp. 289–307.

ASPLOS-1998-StroutCFS #independence

Schedule-Independent Storage Mapping for Loops (MMS, LC, JF, BS), pp. 24–33.

CC-1998-LelaitGE #algorithm #performance

A New Fast Algorithm for Optimal Register Allocation in Modulo Scheduled Loops (SL, GRG, CE), pp. 204–218.

CC-1998-MartinAWF #analysis

Analysis of Loops (FM, MA, RW, CF), pp. 80–94.

HPCA-1998-TubellaG #detection #parallel #thread

Control Speculation in Multithreaded Processors through Dynamic Loop Detection (JT, AG), pp. 14–23.

DAC-1997-KimC #synthesis #using

Power-conscious High Level Synthesis Using Loop Folding (DK, KC), pp. 441–445.

ICALP-1997-BeaudryLT #finite

Finite Loops Recognize Exactly the Regular Open Languages (MB, FL, DT), pp. 110–120.

ICALP-1997-Fokkink #algebra #axiom #process

Axiomatizations for the Perpetual Loop in Process Algebra (WF), pp. 571–581.

IFL-1997-Scholz #array

WITH-Loop-Folding in SAC — Condensing Consecutive Array Operations (SBS), pp. 72–91.

HCI-SEC-1997-Johannesson #distance #workflow

Action Workflow Loops in Distance Education-Design Principles for Integrating CAL and CMC (PJ), pp. 185–188.

HCI-SEC-1997-SoFTSY #approach #case study #database #development #distributed

A Closed-Loop Approach for Integrating Human Factors into Systems Development: A Case Study Involving a Distributed Database System (RHYS, CMF, MMT, CJS, BPY), pp. 517–520.

PLILP-1997-HerrmannL #parallel

Transformation of Divide & Conquer to Nested Parallel Loops (CAH, CL), pp. 95–109.

SAC-1997-SongL #performance #predict #scheduling

Performance prediction based loop scheduling for heterogeneous computing environment (YS, WML), pp. 413–421.

CSCW-1996-WattsWCPKH

Voice Loops as Cooperative Aids in Space Shuttle Mission Control (JCW, DDW, JMC, ESP, RLK, LCH), pp. 48–56.

ICPR-1996-KanungoH #approach #automation #documentation #generative

Automatic generation of character groundtruth for scanned documents: a closed-loop approach (TK, RMH), pp. 669–675.

ICPR-1996-PengB #learning #recognition

Delayed reinforcement learning for closed-loop object recognition (JP, BB), pp. 310–314.

ASPLOS-1996-McKinleyT #analysis #locality

A Quantitative Analysis of Loop Nest Locality (KSM, OT), pp. 94–104.

CC-1996-DavidsonJ #compilation #optimisation

Aggressive Loop Unrolling in a Retargetable Optimizing Compiler (JWD, SJ), pp. 59–73.

CC-1996-WangG #named #pipes and filters

Pipelining-Dovetailing: A Transformation to Enhance Software Pipelining for Nested Loops (JW, GRG), pp. 1–17.

ICDAR-v2-1995-AbuhaibaDH95a #approximate #documentation

Processing of text documents: straight line approximation and lost loop recovery (ISIA, SD, MJJH), pp. 1157–1160.

PLDI-1995-RauchwergerP #parallel #reduction #runtime

The LRPD Test: Speculative Run-Time Parallelization of Loops with Privatization and Reduction Parallelization (LR, DAP), pp. 218–232.

SAC-1995-Palm #fuzzy

Fuzzy signals in control loops (RP), pp. 455–460.

HPDC-1995-CierniakLZ #scheduling

Loop Scheduling for Heterogeneity (MC, WL, MJZ), pp. 78–85.

PPoPP-1995-GhuloumF

Flattening and Parallelizing Irregular, Recurrent Loop Nests (AMG, ALF), pp. 58–67.

DAC-1994-BhattacharyaDB94a #analysis #optimisation #performance #specification

Performance Analysis and Optimization of Schedules for Conditional and Loop-Intensive Specifications (SB, SD, FB), pp. 491–496.

DAC-1994-PassosSB #multi #pipes and filters #scheduling

Loop Pipelining for Scheduling Multi-Dimensional Systems via Rotation (NLP, EHMS, SCB), pp. 485–490.

VLDB-1994-SteenhagenABB #query

From Nested-Loop to Join Queries in OODB (HJS, PMGA, HMB, RAdB), pp. 618–629.

CC-1994-SlowikPP #compilation

Compiling Nested Loops for Limited Connectivity VLIWs (AS, GP, PP), pp. 143–157.

DAC-1993-ChaoLS #algorithm #pipes and filters #scheduling

Rotation Scheduling: A Loop Pipelining Algorithm (LFC, ASL, EHMS), pp. 566–572.

ICDAR-1993-KimSK #diagrams #identification #logic #recognition

Recognition of logic diagrams by identifying loops and rectilinear polylines (SHK, JWS, JHK), pp. 349–352.

FPCA-1993-Ang #data flow #implementation #performance

Efficient Implementation of Sequential Loops in Dataflow Computation (BSA), pp. 169–178.

ICML-1993-DanylukP #fault #learning #network

Small Disjuncts in Action: Learning to Diagnose Errors in the Local Loop of the Telephone Network (APD, FJP), pp. 81–88.

DAC-1992-JohnsonR #feedback #parallel

Parallel Waveform Relaxation of Circuits with Global Feedback Loops (TAJ, AER), pp. 12–15.

SIGMOD-1992-LieuwenD #approach #database #optimisation #programming language

A Transformation-Based Approach to Optimizing Loops in Database Programming Languages (DFL, DJD), pp. 91–100.

PLDI-1992-HanxledenK #constraints #control flow #using

Relaxing SIMD Control Flow Constraints using Loop Transformations (RvH, KK), pp. 188–199.

PLDI-1992-RauLTS #pipes and filters

Register Allocation for Software Pipelined Loops (BRR, ML, PPT, MSS), pp. 283–299.

PLDI-1992-SarkarT #framework

A General Framework for Iteration-Reordering Loop Transformations (VS, RT), pp. 175–187.

TRI-Ada-C-1992-FayadHRST #development #object-oriented #simulation

Hardware-In-the-Loop (HIL) Simulation: An Application of Colbert’s Object-Oriented Software Development Method (MF, LJH, MAR, JWS, WTT), pp. 176–188.

KR-1992-Davis #finite #infinity

Infinite Loops in Finite Time: Some Observations (ED), pp. 47–58.

ASPLOS-1992-LiP #compilation #normalisation

Access Normalization: Loop Restructuring for NUMA Compilers (WL, KP), pp. 285–295.

DAC-1991-HwangHL #functional #pipes and filters #scheduling

Scheduling for Functional Pipelining and Loop Winding (CTH, YCH, YLL), pp. 764–769.

PLDI-1991-GaoWN #petri net #scheduling

A Timed Petri-Net Model for Fine-Grain Loop Scheduling (GRG, YBW, QN), pp. 204–218.

PPoPP-1991-AncourtI

Scanning Polyhedra with DO Loops (CA, FI), pp. 39–50.

PPoPP-1991-Lu #framework

A Unified Framework for Systemic Loop Transformation (LCL), pp. 28–38.

TAV-1991-GuptaS #approach #detection #performance #runtime

Loop Monotonic Computations: An Approach for the Efficient Run-Time Detection of Races (RG, MS), pp. 98–111.

VLDB-1990-KuittinenNSS #bottom-up #evaluation #implementation #logic #performance #query

Efficient Implementation of Loops in Bottom-Up Evaluation of Logic Queries (JK, ON, SS, ESS), pp. 372–379.

CSL-1990-Szabo #automation #deduction #on the

On the Tracking of Loops in Automated Deductions (MES), pp. 366–388.

NACLP-1990-Bol #performance #towards

Towards More Efficient Loop Checks (RNB), pp. 465–479.

DAC-1989-GoossensVM #optimisation #scheduling

Loop Optimization in Register-Transfer Scheduling for DSP-Systems (GG, JV, HDM), pp. 826–831.

DAC-1989-OdentCM #feedback #implementation #multi #scalability

Feedback Loops and Large Subcircuits in the Multiprocessor Implementation of a Relaxation Based Circuit Simulator (PO, LJMC, HDM), pp. 25–30.

ASPLOS-1989-DehnertHB

Overlapped Loop Support in the Cydra 5 (JCD, PYTH, JPB), pp. 26–38.

ESOP-1988-AikenN #parallel #pipes and filters

Perfect Pipelining: A New Loop Parallelization Technique (AA, AN), pp. 221–235.

PLDI-1988-AikenN #parallel

Optimal Loop Parallelization (AA, AN), pp. 308–317.

PLDI-1988-Debray #logic programming #optimisation #source code

Unfold/Fold Transformations and Loop Optimization of Logic Programs (SKD), pp. 297–307.

CSL-1988-BuningLS #detection #prolog #source code

Loop Detection in Propositional Prolog Programs (HKB, UL, SS), pp. 148–165.

OOPSLA-1987-KempfHDS #experience

Experience with CommonLoops (JK, WH, RD, AS), pp. 214–226.

RTA-1987-Purdom #detection

Detecting Looping Simplifications (PWPJ), pp. 54–61.

OOPSLA-1986-BobrowKKMSZ #lisp #named #object-oriented #programming

CommonLoops: Merging Lisp and Object-Oriented Programming (DGB, KMK, GK, LM, MS, FZ), pp. 17–29.

SCC-1984-AllenK #automation

Automatic loop interchange (JRA, KK), pp. 233–246.

Best-of-PLDI-1984-AllenK #automation

Automatic loop interchange (with retrospective) (RA, KK), pp. 75–90.

POPL-1984-Waters

Expressional Loops (RCW), pp. 1–10.

POPL-1983-Wand #combinator #compilation

Loops in Combinator-Based Compilers (MW), pp. 190–196.

ICSE-1982-Mili

A Closer Look at Iteration: The Self Stabilizing Capability of Loops (AM), pp. 48–57.

STOC-1981-Streett #logic

Propositional Dynamic Logic of Looping and Converse (RSS), pp. 375–383.

POPL-1977-Lewis #equivalence #problem

The Equivalence Problem for Program Schemata with Nonintersecting Loops (HRL), pp. 253–266.

POPL-1975-FongKU #algebra #optimisation

Application of Lattice Algebra to Loop Optimization (ACF, JBK, JDU), pp. 1–9.

STOC-1971-Constable

Loop Schemata (RLC), pp. 24–39.