2863 search results - page 45 / 573 » Comparing Operating Systems Using Robustness Benchmarks |
117
Voted
EUROSYS
2009
ACM
15 years 11 months ago
2009
ACM
In a Multi-Variant Execution Environment (MVEE), several slightly different versions of the same program are executed in lockstep. While this is done, a monitor compares the behav...
114
click to vote
ICRA
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract— A gesture-based interaction framework is presented for controlling mobile robots. This natural interaction paradigm has few physical requirements, and thus can be deplo...
DATE
2002
IEEE
15 years 7 months ago
2002
IEEE
We describe a SAT-solver, BerkMin, that inherits such features of GRASP, SATO, and Chaff as clause recording, fast BCP, restarts, and conflict clause “aging”. At the same time...
125
click to vote
FAST
2010
15 years 4 months ago
2010
An understanding of application I/O access patterns is useful in several situations. First, gaining insight into what applications are doing with their data at a semantic level he...
112
Voted
DATE
2002
IEEE
15 years 7 months ago
2002
IEEE
To enable fast and accurate evaluation of HW/SW implementation choices of on-chip communication, we present a method to automatically generate timed OS simulation models. The meth...