10909 search results - page 1791 / 2182 » Evaluating Backup Algorithms |
190
click to vote
CW
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper aims to study how to gain the consistency of the state in a DVE (Distributed Virtual Environment) with lag, under the condition of peer-to-peer architecture. That is, w...
178
click to vote
DASFAA
2004
IEEE
15 years 10 months ago
2004
IEEE
For event filtering of publish/subscribe system, significant research efforts have been dedicated to techniques based on multiple one-dimensional indexes built on attributes of sub...
198
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
niques for Fast Predicate Abstraction Shuvendu K. Lahiri , Robert Nieuwenhuis , and Albert Oliveras Abstract. Predicate abstraction is a technique for automatically exfinite-state ...
181
click to vote
CCECE
2006
IEEE
15 years 10 months ago
2006
IEEE
The past decade has seen extensive research on audio classification and segmentation algorithms. However, the effect of background noise on the performance of classification has n...
191
click to vote
DELTA
2004
IEEE
15 years 10 months ago
2004
IEEE
In this report we address the problem of static scheduling of realtime systems that include both hard and soft tasks. We consider systems in which both hard and soft tasks are per...