Sciweavers

4463 search results - page 79 / 893
» computer 2000
Sort
View
91
Voted
SIBGRAPI
2000
IEEE
15 years 6 months ago
Incremental Evaluation of BDD-Represented Set Operators
Heraldo Maciel França Madeira, Junior Barre...
83
Voted
DAC
2000
ACM
15 years 6 months ago
Removing user specified false paths from timing graphs
David Blaauw, Rajendran Panda, Abhijit Das
78
Voted
DAC
2000
ACM
15 years 6 months ago
Optimizing sequential verification by retiming transformations
Gianpiero Cabodi, Stefano Quer, Fabio Somenzi