7213 search results - page 988 / 1443 » Automated model grouping |
164
click to vote
DATE
2005
IEEE
16 years 14 days ago
2005
IEEE
Linear Pseudo-Boolean Optimization (PBO) is a widely used modeling framework in Electronic Design Automation (EDA). Due to significant advances in Boolean Satisfiability (SAT), ...
167
click to vote
DATE
2005
IEEE
16 years 14 days ago
2005
IEEE
- The problem of determining lower bounds for the energy cost of a given nanoscale design is addressed via a complexity theory-based approach. This paper provides a theoretical fra...
136
click to vote
EUROMICRO
2005
IEEE
16 years 14 days ago
2005
IEEE
This paper reports on the development of QoSOnt: an ontology for Quality of Service (QoS). Particular focus is given to its application in the field of service-centric systems. Qo...
157
click to vote
GLVLSI
2005
IEEE
16 years 14 days ago
2005
IEEE
As timing requirements in today’s advanced VLSI designs become more aggressive, the need for automated tools to diagnose timing failures increases. This work presents two such a...
160
click to vote
HICSS
2005
IEEE
16 years 14 days ago
2005
IEEE
Expert systems are originally designed to generate feasible alternatives in automated manner. The users expect the systems to contribute to make decisions proactively and intellig...