BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
loop (6)
sat (2)
memori (2)
applic (2)
comput (2)

Stem unrol$ (all stems)

14 papers:

DATEDATE-2015-CilardoG #clustering #memory management #multi
Interplay of loop unrolling and multidimensional memory partitioning in HLS (AC, LG), pp. 163–168.
A Time-Unrolling Method to Compute Sensitivity of Dynamic Systems (FL, PF), p. 6.
TAPTAP-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.
DACDAC-2012-CheC #embedded #manycore
Unrolling and retiming of stream applications onto embedded multicore processors (WC, KSC), pp. 1272–1277.
VMCAIVMCAI-2011-Bradley #model checking #satisfiability
SAT-Based Model Checking without Unrolling (ARB), pp. 70–87.
SACSAC-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.
Post-pass periodic register allocation to minimise loop unrolling degree (MB, SAAT, AC), pp. 141–150.
DATEDATE-2007-KurraSP #synthesis
The impact of loop unrolling on controller delay in high level synthesis (SK, NKS, PRP), pp. 391–396.
IJCARIJCAR-2006-ReeberH #satisfiability #subclass
A SAT-Based Decision Procedure for the Subclass of Unrollable List Formulas in ACL2 (SULFA) (ER, WAHJ), pp. 453–467.
CGOCGO-2005-StephensonA #classification #predict #using
Predicting Unroll Factors Using Supervised Classification (MS, SPA), pp. 123–134.
DACDAC-1999-ZhaoM #array #estimation #memory management
Exact Memory Size Estimation for Array Computations without Loop Unrolling (YZ, SM), pp. 811–816.
VLDBVLDB-1999-LeeL #termination
Unrolling Cycles to Decide Trigger Termination (SYL, TWL), pp. 483–493.
CCCC-1996-DavidsonJ #compilation #optimisation
Aggressive Loop Unrolling in a Retargetable Optimizing Compiler (JWD, SJ), pp. 59–73.
Unrolling Lists (ZS, JHR, AWA), pp. 185–195.

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.