Sciweavers

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