Search the dblp DataBase

Publications of Author

1. Bwolen Yang, Yirng-An Chen, Randal E. Bryant, David R. O'Hallaron
   Space- and Time-Efficient BDD Construction via Working Set Control. [Citation Graph (0, 0)][DBLP]
   ASP-DAC, 1998, pp:423-432 [Conf]
   
2. Bwolen Yang, Reid G. Simmons, Randal E. Bryant, David R. O'Hallaron
   Optimizing Symbolic Model Checking for Constraint-Rich Models. [Citation Graph (0, 0)][DBLP]
   CAV, 1999, pp:328-340 [Conf]
   
3. 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. [Citation Graph (0, 0)][DBLP]
   FMCAD, 1998, pp:255-289 [Conf]
   
4. Chung-Yang Huang, Bwolen Yang, Huan-Chih Tsai, Kwang-Ting Cheng
   Static property checking using ATPG vs. BDD techniques. [Citation Graph (0, 0)][DBLP]
   ITC, 2000, pp:309-316 [Conf]
   
5. Peter A. Dinda, David R. O'Hallaron, Jaspal Subhlok, Jon A. Webb, Bwolen Yang
   Language and Run-Time Support for Network Parallel Computing. [Citation Graph (0, 0)][DBLP]
   LCPC, 1995, pp:534-550 [Conf]
   
6. Bwolen Yang, Jon A. Webb, James M. Stichnoth, David R. O'Hallaron, Thomas R. Gross
   Do&Merge: Integrating Parallel Loops and Reductions. [Citation Graph (0, 0)][DBLP]
   LCPC, 1993, pp:169-183 [Conf]
   
7. Bwolen Yang, David R. O'Hallaron
   Parallel Breadth-First BDD Construction. [Citation Graph (0, 0)][DBLP]
   PPOPP, 1997, pp:145-156 [Conf]
   
8. Jaspal Subhlok, Bwolen Yang
   A New Model for Integrated Nested Task and Data Parallel Programming. [Citation Graph (0, 0)][DBLP]
   PPOPP, 1997, pp:1-12 [Conf]