Sciweavers

2799 search results - page 99 / 560
» computing 1998
Sort
View
95
Voted
DAC
1998
ACM
16 years 3 months ago
Incremental CTL Model Checking Using BDD Subsetting
Abelardo Pardo, Gary D. Hachtel
71
Voted
DAC
1998
ACM
16 years 3 months ago
Framework Encapsulations: A New Approach to CAD Tool Interoperability
Peter R. Sutton, Stephen W. Director
69
Voted
DAC
1998
ACM
16 years 3 months ago
MTCMOS Hierarchical Sizing Based on Mutual Exclusive Discharge Patterns
James Kao, Siva Narendra, Anantha Chandrakasan