Sciweavers

2799 search results - page 99 / 560
» computer 1998
Sort
View
84
Voted
DAC
1998
ACM
16 years 1 months ago
Incremental CTL Model Checking Using BDD Subsetting
Abelardo Pardo, Gary D. Hachtel
64
Voted
DAC
1998
ACM
16 years 1 months ago
Framework Encapsulations: A New Approach to CAD Tool Interoperability
Peter R. Sutton, Stephen W. Director
61
Voted
DAC
1998
ACM
16 years 1 months ago
MTCMOS Hierarchical Sizing Based on Mutual Exclusive Discharge Patterns
James Kao, Siva Narendra, Anantha Chandrakasan
77
Voted
DAC
1998
ACM
16 years 1 months ago
A Statistical Performance Simulation Methodology for VLSI Circuits
Michael Orshansky, James C. Chen, Chenming Hu