| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Application-controlled memory management in a single address space environment
|
Bartoli, Alberto
|
|
2001
|
3 |
2 |
p. 235-245
|
artikel
|
| 2 |
Application of BDDs in Boolean matching techniques for formal logic combinational verification
|
Mohnke, Janett
|
|
2001
|
3 |
2 |
p. 207-216
|
artikel
|
| 3 |
A word-level graph manipulation package
|
Höreth, Stefan
|
|
2001
|
3 |
2 |
p. 182-192
|
artikel
|
| 4 |
Binary decision diagrams in theory and practice
|
Drechsler, Rolf
|
|
2001
|
3 |
2 |
p. 112-136
|
artikel
|
| 5 |
Design of experiments and evaluation of BDD ordering heuristics
|
Harlow III, Justin E.
|
|
2001
|
3 |
2 |
p. 193-206
|
artikel
|
| 6 |
Efficient manipulation of decision diagrams
|
Somenzi, Fabio
|
|
2001
|
3 |
2 |
p. 171-181
|
artikel
|
| 7 |
Parallel programming with a pattern language *
|
Massingill, Berna L.
|
|
2001
|
3 |
2 |
p. 217-234
|
artikel
|
| 8 |
Verification is experimentation!
|
Brinksma, Ed
|
|
2001
|
3 |
2 |
p. 107-111
|
artikel
|
| 9 |
Verification of arithmetic circuits using binary moment diagrams
|
Bryant, Randal E.
|
|
2001
|
3 |
2 |
p. 137-155
|
artikel
|
| 10 |
Zero-suppressed BDDs and their applications
|
Minato, Shin-ichi
|
|
2001
|
3 |
2 |
p. 156-170
|
artikel
|
Tijdschrift beschrijving