367 search results - page 11 / 74 » Multi-Core Design Automation Challenges |
149
Voted
SPLC
2007
15 years 7 months ago
2007
Abstract—Product-line architectures (PLAs) designed for mobile devices create a unique challenge for automated product variant selection engines since variants must be derived on...
163
Voted
CADE
2008
Springer
16 years 6 months ago
2008
Springer
This paper describes a system combining model-based and learning-based methods for automated reasoning in large theories, i.e. on a large number of problems that use many axioms, l...
197
Voted
ACG
2009
Springer
16 years 29 days ago
2009
Springer
One of the main challenges with selective search extensions is designing effective move categories (features). This is a manual trial and error task, which requires both intuition...
172
Voted
ICSNC
2007
IEEE
16 years 20 days ago
2007
IEEE
To support QoS guarantee and resource usage in heterogeneous access network environments more efficiently (UMTS, WIMAX, WLAN DVB-T, DVB-H), there is the challenge of automated con...
182
Voted
IPPS
2007
IEEE
16 years 20 days ago
2007
IEEE
Hardware accelerators are increasingly used to extend the computational capabilities of baseline scalar processors to meet the growing performance and power requirements of embedd...