nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A State Space Distribution Policy Based on Abstract Interpretation
|
Orzan, Simona |
|
2005 |
128 |
3 |
p. 35-45 11 p. |
artikel |
2 |
CTL* Model Checking on a Shared-Memory Architecture
|
Inggs, Cornelia P. |
|
2005 |
128 |
3 |
p. 107-123 17 p. |
artikel |
3 |
Distributed Partial Order Reduction of State Spaces
|
Brim, L. |
|
2005 |
128 |
3 |
p. 63-74 12 p. |
artikel |
4 |
Load Balancing Parallel Explicit State Model Checking
|
Kumar, Rahul |
|
2005 |
128 |
3 |
p. 19-34 16 p. |
artikel |
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. |
artikel |
6 |
Parallel and Symbolic Model Checking for Fixpoint Logic with Chop
|
Lange, Martin |
|
2005 |
128 |
3 |
p. 125-138 14 p. |
artikel |
7 |
Parallel Multithreaded Satisfiability Solver: Design and Implementation
|
Feldman, Yulik |
|
2005 |
128 |
3 |
p. 75-90 16 p. |
artikel |
8 |
Preface
|
Brim, Luboš |
|
2005 |
128 |
3 |
p. 1-2 2 p. |
artikel |
9 |
Preface
|
Zaroliagis, Christos |
|
2005 |
128 |
3 |
p. 47-62 16 p. |
artikel |
10 |
UppDMC: A Distributed Model Checker for Fragments of the μ-Calculus
|
Holmén, Fredrik |
|
2005 |
128 |
3 |
p. 91-105 15 p. |
artikel |