2468 search results - page 185 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
148
Voted
OSDI
2008
ACM
16 years 4 months ago
2008
ACM
Transactional flash (TxFlash) is a novel solid-state drive (SSD) that uses flash memory and exports a transactional interface (WriteAtomic) to the higher-level software. The copy-...
121
click to vote
SPIN
2004
Springer
15 years 9 months ago
2004
Springer
Nowadays, many distributed applications take advantage of the transparent distributed object systems provided by CORBA middlewares. While greatly reduce the design and coding effo...
169
click to vote
TACAS
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. We present a compositional verification technique for systems that exhibit both probabilistic and nondeterministic behaviour. We adopt an assume-guarantee approach to ver...
147
click to vote
KBSE
2005
IEEE
15 years 9 months ago
2005
IEEE
Engineering distributed systems is a challenging activity. This is partly due to the intrinsic complexity of distributed systems, and partly due to the practical obstacles that de...
140
click to vote
ENTCS
2008
15 years 4 months ago
2008
Towards a unifying model of concurrency, we have designed and implemented LMNtal (pronounced "elemental"), a model and language based on hierarchical graph rewriting tha...