218 search results - page 28 / 44 » Making Paths Explicit in the Scout Operating System |
81
Voted
FSTTCS
2005
Springer
15 years 3 months ago
2005
Springer
We construct a formal framework for investigating epistemic and temporal notions in the context of distributed quantum systems. While we rely on structures developed in [DDKP05], w...
VL
2000
IEEE
15 years 2 months ago
2000
IEEE
The accurate formulation of boolean expressions is a notorious problem in programming languages and database query tools. This paper studies the ways that untrained users naturall...
SIGGRAPH
2010
ACM
15 years 1 months ago
2010
ACM
We introduce a video retargeting method that achieves high-quality resizing to arbitrary aspect ratios for complex videos containing diverse camera and dynamic motions. Previous c...
EUROSYS
2008
ACM
15 years 6 months ago
2008
ACM
When computer systems are compromised by an attack, it is difficult to determine the precise extent of the damage caused by the attack because the state changes made by an attack...
OSDI
2004
ACM
15 years 10 months ago
2004
ACM
We present a new technique, failure-oblivious computing, that enables servers to execute through memory errors without memory corruption. Our safe compiler for C inserts checks th...