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:
optim (7)
navig (3)
generat (3)
automat (3)
map (2)

Stem peephol$ (all stems)

16 papers:

PLDIPLDI-2015-LopesMNR #optimisation
Provably correct peephole optimizations with alive (NPL, DM, SN, JR), pp. 22–32.
CHICHI-2015-MullerRJR #comparison #navigation
An Experimental Comparison of Vertical and Horizontal Dynamic Peephole Navigation (JM, RR, HCJ, HR), pp. 1523–1526.
CHICHI-2014-RadleJMR #navigation #performance
Bigger is not always better: display size, performance, and task load during peephole map navigation (RR, HCJ, JM, HR), pp. 4127–4136.
CHICHI-2013-KaufmannA #interactive #memory management #navigation #performance
Studying spatial memory and map navigation performance on projector phones with peephole interaction (BK, DA), pp. 3173–3176.
TACASTACAS-2008-WangYKG #partial order #reduction
Peephole Partial Order Reduction (CW, ZY, VK, AG), pp. 382–396.
CHICHI-2008-CaoLB #modelling
Peephole pointing: modeling acquisition of dynamically revealed targets (XC, JJL, RB), pp. 1699–1708.
OSDIOSDI-2008-BansalA #using
Binary Translation Using Peephole Superoptimizers (SB, AA), pp. 177–192.
ASPLOSASPLOS-2006-BansalA #automation #generative
Automatic generation of peephole superoptimizers (SB, AA), pp. 394–403.
CHICHI-2003-Yee03a #interactive
Peephole displays: pen interaction on spatially aware handheld computers (KPY), pp. 1–8.
DACDAC-2002-ChelceaN #optimisation #scalability
Resynthesis and peephole transformations for the optimization of large-scale asynchronous systems (TC, SMN), pp. 405–410.
FMFME-1997-DoldHPR #optimisation #verification
Formal Verification of Transformations for Peephole Optimization (AD, FWvH, HP, HR), pp. 459–472.
ICMLML-1992-Catlett #named
Peepholing: Choosing Attributes Efficiently for Megainduction (JC), pp. 49–54.
PLDISCC-1984-DavidsonF #automation #generative #optimisation
Automatic generation of peephole optimizations (JWD, CWF), pp. 111–116.
PLDISCC-1984-Kessler #architecture #named
Peep: an architectural description driven peephole optimizer (RRK), pp. 106–110.
PLDIBest-of-PLDI-1984-DavidsonF #automation #generative #optimisation
Automatic generation of peephole optimizations (with retrospective) (JWD, CWF), pp. 104–111.
POPLPOPL-1979-Fraser #independence
A Compact, Machine-Independent Peephole Optimizer (CWF), pp. 1–6.

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.