Sciweavers

4359 search results - page 137 / 872
» Automated Pipeline Design
Sort
View
DAC
2002
ACM
16 years 7 months ago
Challenges and opportunities in electronic textiles modeling and optimization
Diana Marculescu, Radu Marculescu, Pradeep K. Khos...
DAC
2002
ACM
16 years 7 months ago
Complex library mapping for embedded software using symbolic algebra
Armita Peymandoust, Giovanni De Micheli, Tajana Si...
DAC
2003
ACM
16 years 7 months ago
Shatter: efficient symmetry-breaking for boolean satisfiability
Fadi A. Aloul, Igor L. Markov, Karem A. Sakallah