|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
10 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | A State Space Distribution Policy Based on Abstract Interpretation |
Orzan, Simona |
2005 |
128 | 3 |
p. 35-45 11 p. |
article |
|
| 2 | CTL* Model Checking on a Shared-Memory Architecture |
Inggs, Cornelia P. |
2005 |
128 | 3 |
p. 107-123 17 p. |
article |
|
| 3 | Distributed Partial Order Reduction of State Spaces |
Brim, L. |
2005 |
128 | 3 |
p. 63-74 12 p. |
article |
|
| 4 | Load Balancing Parallel Explicit State Model Checking |
Kumar, Rahul |
2005 |
128 | 3 |
p. 19-34 16 p. |
article |
|
| 5 | On-the-fly Workload Prediction and Redistribution in the Distributed Timed Model Checker Zeus |
Braberman, V. |
2005 |
128 | 3 |
p. 3-18 16 p. |
article |
|
| 6 | Parallel and Symbolic Model Checking for Fixpoint Logic with Chop |
Lange, Martin |
2005 |
128 | 3 |
p. 125-138 14 p. |
article |
|
| 7 | Parallel Multithreaded Satisfiability Solver: Design and Implementation |
Feldman, Yulik |
2005 |
128 | 3 |
p. 75-90 16 p. |
article |
|
| 8 | Preface |
Brim, Luboš |
2005 |
128 | 3 |
p. 1-2 2 p. |
article |
|
| 9 | Preface |
Zaroliagis, Christos |
2005 |
128 | 3 |
p. 47-62 16 p. |
article |
|
| 10 | UppDMC: A Distributed Model Checker for Fragments of the μ-Calculus |
Holmén, Fredrik |
2005 |
128 | 3 |
p. 91-105 15 p. |
article |
10 results found