A probabilistic dynamic technique for the distributed generation of very large state spaces (Q4779370)
From MaRDI portal
scientific article; zbMATH DE number 1835137
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A probabilistic dynamic technique for the distributed generation of very large state spaces |
scientific article; zbMATH DE number 1835137 |
Statements
A probabilistic dynamic technique for the distributed generation of very large state spaces (English)
0 references
24 June 2003
0 references
performance model
0 references
distributed-memory parallel computer
0 references
