Sciweavers

4359 search results - page 137 / 872
» Automated Pipeline Design
Sort
View
DAC
2002
ACM
16 years 4 months ago
Challenges and opportunities in electronic textiles modeling and optimization
Diana Marculescu, Radu Marculescu, Pradeep K. Khos...
77
Voted
DAC
2002
ACM
16 years 4 months ago
Complex library mapping for embedded software using symbolic algebra
Armita Peymandoust, Giovanni De Micheli, Tajana Si...
92
Voted
DAC
2002
ACM
16 years 4 months ago
A detailed cost model for concurrent use with hardware/software co-design
Daniel Ragan, Peter Sandborn, Paul Stoaks
DAC
2003
ACM
16 years 4 months ago
Shatter: efficient symmetry-breaking for boolean satisfiability
Fadi A. Aloul, Igor L. Markov, Karem A. Sakallah