2 search results - page 1 / 1 » Parallel disk-based computation for large, monolithic binary... |
CAP
2010
12 years 11 months ago
2010
Binary Decision Diagrams (BDDs) are widely used in formal verification. They are also widely known for consuming large amounts of memory. For larger problems, a BDD computation wi...
DSN
2005
IEEE
13 years 10 months ago
2005
IEEE
In this paper, we present a parallel implementation for the steady-state analysis of continuous-time Markov chains (CTMCs). This analysis is performed via solution of a linear equ...