Sciweavers

1019 search results - page 24 / 204
» Computer Aided Ferret Design
Sort
View
DAC
2004
ACM
14 years 8 months ago
Efficient equivalence checking with partitions and hierarchical cut-points
Previous results show that both flat and hierarchical methodologies present obstacles to effectively completing combinational equivalence checking. A new approach that combines th...
Demos Anastasakis, Lisa McIlwain, Slawomir Pilarsk...
HCI
2009
13 years 5 months ago
Navigation Support for the Walking Wounded
We aim at designing an effective evacuation support system for disaster response, specifically tailored to aid the walking wounded, a significant group of victims suffering from re...
Lucy T. Gunawan, Augustinus H. J. Oomes, Zhenke Ya...
GECCO
2009
Springer
157views Optimization» more  GECCO 2009»
14 years 2 months ago
Multi material topological optimization of structures and mechanisms
Multi-material 3D-printing technologies permit the freeform fabrication of complex spatial arrangements of materials in arbitrary geometries. This technology has opened the door t...
Jonathan D. Hiller, Hod Lipson
ICPP
2008
IEEE
14 years 1 months ago
Machine Learning Models to Predict Performance of Computer System Design Alternatives
Computer manufacturers spend a huge amount of time, resources, and money in designing new systems and newer configurations, and their ability to reduce costs, charge competitive p...
Berkin Özisikyilmaz, Gokhan Memik, Alok N. Ch...
SC
2009
ACM
14 years 2 days ago
A framework for core-level modeling and design of reconfigurable computing algorithms
Reconfigurable computing (RC) is rapidly becoming a vital technology for many applications, from high-performance computing to embedded systems. The inherent advantages of custom-...
Gongyu Wang, Greg Stitt, Herman Lam, Alan D. Georg...