Binary decision diagrams in theory and practice Rolf DrechslerDetlef Sieling Special section on BDD Pages: 112 - 136
Verification of arithmetic circuits using binary moment diagrams Randal E. BryantYirng-An Chen Special section on BDD Pages: 137 - 155
Design of experiments and evaluation of BDD ordering heuristics Justin E. Harlow IIIFranc Brglez Special section on BDD Pages: 193 - 206
Application of BDDs in Boolean matching techniques for formal logic combinational verification Janett MohnkePaul MolitorSharad Malik Special section on BDD Pages: 207 - 216
Parallel programming with a pattern language * Berna L. MassingillTimothy G. MattsonBeverly A. Sanders Regular contribution Pages: 217 - 234
Application-controlled memory management in a single address space environment Alberto BartoliGianluca DiniLanfranco Lopriore Regular contribution Pages: 235 - 245