Sciweavers

11061 search results - page 29 / 2213
» Computer Architecture
Sort
View
DAC
1996
ACM
14 years 1 months ago
Word Level Model Checking - Avoiding the Pentium FDIV Error
Edmund M. Clarke, Manpreet Khaira, Xudong Zhao
DAC
1996
ACM
14 years 1 months ago
Lower Bounds on Test Resources for Scheduled Data Flow Graphs
Ishwar Parulkar, Sandeep K. Gupta, Melvin A. Breue...
DAC
1993
ACM
14 years 1 months ago
Optimization of Combinational Logic Circuits Based on Compatible Gates
Maurizio Damiani, Jerry Chih-Yuan Yang, Giovanni D...