Modern high-performance architectures require extremely accurate branch prediction to overcome the performance limitations of conditional branches. We present a framework that cat...
We show how LR parsers for the analysis of arbitrary context-free grammars can be derived from classical Earley's parsing algorithm. The result is a Generalized LR parsing al...
Miguel A. Alonso, David Cabrero, Manuel Vilares Fe...
We show how solution concepts in games such as Nash equilibrium, correlated equilibrium, rationalizability, and sequential equilibrium can be given a uniform definition in terms ...
Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Mosh...
Previous work in real-time database management systems (RT-DBMS) has primarily based on simulation. This paper discusses how current real-time technology has been applied to archi...
The central research issue addressed by this paper is how we can design computer interfaces that better support human attention and better maintain the fluency of work. To accompl...
Beverly L. Harrison, Gordon Kurtenbach, Kim J. Vic...