Sciweavers

2799 search results - page 99 / 560
» computing 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
65
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
94
Voted
HPCN
1998
Springer
15 years 5 months ago
Parallel Extrapolation Methods and their Application in Chemical Engineering
Ulrich Nowak, Rainald Ehrig, Lars Oeverdieck
78
Voted
DAC
1998
ACM
16 years 1 months ago
A Statistical Performance Simulation Methodology for VLSI Circuits
Michael Orshansky, James C. Chen, Chenming Hu