2468 search results - page 42 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
119
click to vote
EPEW
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Recently, there is an explosive development of fluid approaches to computer and distributed systems. These approaches are inherently stochastic and generate continuous st...
137
click to vote
SPIN
2010
Springer
15 years 1 months ago
2010
Springer
Directed model checking is a well-established technique to efficiently tackle the state explosion problem when the aim is to find error states in concurrent systems. Although dir...
134
click to vote
CCGRID
2010
IEEE
15 years 4 months ago
2010
IEEE
Although shared memory programming models show good programmability compared to message passing programming models, their implementation by page-based software distributed shared m...
126
click to vote
FM
2006
Springer
15 years 6 months ago
2006
Springer
Symmetry reduction techniques can help to combat the state space explosion problem for model checking, but are restricted by the hard problem of determining equivalence of states d...
130
click to vote
LCTRTS
2001
Springer
15 years 7 months ago
2001
Springer
This paper presents an end-to-end synthesis technique for lowpower distributed real-time system design. This technique synthesizes supply voltages of resources to optimize system-...