Sciweavers

11061 search results - page 29 / 2213
» Computer Architecture
Sort
View
84
Voted
DAC
1996
ACM
15 years 6 months ago
Word Level Model Checking - Avoiding the Pentium FDIV Error
Edmund M. Clarke, Manpreet Khaira, Xudong Zhao
71
Voted
DAC
1996
ACM
15 years 6 months ago
Lower Bounds on Test Resources for Scheduled Data Flow Graphs
Ishwar Parulkar, Sandeep K. Gupta, Melvin A. Breue...
111
Voted
DAC
1996
ACM
15 years 6 months ago
Efficient Software Performance Estimation Methods for Hardware/Software Codesign
Kei Suzuki, Alberto L. Sangiovanni-Vincentelli
DAC
1993
ACM
15 years 6 months ago
Optimization of Combinational Logic Circuits Based on Compatible Gates
Maurizio Damiani, Jerry Chih-Yuan Yang, Giovanni D...