4520 search results - page 294 / 904 » Algebraic Techniques for Timed Systems |
231
click to vote
IPM
2008
15 years 7 months ago
2008
Users enter queries that are short as well as long. The aim of this work is to evaluate techniques that can enable information retrieval (IR) systems to automatically adapt to per...
189
click to vote
DSN
2002
IEEE
16 years 11 days ago
2002
IEEE
A virtual duplex system (VDS) can be used to increase safety without the use of structural redundancy on a single machine. If a deterministic program P is calculating a given func...
179
click to vote
CCGRID
2001
IEEE
15 years 11 months ago
2001
IEEE
In this paper, we address the new problem of protecting volunteer computing systems from malicious volunteers who submit erroneous results by presenting sabotagetolerance mechanis...
200
click to vote
ISLPED
2010
ACM
15 years 5 months ago
2010
ACM
In this paper, a novel thermal-aware dynamic placement planner for reconfigurable systems is presented, which targets transient temperature reduction. Rather than solving time-...
201
click to vote
ICDE
2011
IEEE
14 years 11 months ago
2011
IEEE
—In this paper, we address the problem of answering continuous route planning queries over a road network, in the presence of updates to the delay (cost) estimates of links. A si...