2468 search results - page 162 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
159
click to vote
COLCOM
2005
IEEE
16 years 15 hour ago
2005
IEEE
In contrast to a large body of theoretical work on computer systems, distributed systems are not idealised constructions, unconstrained by physical world limitations. They must be...
152
click to vote
ISSTA
2009
ACM
16 years 27 days ago
2009
ACM
This paper presents techniques for analyzing channel contract specifications in Microsoft Research’s Singularity operating system. A channel contract is a state machine that sp...
184
Voted
INTERNET
2006
15 years 6 months ago
2006
A conversation is the global sequence of messages exchanged among the components of a distributed system. Conversations provide a promising model for specifying and analyzing the ...
181
click to vote
ICPADS
2008
IEEE
16 years 25 days ago
2008
IEEE
The use of good random numbers is essential to the integrity of many mission-critical systems. However, when such systems are replicated for Byzantine fault tolerance, a serious i...
202
click to vote
IPPS
2008
IEEE
16 years 24 days ago
2008
IEEE
In this paper, we present the design and implementation of a distributed sensor network application for embedded, isolated-word, real-time speech recognition. In our system design...