4305 search results - page 259 / 861 » The Test of Time |
196
click to vote
PADS
2006
ACM
16 years 19 days ago
2006
ACM
In this paper we present a detailed analysis of the performance of the Decision Theoretic Read Delay (DTRD) optimistic synchronisation algorithm for simulations of Multistems. We ...
149
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
Wireless sensors are very small computers, and understanding the timing and behavior of software written for them is crucial to ensuring that they perform correctly. This paper ou...
181
click to vote
VLSID
2000
IEEE
15 years 10 months ago
2000
IEEE
We address the problem of verifying the correctness of pre-silicon models of a microprocessor. We touch on the latest advances in this area by considering two different aspects of...
172
click to vote
ISRR
2001
Springer
15 years 11 months ago
2001
Springer
This paper describes the foundations and algorithms of a new probabilistic roadmap (PRM) planner that is: (1) singlequery –i.e., it does not pre-compute a roadmap, but uses the ...
181
click to vote
DLOG
2006
15 years 8 months ago
2006
Tree automata are often used for satisfiability testing in the area of description logics, which usually yields ExpTime complexity results. We examine conditions under which this ...