Sciweavers

4581 search results - page 28 / 917
» Computing Transformation Semigroups
Sort
View
DAC
2000
ACM
13 years 11 months ago
Optimizing sequential verification by retiming transformations
Gianpiero Cabodi, Stefano Quer, Fabio Somenzi