2468 search results - page 107 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
124
Voted
RTAS
2007
IEEE
15 years 9 months ago
2007
IEEE
Discrete-event (DE) models are formal system specifications that have analyzable deterministic behaviors. Using a global, consistent notion of time, DE components communicate via...
131
click to vote
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
In many distributed computing systems that are prone to either induced or spontaneous node failures, the number of available computing resources is dynamically changing in a rando...
142
Voted
RTAS
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper provides two contributions to the study of developing and applying domain-specific modeling languages (DSMLS) to distributed real-time and embedded (DRE) systems – p...
129
Voted
FASE
2005
Springer
15 years 9 months ago
2005
Springer
Model-checking is becoming an accepted technique for debugging hardware and software systems. Debugging is based on the “Check / Analyze / Fix” loop: check the system against a...
135
Voted
ICPP
2008
IEEE
15 years 10 months ago
2008
IEEE
Numerical simulations in computational physics, biology, and finance, often require the use of high quality and efficient parallel random number generators. We design and optimi...