438 search results - page 20 / 88 » date 2009 |
DATE
2009
IEEE
15 years 4 months ago
2009
IEEE
Boolean satisfiability (SAT) solving has become an enabling technology with wide-ranging applications in numerous disciplines. These applications tend to be most naturally encode...
87
Voted
DATE
2009
IEEE
15 years 4 months ago
2009
IEEE
—As multiprocessor systems are increasingly used in real-time environments, scheduling and synchronization analysis of these platforms receive growing attention. However, most kn...
DATE
2009
IEEE
15 years 4 months ago
2009
IEEE
: Common sub-expression elimination (CSE) serves as a useful optimization technique in the synthesis of arithmetic datapaths described at RTL. However, CSE has a limited potential ...
DATE
2009
IEEE
15 years 4 months ago
2009
IEEE
—IP-XACT is a well accepted standard for the exchange of IP components at Electronic System and Register Transfer Level. Still, the creation and manipulation of these description...
77
Voted
DATE
2009
IEEE
15 years 4 months ago
2009
IEEE
Multi-domain clock skew scheduling is a cost effective technique for performance improvement. However, the required wire length and area overhead due to phase shifters for realizin...