Sciweavers

81 search results - page 1 / 17
» dac 1997
Sort
View
89
Voted
DAC
1997
ACM
15 years 8 months ago
Formal Verification in a Commercial Setting
Robert P. Kurshan
DAC
1997
ACM
15 years 8 months ago
Potential-Driven Statistical Ordering of Transformations
Inki Hong, Darko Kirovski, Miodrag Potkonjak