Sciweavers

116 search results - page 3 / 24
» dac 2003
Sort
View
DAC
2003
ACM
13 years 10 months ago
Automating the design of an asynchronous DLX microprocessor
Manish Amde, Ivan Blunno, Christos P. Sotiriou
DAC
2003
ACM
14 years 6 months ago
Shatter: efficient symmetry-breaking for boolean satisfiability
Fadi A. Aloul, Igor L. Markov, Karem A. Sakallah