2468 search results - page 5 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
78
Voted
TAICPART
2006
IEEE
15 years 3 months ago
2006
IEEE
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
104
Voted
IPPS
2007
IEEE
15 years 3 months ago
2007
IEEE
—We present the first experimental results on the implementation of a multi-core model checking algorithm for the SPIN model checker. These algorithms specifically target shared-...
AGENTS
2001
Springer
15 years 2 months ago
2001
Springer
To develop agent-based systems, one needs a methodology that supports the development process as common in other disciplines. In recent years, several such methodologies and model...
IPPS
2009
IEEE
15 years 4 months ago
2009
IEEE
—The problem of finding efficient workload distribution techniques is becoming increasingly important today for heterogeneous distributed systems where the availability of comp...
101
click to vote
ICSM
2009
IEEE
15 years 4 months ago
2009
IEEE
Model checking is a promising technique for verifying program behavior and is increasingly finding usage in industry. To date, however, researchers have primarily considered mode...