2468 search results - page 134 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
122
Voted
SOSP
2003
ACM
16 years 15 days ago
2003
ACM
Many interesting large-scale systems are distributed systems of multiple communicating components. Such systems can be very hard to debug, especially when they exhibit poor perfor...
138
click to vote
PRDC
2002
IEEE
15 years 8 months ago
2002
IEEE
Feature interaction is a kind of inconsistent conflict between multiple communication services and considered an obstacle to developing reliable telephony systems. In this paper ...
106
click to vote
CONCUR
2007
Springer
15 years 7 months ago
2007
Springer
We re-examine vacuity in temporal logic model checking. We note two disturbing phenomena in recent results in this area. The first indicates that not all vacuities detected in prac...
167
Voted
EUROCAST
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. Hybrid systems are a well-established mathematical model for embedded systems. Such systems, which combine discrete and continuous behavior, are increasingly used in safe...
117
Voted
CPE
1998
Springer
15 years 7 months ago
1998
Springer
We consider a distributed server system model and ask which policy should be used for assigning tasks to hosts. In our model each host processes tasks in First-Come-First-Serve ord...