Sciweavers

2794 search results - page 8 / 559
» A New Architecture for Automated Modelling
Sort
View
DAC
2002
ACM
14 years 8 months ago
Challenges and opportunities in electronic textiles modeling and optimization
Diana Marculescu, Radu Marculescu, Pradeep K. Khos...
DAC
2005
ACM
14 years 8 months ago
Beyond safety: customized SAT-based model checking
Malay K. Ganai, Aarti Gupta, Pranav Ashar
DAC
2001
ACM
14 years 8 months ago
Modeling and Analysis of Differential Signaling for Minimizing Inductive Cross-Talk
Yehia Massoud, Jamil Kawa, Don MacMillen, Jacob Wh...