2468 search results - page 74 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
100
Voted
ACSD
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--Clock gating and operand isolation are two techniques to reduce the power consumption in state-of-the-art hardware designs. Both approaches basically follow a two-step pr...
114
click to vote
FMOODS
2003
15 years 4 months ago
2003
Concurrent and distributed systems have traditionally been modelled using nondeterministic transitions over configurations. The minism provides an abstraction over scheduling, net...
ATAL
2005
Springer
15 years 8 months ago
2005
Springer
We sketch how to express typical features of agent communication protocols in a simple temporal logic and show that conformance verification at runtime reduces to a generalised f...
102
click to vote
WSC
1998
15 years 4 months ago
1998
A simulation model is composed of inputs and logic; the inputs represent the uncertainty or randomness in the system, while the logic determines how the system reacts to the uncer...
131
click to vote
IFM
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...