Search the dblp DataBase

Publications of Author

1. Edmund M. Clarke, Manpreet Khaira, Xudong Zhao
   Word Level Model Checking - Avoiding the Pentium FDIV Error. [Citation Graph (0, 0)][DBLP]
   DAC, 1996, pp:645-648 [Conf]
   
2. Yirng-An Chen, Edmund M. Clarke, Pei-Hsin Ho, Yatin Vasant Hoskote, Timothy Kam, Manpreet Khaira, John W. O'Leary, Xudong Zhao
   Verification of All Circuits in a Floating-Point Unit Using Word-Level Model Checking. [Citation Graph (0, 0)][DBLP]
   FMCAD, 1996, pp:19-33 [Conf]
   
3. H. T. Kung, Peter Steenkiste, Marco Gubitoso, Manpreet Khaira
   Parallelizing a New Class of Large Applications over High-speed Networks. [Citation Graph (0, 0)][DBLP]
   PPOPP, 1991, pp:167-177 [Conf]
   
4. Jeremy Casas, Hannah Honghua Yang, Manpreet Khaira, Mandar Joshi, Thomas Tetzlaff, Steve W. Otto, Erik Seligman
   Logic Verification of Very Large Circuits Using Shark. [Citation Graph (0, 0)][DBLP]
   VLSI Design, 1999, pp:310-317 [Conf]