Bwolen Yang

According to our database, Bwolen Yang authored at least 8 papers between 1993 and 2000.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2000

Static property checking using ATPG vs. BDD techniques.

Chung-Yang Huang, Bwolen Yang, Huan-Chih Tsai, Kwang-Ting Cheng

Proceedings of the Proceedings IEEE International Test Conference 2000, 2000

1999

Optimizing Symbolic Model Checking for Constraint-Rich Models.

Bwolen Yang, Reid G. Simmons, Randal E. Bryant, David R. O'Hallaron

Proceedings of the Computer Aided Verification, 11th International Conference, 1999

1998

A Performance Study of BDD-Based Model Checking.

Bwolen Yang, Randal E. Bryant, David R. O'Hallaron, Armin Biere, Olivier Coudert, Geert Janssen, Rajeev K. Ranjan, Fabio Somenzi

Proceedings of the Formal Methods in Computer-Aided Design, 1998

Space- and Time-Efficient BDD Construction via Working Set Control.

Bwolen Yang, Yirng-An Chen, Randal E. Bryant, David R. O'Hallaron

Proceedings of the ASP-DAC '98, 1998

1997

Parallel Breadth-First BDD Construction.

Bwolen Yang, David R. O'Hallaron

Proceedings of the Sixth ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming (PPOPP), 1997

A New Model for Integrated Nested Task and Data Parallel Programming.

Jaspal Subhlok, Bwolen Yang

Proceedings of the Sixth ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming (PPOPP), 1997

1995

Language and Run-Time Support for Network Parallel Computing.

Peter A. Dinda, David R. O'Hallaron, Jaspal Subhlok, Jon A. Webb, Bwolen Yang

Proceedings of the Languages and Compilers for Parallel Computing, 1995

1993

Do&Merge: Integrating Parallel Loops and Reductions.

Bwolen Yang, Jon A. Webb, James M. Stichnoth, David R. O'Hallaron, Thomas R. Gross

Proceedings of the Languages and Compilers for Parallel Computing, 1993