Sciweavers

3428 search results - page 194 / 686
» Making the Case
Sort
View
RTAS
1997
IEEE
15 years 8 months ago
OS-Controlled Cache Predictability for Real-Time Systems
3rd IEEE Real-time Technology and Applications Symposium (RTAS), June 1997 in Montreal, Canada Cache-partitioning techniques have been invented to make modern processors with an e...
Jochen Liedtke, Hermann Härtig, Michael Hohmu...
IUI
1997
ACM
15 years 8 months ago
Local Plan Recognition in Direct Manipulation Interfaces
Plan recognition in direct manipulation interfaces must deal with the problem that the information obtained is of low quality with respect to the plan recognition task. There are ...
Annika Wærn
CHI
1994
ACM
15 years 8 months ago
User learning and performance with marking menus
A marking menu is designed to allow a user to perform a menu selection by either popping-up a radial (or pie) menu, or by making a straight mark in the direction of the desired me...
Gordon Kurtenbach, William Buxton
STOC
1993
ACM
87views Algorithms» more  STOC 1993»
15 years 8 months ago
How to use expert advice
We analyze algorithms that predict a binary value by combining the predictions of several prediction strategies, called experts. Our analysis is for worst-case situations, i.e., we...
Nicolò Cesa-Bianchi, Yoav Freund, David P. ...
CAV
2010
Springer
154views Hardware» more  CAV 2010»
15 years 8 months ago
Verifying Low-Level Implementations of High-Level Datatypes
For efficiency and portability, network packet processing code is typically written in low-level languages and makes use of bit-level operations to compactly represent data. Althou...
Christopher L. Conway, Clark Barrett