## Tag #lookahead

### 18 papers:

- CSL-2017-FokkinkG #composition
- Precongruence Formats with Lookahead through Modal Decomposition (WJF, RJvG), p. 20.
- ICALP-v2-2015-Klein0 #game studies #how #infinity #question
- How Much Lookahead is Needed to Win Infinite Games? (FK, MZ), pp. 452–463.
- CSL-2015-Klein0 #game studies #what
- What are Strategies in Delay Games? Borel Determinacy for Games with Lookahead (FK, MZ), pp. 519–533.
- LATA-2011-Schluter #automaton
- Restarting Automata with Auxiliary Symbols and Small Lookahead (NS), pp. 499–510.
- CSL-2011-FridmanLZ #game studies #infinity
- Degrees of Lookahead in Context-free Infinite Games (WF, CL, MZ), pp. 264–276.
- DLT-2010-Schluter #automaton #on the
- On Lookahead Hierarchies for Monotone and Deterministic Restarting Automata with Auxiliary Symbols (NS), pp. 440–441.
- PDP-2010-BittencourtSM #algorithm #graph #scheduling #using
- DAG Scheduling Using a Lookahead Variant of the Heterogeneous Earliest Finish Time Algorithm (LFB, RS, ERMM), pp. 27–34.
- FoSSaCS-2010-HoltmannKT #game studies #infinity
- Degrees of Lookahead in Regular Infinite Games (MH, LK, WT), pp. 252–266.
- DAC-2009-ChoudhuryM #logic #optimisation #using
- Timing-driven optimization using lookahead logic circuits (MRC, KM), pp. 390–395.
- LCTES-2009-HinesPGWT #behaviour
- Guaranteeing instruction fetch behavior with a lookahead instruction fetch engine (LIFE) (SRH, YP, PG, DBW, GST), pp. 119–128.
- CIAA-2006-GalvezSF #bound #linear #parsing
- Shift-Resolve Parsing: Simple, Unbounded Lookahead, Linear Time (JFG, SS, JF), pp. 253–264.
- CAV-2006-GopanR
- Lookahead Widening (DG, TWR), pp. 452–466.
- STOC-2004-MankuNW #network #power of #random
- Know thy neighbor’s neighbor: the power of lookahead in randomized P2P networks (GSM, MN, UW), pp. 54–63.
- ICLP-2004-YouH
- Arc-Consistency + Unit Propagation = Lookahead (JHY, GH), pp. 314–328.
- SAT-2001-Berre #power of
- Exploiting the real power of unit propagation lookahead (DLB), pp. 59–80.
- ICML-1993-RagavanR #concept #learning
- Lookahead Feature Construction for Learning Hard Concepts (HR, LAR), pp. 252–259.
- PDP-1993-KalanteryWWR #network #parallel #simulation
- Exploiting lookahead in parallel simulation of SS7 telecommunication networks (NK, SCW, DRW, APR), pp. 324–329.
- DAC-1979-Foster #multi
- A “lookahead” router for multilayer printed wiring boards (JCF), pp. 486–493.