Search results for "lookahead"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
27	Ilya Levner, Vadim Bulitko, Omid Madani, Russell Greiner	Performance of Lookahead Control Policies in the Face of Abstractions and Approximations.	SARA	2002	DBLP DOI BibTeX RDF
27	Chua-Chin Wang, Po-Ming Lee, Rong-Chin Lee, Chenn-Jung Huang	A 1.25 GHz 32-bit tree-structured carry lookahead adder.	ISCAS (4)	2001	DBLP DOI BibTeX RDF
27	Chi-Hung Chi, Jun-Li Yuan	Sequential Unification and Aggressive Lookahead Mechanisms for Data Memory Accesses.	PaCT	1999	DBLP DOI BibTeX RDF
27	Dragos Lungeanu, C.-J. Richard Shi	Distributed simulation of VLSI systems via lookahead-free self-adaptive optimistic and conservative synchronization.	ICCAD	1999	DBLP DOI BibTeX RDF
27	Sae Hwan Kim, Shiu-Kai Chin	Formal Verification of Tree-Structured Carry-Lookahead Adders.	Great Lakes Symposium on VLSI	1999	DBLP DOI BibTeX RDF
27	René Michel, Martin Middendorf	An Island Model Based Ant System with Lookahead for the Shortest Supersequence Problem.	PPSN	1998	DBLP DOI BibTeX RDF
27	Richard A. Meyer, Rajive L. Bagrodia	Improving Lookahead in Parallel Wireless Network Simulation.	MASCOTS	1998	DBLP DOI BibTeX RDF
27	Hong K. Kim, Jack S. N. Jean	Parallel Optimistic Logic Simulation with Event Lookahead.	ICPP	1998	DBLP DOI BibTeX RDF
27	Fu-Chiung Cheng, Stephen H. Unger, Michael Theobald, Wen-Chung Cho	Delay-Insensitive Carry-Lookahead Adders.	VLSI Design	1997	DBLP DOI BibTeX RDF
27	Hercule Kwan, Robert Leonard Nelson Jr., Earl E. Swartzlander Jr.	Cascaded Implementation of an Iterative Inverse--Square--Root Algorithm, with Overflow Lookahead.	IEEE Symposium on Computer Arithmetic	1995	DBLP DOI BibTeX RDF
27	John P. Fishburn	A Depth-Decreasing Heuristic for Combinational Logic: Or How To Convert a Ripple-Carry Adder Into A Carry-Lookahead Adder Or Anything in-between.	DAC	1990	DBLP DOI BibTeX RDF
27	Joseph C. H. Park, Kwang-Moo Choe	Remarks on Recent Algorithms for LALR Lookahead Sets.	ACM SIGPLAN Notices	1987	DBLP DOI BibTeX RDF
27	Fred Ives	Unifying view of recent LALR(1) lookahead set algorithms.	SIGPLAN Symposium on Compiler Construction	1986	DBLP DOI BibTeX RDF
21	Bevin Thomas, Syed Sajjad Rizvi, Khaled M. Elleithy	Reducing null messages using grouping and status retrieval for a conservative discrete-event simulation system.	SpringSim	2009	DBLP DOI BibTeX RDF	null message algorithm, discrete event simulation, parallel systems, conservative algorithms
21	Shafagh Jafer, Gabriel A. Wainer	Flattened Conservative Parallel Simulator for DEVS and CELL-DEVS.	CSE (1)	2009	DBLP DOI BibTeX RDF
21	David Stynes, Kenneth N. Brown	Realtime Online Solving of Quantified CSPs.	CP	2009	DBLP DOI BibTeX RDF
21	Sujit Kumar Chakrabarti, Y. N. Srikant	Test sequence computation for regression testing of reactive systems.	ISEC	2008	DBLP DOI BibTeX RDF	NP-complete, regression testing, API, test sequence, test specification
21	Asad Waqar Malik, Shoab Ahmed Khan	Distributed Autonomous System Based Design Technique to Enhance Synchronization Productivity in Simulations.	Asia International Conference on Modelling and Simulation	2008	DBLP DOI BibTeX RDF	chandy, Misra, Bryant, simulation, design, parallel, autonomous
21	Syed Sajjad Rizvi, Khaled M. Elleithy, Aasia Riasat	A new mathematical model for optimizing the performance of parallel and discrete event simulation systems.	SpringSim	2008	DBLP DOI BibTeX RDF	null message algorithm, discrete event simulation, parallel and distributed systems
21	Graham Hughes, Tevfik Bultan	Interface grammars for modular software model checking.	ISSTA	2007	DBLP DOI BibTeX RDF	interface grammars, model checking, modular verification
21	Simon J. E. Taylor, Xiaoguang Wang 0002, Stephen John Turner, Malcolm Y. H. Low	Integrating Heterogeneous Distributed COTS Discrete-Event Simulation Packages: An Emerging Standards-Based Approach.	IEEE Trans. Syst. Man Cybern. Part A	2006	DBLP DOI BibTeX RDF
21	Robert Grimm 0001	Better extensibility through modular syntax.	PLDI	2006	DBLP DOI BibTeX RDF	extensible syntax, packrat parsing, parsing expression grammar, parser generator, module system
21	Stefano Ferretti, Marco Roccetti	AC/DC: an algorithm for cheating detection by cheating.	NOSSDAV	2006	DBLP DOI BibTeX RDF	peer-to-peer, synchronization, online games, cheating
21	José Antonio Montero, Luis Enrique Sucar	A Decision-Theoretic Video Conference System Based on Gesture Recognition.	FGR	2006	DBLP DOI BibTeX RDF
21	Andrew Gilpin, Tuomas Sandholm	Information-theoretic approaches to branching in search.	AAMAS	2006	DBLP DOI BibTeX RDF	branching heuristics, entropic branching, search, mixed-integer programming
21	Ruibing Lu, Aiqun Cao, Cheng-Kok Koh	Improving the scalability of SAMBA bus architecture.	ASP-DAC	2005	DBLP DOI BibTeX RDF
21	Jae-Hyuck Lee	Foundation for the New Algorithm Learning Pseudo-Independent Models.	ECSQARU	2005	DBLP DOI BibTeX RDF
21	Roberto Beraldi, Leonardo Querzoni, Roberto Baldoni	A Hint-Based Probabilistic Protocol for Unicast Communications in MANETs.	ICPADS (1)	2005	DBLP DOI BibTeX RDF
21	Rahul Shah 0001, Peter J. Varman, Jeffrey Scott Vitter	On competitive online read-many parallel disks scheduling.	SPAA	2005	DBLP DOI BibTeX RDF	parallel disk model, online algorithms
21	Bradford Hovinen, Wayne Eberly	A reliable block Lanczos algorithm over small finite fields.	ISSAC	2005	DBLP DOI BibTeX RDF	Lanczos algorithm, linear system solution, parallel computing, randomized algorithm, finite field, black box matrix
21	Roger Endrigo Carvalho Porto, Luciano Volcan Agostini	Project Space Exploration on the 2-D DCT Architecture of a JPEG Compressor Directed to FPGA Implementation.	DATE	2004	DBLP DOI BibTeX RDF
21	Manjunath Kudlur, Kevin Fan, Michael L. Chu, Rajiv A. Ravindran, Nathan Clark, Scott A. Mahlke	FLASH: Foresighted Latency-Aware Scheduling Heuristic for Processors with Customized Datapaths.	CGO	2004	DBLP DOI BibTeX RDF
21	Yong-Jae Kwak, So-Young Park, Joon-Ho Lim, Hae-Chang Rim	Probabilistic Shift-Reduce Parsing Model Using Rich Contextual Information.	CICLing	2004	DBLP DOI BibTeX RDF
21	Michael Benisch, Amy Greenwald, Victor Naroditskiy, Michael Carl Tschantz	A stochastic programming approach to scheduling in TAC SCM.	EC	2004	DBLP DOI BibTeX RDF	optimization, supply chain management, stochastic programming, trading agent competition
21	Rahul Shah 0001, Peter J. Varman, Jeffrey Scott Vitter	Online algorithms for prefetching and caching on parallel disks.	SPAA	2004	DBLP DOI BibTeX RDF	parallel disk model, caching, prefetching, online algorithms, I/O scheduling
21	Boon-Ping Gan, Malcolm Yoke Hean Low, Junhu Wei, Xiaoguang Wang 0002, Stephen John Turner, Wentong Cai 0001	Distributed simulation and manufacturing: synchronization and management of shared state in HLA-based distributed simulation.	WSC	2003	DBLP DOI BibTeX RDF
21	Rakesh D. Barve, Jeffrey Scott Vitter	A Simple and Efficient Parallel Disk Mergesort.	Theory Comput. Syst.	2002	DBLP DOI BibTeX RDF
21	Eric C. Reed, Jae S. Lim	Optimal multidimensional bit-rate control for video communication.	IEEE Trans. Image Process.	2002	DBLP DOI BibTeX RDF
21	Linda van Norden, Hans van Maaren	A Linear Programming Based Satisfiability Solver Using a New Horn-Driven Search Tree Design.	CP	2002	DBLP DOI BibTeX RDF
21	Jacques Farré, José Fortes Gálvez	A Bounded Graph-Connect Construction for LR-regular Parsers.	CC	2001	DBLP DOI BibTeX RDF
21	Ioannis M. Thoidis, Dimitrios Soudris, Jean-Marc Fernandez, Adonios Thanailakis	The circuit design of multiple-valued logic voltage-mode adders.	ISCAS (4)	2001	DBLP DOI BibTeX RDF
21	T. S. Jayram, Tracy Kimbrel, Robert Krauthgamer, Baruch Schieber, Maxim Sviridenko	Online server allocation in a server farm via benefit task systems.	STOC	2001	DBLP DOI BibTeX RDF
21	An-Chow Lai, Cem Fide, Babak Falsafi	Dead-block prediction & dead-block correlating prefetchers.	ISCA	2001	DBLP DOI BibTeX RDF
21	Dragos Lungeanu, C.-J. Richard Shi	Parallel and Distributed VHDL Simulation.	DATE	2000	DBLP DOI BibTeX RDF
21	Haifeng Yu, Gershon Kedem	DRAM-Page Based Prediction and Prefetching.	ICCD	2000	DBLP DOI BibTeX RDF
21	David Carmel, Shaul Markovitch	How to Explore your Opponent's Strategy (almost) Optimally.	ICMAS	1998	DBLP DOI BibTeX RDF
21	Rajeev Shorey, Anurag Kumar 0001, Kiran M. Rege	Instability and Performance Limits of Distributed Simulators of Feedforward Queueing Networks.	ACM Trans. Model. Comput. Simul.	1997	DBLP DOI BibTeX RDF
21	John G. Cleary, Jya-Jang Tsai	Performance of a Conservative Simulator of ATM Networks.	Workshop on Parallel and Distributed Simulation	1997	DBLP DOI BibTeX RDF
21	Andrew W. Appel	Intensional Equality ;=) for Continuations.	ACM SIGPLAN Notices	1996	DBLP DOI BibTeX RDF
21	Wenjian Qiao, Lionel M. Ni	Efficient processor allocation for 3D tori.	IPPS	1995	DBLP DOI BibTeX RDF	3D tori, 3D submesh, maximal free submeshes, scheduling overhead, performance, resource allocation, reconfigurable architectures, processor scheduling, processor allocation, space sharing, large scale parallel computers, Cray T3D
21	John S. Fernando, Milos D. Ercegovac	Conventional and on-line arithmetic designs for high-speed recursive digital filters.	J. VLSI Signal Process.	1994	DBLP DOI BibTeX RDF
21	Peter L. Bird, Nigel P. Topham, Sathiamoorthy Manoharan	A Comparison of Two Memory Models for High Performance Computers.	CONPAR	1992	DBLP DOI BibTeX RDF
21	Hans Leiß	On Kilbury's Modification of Earley's Algorithm.	ACM Trans. Program. Lang. Syst.	1990	DBLP DOI BibTeX RDF
18	Ahmad A. Hiasat	High-Speed and Reduced-Area Modular Adder Structures for RNS.	IEEE Trans. Computers	2002	DBLP DOI BibTeX RDF	modular adder, hardware requirements, VLSI, Computer arithmetic, Residue Number System, time delay, carry-lookahead adder
18	Daniel R. Dooly, Sally A. Goldman, Stephen D. Scott 0001	On-line analysis of the TCP acknowledgment delay problem.	J. ACM	2001	DBLP DOI BibTeX RDF	Internet traffic simulations, acknowledgment delay problem, Transmission Control Protocol (TCP), competitive analysis, lookahead
18	Anindya Datta, Kaushik Dutta, Debra E. VanderMeer, Krithi Ramamritham, Shamkant B. Navathe	An architecture to support scalable online personalization on the Web.	VLDB J.	2001	DBLP DOI BibTeX RDF	Scalable online personalization, Dynamic lookahead profile, Web site and interaction model, Behavior-based personalization, Profile caching
18	Francesco Quaglia	A State-Based Scheduling Algorithm for Time Warp Synchronization.	Annual Simulation Symposium	2000	DBLP DOI BibTeX RDF	Discrete Event Simulation, Performance Optimization, Rollback, Lookahead, Parallel and Distributed Simulation, Optimistic Synchronization, Iterative Procedures
18	Baruch Awerbuch, David Peleg	Online Tracking of Mobile Users.	J. ACM	1995	DBLP DOI BibTeX RDF	bounded packet header, bounded protocol, ideal transmission cost, non-FIFO channels, receiver-driven protocol, recoverable protocol, recovery cost, sequence transmission problem, lookahead
18	Peter Kornerup	Digit-Set Conversions: Generalizations and Application.	IEEE Trans. Computers	1994	DBLP DOI BibTeX RDF	conditional sum addition, digit set conversion, multiplier recoding, nonredundant representation, on-the-fly conversion, parallel prefix computation, carry-lookahead techniques, computer arithmetic, digital arithmetic, multiplying circuits, redundant representation
18	Rajive L. Bagrodia, Wen-Toh Liao	Maisie: A Language for the Design of Efficient Discrete-Event Simulations.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	Maisie, C-based discrete-event simulation language, simulation model/algorithm separation, sequential simulation algorithm, parallel conservative algorithm, parallel optimistic algorithm, recomputation overheads, state saving overheads, semantic rollback, lookahead optimization, interrogative simulation, optimizations, parallel algorithms, optimisation, discrete event simulation, synchronisation, distributed simulation, C language, run-time system, simulation languages, language constructs, synchronization overheads
18	Elias Koutsoupias, Christos H. Papadimitriou	Beyond Competitive Analysis	FOCS	1994	DBLP DOI BibTeX RDF	on-line decision-making, paging problem, work functions, k-server problem, server systems, visual sensors, competitive analysis, on-line algorithms, robot navigation, lookahead
18	Stamatis Vassiliadis, James Phillips, Bart Blaner	Interlock Collapsing ALU's.	IEEE Trans. Computers	1993	DBLP DOI BibTeX RDF	interlocked fixed point arithmetic logic unit, unsigned binary, binary logical operations, single instruction execution, machine cycle, architectural compatibility, parallel processing, digital arithmetic, adders, CMOS integrated circuits, CMOS technology, carry-save adder, carry-lookahead adder, two's complement
18	Barry S. Fagin	Fast Addition of Large Integers.	IEEE Trans. Computers	1992	DBLP DOI BibTeX RDF	computation time asymmetry, large integers, massively parallel algorithms, average case behavior, large n-bit additions, multiple bits, parallel algorithms, computational model, digital arithmetic, massively parallel processor, binary addition, carry-lookahead
18	Sandy Irani	Coloring Inductive Graphs On-Line	FOCS	1990	DBLP DOI BibTeX RDF	online graph colouring, First Fit algorithm, d-inductive graphs, upper bound, vertices, lookahead
18	Richard P. Brent, H. T. Kung 0001	A Regular Layout for Parallel Adders.	IEEE Trans. Computers	1982	DBLP DOI BibTeX RDF	area-time complexity, parallel addition, parallel polynomial evaluation, VLSI, models of computation, circuit design, Addition, combinational logic, prefix computation, carry lookahead
18	Daniel E. Atkins, Shauchi Ong	Time-Component Complexity of Two Approaches to Multioperand Binary Addition.	IEEE Trans. Computers	1979	DBLP DOI BibTeX RDF	time-component complexity, Adder tree, multioperand addition, carry-save adder, carry-lookahead adder, binary addition
18	Stephen H. Unger	Tree Realizations of Iterative Circuits.	IEEE Trans. Computers	1977	DBLP DOI BibTeX RDF	conditional sum, flow tables, high speed arithmetic units, iterative circuits, modular circuits, semi-groups, tree circuits, synthesis, combinational circuits, Adders, carry lookahead, binary adders
17	Feifeng Zheng, Yuhong Chen, Ming Liu, Yinfeng Xu	Semi-Online Scheduling on Two Identical Parallel Machines with Initial-Lookahead Information.	Asia Pac. J. Oper. Res.	2024	DBLP DOI BibTeX RDF
17	Honghao Wei, Zixian Yang, Xin Liu 0049, Zhiwei (Tony) Qin, Xiaocheng Tang, Lei Ying 0001	A Reinforcement Learning and Prediction-Based Lookahead Policy for Vehicle Repositioning in Online Ride-Hailing Systems.	IEEE Trans. Intell. Transp. Syst.	2024	DBLP DOI BibTeX RDF
17	Kimon Protopapas, Anas Barakat	Policy Mirror Descent with Lookahead.	CoRR	2024	DBLP DOI BibTeX RDF
17	Burle Sharma, Rakesh Mohanty, Sucheta Panda	A Note On Lookahead In Real Life And Computing.	CoRR	2024	DBLP DOI BibTeX RDF
17	Zihan Wang, Xiangyang Li 0002, Jiahao Yang, Yeqi Liu, Junjie Hu, Ming Jiang, Shuqiang Jiang	Lookahead Exploration with Neural Radiance Representation for Continuous Vision-Language Navigation.	CoRR	2024	DBLP DOI BibTeX RDF
17	Yichao Fu, Peter Bailis, Ion Stoica, Hao Zhang	Break the Sequential Dependency of LLM Inference Using Lookahead Decoding.	CoRR	2024	DBLP DOI BibTeX RDF
17	Nadav Merlis, Dorian Baudry, Vianney Perchet	The Value of Reward Lookahead in Reinforcement Learning.	CoRR	2024	DBLP DOI BibTeX RDF
17	Shoupeng Ren, Tianyu Tu, Jian Liu, Di Wu, Kui Ren 0001	LookAhead: Preventing DeFi Attacks via Unveiling Adversarial Contracts.	CoRR	2024	DBLP DOI BibTeX RDF
17	Harold Silvère Kiossou, Pierre Schaus, Siegfried Nijssen, Gaël Aglin	Efficient Lookahead Decision Trees.	IDA (2)	2024	DBLP DOI BibTeX RDF
17	Wenhua Li, Libo Wang, Hang Yuan	Online Batch Scheduling of Incompatible Job Families with Variable Lookahead Interval.	Asia Pac. J. Oper. Res.	2023	DBLP DOI BibTeX RDF
17	Takayuki Miyazaki, Yasuhiko Minamide	Derivatives of Context-free Grammars with Lookahead.	J. Inf. Process.	2023	DBLP DOI BibTeX RDF
17	Qi Teng, Guowei Teng, Xiang Li, Ran Ma, Ping An, Zhenglong Yang	Lookahead Search-Based Low-Complexity Multi-Type Tree Pruning Method for Versatile Video Coding (VVC) Intra Coding.	IEICE Trans. Fundam. Electron. Commun. Comput. Sci.	2023	DBLP DOI BibTeX RDF
17	Nils Köpp, Helmut Schwichtenberg	Lookahead analysis in exact real arithmetic with logical methods.	Theor. Comput. Sci.	2023	DBLP DOI BibTeX RDF
17	Rodrigo Singh, Wayne Isaac Tan Uy, Benjamin Peherstorfer	Lookahead data-gathering strategies for online adaptive model reduction of transport-dominated problems.	CoRR	2023	DBLP DOI BibTeX RDF
17	Vinit S. Unni, Ashish R. Mittal, Preethi Jyothi, Sunita Sarawagi	Improving RNN-Transducers with Acoustic LookAhead.	CoRR	2023	DBLP DOI BibTeX RDF
17	Siyi Wang, Anubhab Baksi, Anupam Chattopadhyay	A Higher Radix Architecture for Quantum Carry-lookahead Adder.	CoRR	2023	DBLP DOI BibTeX RDF
17	Yao Zhao, Zhitian Xie, Chenyi Zhuang, Jinjie Gu	Lookahead: An Inference Acceleration Framework for Large Language Model with Lossless Generation Accuracy.	CoRR	2023	DBLP DOI BibTeX RDF
17	Haozhe Lei, Quanyan Zhu	Neurosymbolic Meta-Reinforcement Lookahead Learning Achieves Safe Self-Driving in Non-Stationary Environments.	CoRR	2023	DBLP DOI BibTeX RDF
17	Li Du, Hongyuan Mei, Jason Eisner	Autoregressive Modeling with Lookahead Attention.	CoRR	2023	DBLP DOI BibTeX RDF
17	Zeynel Batuhan Organ, Enis Kayis, Taghi Khaniyev	Rolling Lookahead Learning for Optimal Classification Trees.	CoRR	2023	DBLP DOI BibTeX RDF
17	Debasis Dwibedy, Rakesh Mohanty	Semi-online Scheduling with Lookahead.	CoRR	2023	DBLP DOI BibTeX RDF
17	Andrea Do, Oscar Brown, Zhengjie Wang, Nikhil Mathew, Zixin Liu, Jawwad Ahmed, Cheng Yu	Using fine-tuning and min lookahead beam search to improve Whisper.	CoRR	2023	DBLP DOI BibTeX RDF
17	Guoqiang Zhang 0003, Kenta Niwa, W. Bastiaan Kleijn	Lookahead Diffusion Probabilistic Models for Refining Mean Estimation.	CoRR	2023	DBLP DOI BibTeX RDF
17	Eyob T. Mengiste, Borja Garcia de Soto, Timo Hartmann	Automating lookahead planning using site appearance and space utilization.	CoRR	2023	DBLP DOI BibTeX RDF
17	Nils Boysen, Stefan Schwerdfeger, Marlin W. Ulmer	Robotized sorting systems: Large-scale scheduling under real-time conditions with limited lookahead.	Eur. J. Oper. Res.	2023	DBLP DOI BibTeX RDF
17	Xia Qian, Xingong Zhang	Online scheduling of two-machine flowshop with lookahead and incompatible job families.	J. Comb. Optim.	2023	DBLP DOI BibTeX RDF
17	Tao Li, Haozhe Lei, Quanyan Zhu	Self-Adaptive Driving in Nonstationary Environments through Conjectural Online Lookahead Adaptation.	ICRA	2023	DBLP DOI BibTeX RDF
17	Romolo Marotta	RCR Report of "Zero Lookahead? Zero Problem. The Window Racer Algorithm".	SIGSIM-PADS	2023	DBLP DOI BibTeX RDF
17	Philipp Andelfinger, Till Köster, Adelinde M. Uhrmacher	Zero Lookahead? Zero Problem. The Window Racer Algorithm.	SIGSIM-PADS	2023	DBLP DOI BibTeX RDF
17	Aviv Rosenberg 0002, Assaf Hallak, Shie Mannor, Gal Chechik, Gal Dalal	Planning and Learning with Adaptive Lookahead.	AAAI	2023	DBLP DOI BibTeX RDF
17	Guoqiang Zhang 0003, Kenta Niwa, W. Bastiaan Kleijn	Lookahead Diffusion Probabilistic Models for Refining Mean Estimation.	CVPR	2023	DBLP DOI BibTeX RDF
17	Minghao Ye, Junjie Zhang 0001, Zehua Guo 0001, H. Jonathan Chao	Roracle: Enabling Lookahead Routing for Scalable Traffic Engineering with Supervised Learning.	ICNP	2023	DBLP DOI BibTeX RDF
17	Bhaskar Gaur, Edgard Muñoz-Coreas, Himanshu Thapliyal	A Logarithmic Depth Quantum Carry-Lookahead Modulo (2n - 1) Adder.	ACM Great Lakes Symposium on VLSI	2023	DBLP DOI BibTeX RDF