Sciweavers

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