The SCEAS System
Navigation Menu

Search the dblp DataBase


Bwolen Yang: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]

Search in 0.002secs, Finished in 0.003secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002