Sciweavers

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