14 papers:
DATE-2015-CilardoG #clustering #memory management #multi- Interplay of loop unrolling and multidimensional memory partitioning in HLS (AC, LG), pp. 163–168.
DAC-2014-LiuF- A Time-Unrolling Method to Compute Sensitivity of Dynamic Systems (FL, PF), p. 6.
TAP-2014-HilkenNGW #behaviour #comparison #modelling #ocl #uml #verification- Filmstripping and Unrolling: A Comparison of Verification Approaches for UML and OCL Behavioral Models (FH, PN, MG, RW), pp. 99–116.
- DAC-2012-CheC #embedded #manycore
- Unrolling and retiming of stream applications onto embedded multicore processors (WC, KSC), pp. 1272–1277.
VMCAI-2011-Bradley #model checking #satisfiability- SAT-Based Model Checking without Unrolling (ARB), pp. 70–87.
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.
LCTES-2008-BachirTC- Post-pass periodic register allocation to minimise loop unrolling degree (MB, SAAT, AC), pp. 141–150.
- DATE-2007-KurraSP #synthesis
- The impact of loop unrolling on controller delay in high level synthesis (SK, NKS, PRP), pp. 391–396.
IJCAR-2006-ReeberH #satisfiability #subclass- A SAT-Based Decision Procedure for the Subclass of Unrollable List Formulas in ACL2 (SULFA) (ER, WAHJ), pp. 453–467.
CGO-2005-StephensonA #classification #predict #using- Predicting Unroll Factors Using Supervised Classification (MS, SPA), pp. 123–134.
- DAC-1999-ZhaoM #array #estimation #memory management
- Exact Memory Size Estimation for Array Computations without Loop Unrolling (YZ, SM), pp. 811–816.
VLDB-1999-LeeL #termination- Unrolling Cycles to Decide Trigger Termination (SYL, TWL), pp. 483–493.
CC-1996-DavidsonJ #compilation #optimisation- Aggressive Loop Unrolling in a Retargetable Optimizing Compiler (JWD, SJ), pp. 59–73.
LFP-1994-ShaoRA- Unrolling Lists (ZS, JHR, AWA), pp. 185–195.
