2468 search results - page 178 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
136
click to vote
DAC
2002
ACM
16 years 4 months ago
2002
ACM
In the last decade, instruction-set simulators have become an essential development tool for the design of new programmable architectures. Consequently, the simulator performance ...
203
click to vote
DAC
2003
ACM
15 years 9 months ago
2003
ACM
Instruction set simulators are critical tools for the exploration and validation of new programmable architectures. Due to increasing complexity of the architectures and timeto-ma...
162
click to vote
POPL
2012
ACM
13 years 11 months ago
2012
ACM
Since software systems are becoming increasingly more concurrent and distributed, modeling and analysis of interactions among their components is a crucial problem. In several app...
133
click to vote
DSN
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper presents a formal model for asynchronous distributed systems with servers that may exhibit Byzantine faults or crash and subsequently recover. The model is computationa...
162
click to vote
ICMAS
1998
15 years 5 months ago
1998
In this paper, a model is proposed for multi-agent probabilistic reasoning in a distributed environment. Unlike other methods, this model is capable of processing input in a truly...