Bwolen Yang

Publication Activity (10 Years)

Years Active: 1993-2000
Publications (10 Years): 0

Publications

Chung-Yang Huang, Bwolen Yang, Huan-Chih Tsai, Kwang-Ting Cheng
Static property checking using ATPG vs. BDD techniques. ITC (2000)
Bwolen Yang, Reid G. Simmons, Randal E. Bryant, David R. O'Hallaron
Optimizing Symbolic Model Checking for Constraint-Rich Models. CAV (1999)
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)
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)
Bwolen Yang, David R. O'Hallaron
Parallel Breadth-First BDD Construction. PPOPP (1997)
Jaspal Subhlok, Bwolen Yang
A New Model for Integrated Nested Task and Data Parallel Programming. PPOPP (1997)
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)
Bwolen Yang, Jon A. Webb, James M. Stichnoth, David R. O'Hallaron, Thomas R. Gross
Do&Merge: Integrating Parallel Loops and Reductions. LCPC (1993)