| 2000 |
|---|
| 8 | | Chung-Yang Huang,
Bwolen Yang,
Huan-Chih Tsai,
Kwang-Ting Cheng:
Static property checking using ATPG vs. BDD techniques.
ITC 2000: 309-316 |
| 1999 |
|---|
| 7 | EE | Bwolen Yang,
Reid G. Simmons,
Randal E. Bryant,
David R. O'Hallaron:
Optimizing Symbolic Model Checking for Constraint-Rich Models.
CAV 1999: 328-340 |
| 1998 |
|---|
| 6 | | Bwolen Yang,
Yirng-An Chen,
Randal E. Bryant,
David R. O'Hallaron:
Space- and Time-Efficient BDD Construction via Working Set Control.
ASP-DAC 1998: 423-432 |
| 5 | EE | Bwolen Yang,
Randal E. Bryant,
David R. O'Hallaron,
Armin Biere,
Olivier Coudert,
Geert Janssen,
Rajeev K. Ranjan,
Fabio Somenzi:
A Performance Study of BDD-Based Model Checking.
FMCAD 1998: 255-289 |
| 1997 |
|---|
| 4 | | Jaspal Subhlok,
Bwolen Yang:
A New Model for Integrated Nested Task and Data Parallel Programming.
PPOPP 1997: 1-12 |
| 3 | | Bwolen Yang,
David R. O'Hallaron:
Parallel Breadth-First BDD Construction.
PPOPP 1997: 145-156 |
| 1995 |
|---|
| 2 | | Peter A. Dinda,
David R. O'Hallaron,
Jaspal Subhlok,
Jon A. Webb,
Bwolen Yang:
Language and Run-Time Support for Network Parallel Computing.
LCPC 1995: 534-550 |
| 1993 |
|---|
| 1 | | Bwolen Yang,
Jon A. Webb,
James M. Stichnoth,
David R. O'Hallaron,
Thomas R. Gross:
Do&Merge: Integrating Parallel Loops and Reductions.
LCPC 1993: 169-183 |
