Sciweavers

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