Sciweavers

2794 search results - page 8 / 559
» A New Architecture for Automated Modelling
Sort
View
54
Voted
DAC
2002
ACM
16 years 19 hour ago
Challenges and opportunities in electronic textiles modeling and optimization
Diana Marculescu, Radu Marculescu, Pradeep K. Khos...
DAC
2005
ACM
16 years 19 hour ago
Beyond safety: customized SAT-based model checking
Malay K. Ganai, Aarti Gupta, Pranav Ashar