3820 search results - page 230 / 764 » Bounded Model Debugging |
118
click to vote
INFOCOM
2008
IEEE
15 years 10 months ago
2008
IEEE
—A large amount of algorithms has recently been designed for the Internet under the assumption that the distance defined by the round-trip delay (RTT) is a metric. Moreover, man...
111
click to vote
SPIN
2007
Springer
15 years 9 months ago
2007
Springer
Boolean programs are frequently used to model abstractions of software programs. They have the advantage that reachability properties are decidable, despite the fact that their sta...
101
Voted
DATE
2006
IEEE
15 years 9 months ago
2006
IEEE
We consider lock-free synchronization for dynamic embedded real-time systems that are subject to resource overloads and arbitrary activity arrivals. We model activity arrival beha...
129
Voted
ISAAC
2004
Springer
15 years 8 months ago
2004
Springer
We propose a model of computation where a Turing machine is given random access to an advice string. With random access, an advice string of exponential length becomes meaningful ...
153
Voted
WDAG
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. The ability to cooperate on common tasks in a distributed setting is key to solving a broad range of computation problems ranging from distributed search such as SETI to ...