272 search results - page 10 / 55 » On Efficient Models for Model Checking Message-Passing Distr... |
HPCA
2011
IEEE
13 years 1 days ago
2011
IEEE
Future CMPs will combine many simple cores with deep cache hierarchies. With more cores, cache resources per core are fewer, and must be shared carefully to avoid poor utilization...
IPPS
2007
IEEE
14 years 2 months ago
2007
IEEE
In this paper, we report our work [24, 26] on extending the J-Sim network simulator [13] to be an integrated environment for both simulation and model checking of network protocol...
IPPS
2009
IEEE
14 years 3 months ago
2009
IEEE
CAV
2006
Springer
14 years 9 days ago
2006
Springer
We present an approach for applying symmetry reduction techniques to probabilistic model checking, a formal verification method for the quantitative analysis of systems with stocha...
BIRTHDAY
2007
Springer
14 years 2 months ago
2007
Springer
With the Distributed File System Replication component, DFS-R, as the central theme, we present selected protocol problems and validation methods encountered during design and deve...