Sciweavers

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