Sciweavers

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