Sciweavers

2863 search results - page 54 / 573
» Comparing Operating Systems Using Robustness Benchmarks
Sort
View
SIGMETRICS
2012
ACM
271views Hardware» more  SIGMETRICS 2012»
13 years 4 months ago
An empirical comparison of Java remote communication primitives for intra-node data transmission
This paper presents a benchmarking suite that measures the performance of using sockets and eXtensible Markup Language remote procedure calls (XML-RPC) to exchange intra-node mess...
Philip F. Burdette, William F. Jones, Brian C. Blo...
TIME
2007
IEEE
15 years 8 months ago
A Symbolic Decision Procedure for Robust Safety of Timed Systems
We present a symbolic algorithm for deciding safety (reachability) of timed systems modelled as Timed Automata (TA), under the notion of robustness w.r.t. infinitesimal clock-drif...
Mani Swaminathan, Martin Fränzle
ISMIR
2004
Springer
173views Music» more  ISMIR 2004»
15 years 7 months ago
Stochastic Model of a Robust Audio Fingerprinting System
An audio fingerprint is a compact representation of the perceptually relevant parts of audio content. A suitable audio fingerprint can be used to identify audio files, even if ...
Peter Jan O. Doets, Reginald L. Lagendijk
RTAS
2011
IEEE
14 years 6 months ago
Virtual-CPU Scheduling in the Quest Operating System
This paper describes the scheduling framework for a new operating system called “Quest”. The three main goals of Quest are to ensure safety, predictability and efficiency of ...
Matthew Danish, Ye Li, Richard West
ICPR
2008
IEEE
15 years 9 months ago
Robust region-based background subtraction and shadow removing using color and gradient information
In this paper, a novel algorithm for foreground detection and shadow removal is presented. The proposed method employs a region-based approach by processing two foregrounds result...
Mohammad Izadi, Parvaneh Saeedi