Sciweavers

116 search results - page 3 / 24
» dac 2003
Sort
View
134
Voted
DAC
2003
ACM
16 years 7 days ago
Automating the design of an asynchronous DLX microprocessor
Manish Amde, Ivan Blunno, Christos P. Sotiriou
DAC
2003
ACM
16 years 8 months ago
Shatter: efficient symmetry-breaking for boolean satisfiability
Fadi A. Aloul, Igor L. Markov, Karem A. Sakallah
134
Voted
DAC
2003
ACM
16 years 8 months ago
Architecture-level performance evaluation of component-based embedded systems
Jeffry T. Russell, Margarida F. Jacome