93 search results - page 12 / 19 » ics 2005 |
GLVLSI
2005
IEEE
14 years 1 months ago
2005
IEEE
A hierarchical scheme with cells and modules is crucial for managing design complexity during a large integrated circuit design. We present a methodology for thermal aware cell-ba...
CIVR
2008
Springer
13 years 9 months ago
2008
Springer
Semantic similarity between words or phrases is frequently used to find matching correlations between search queries and documents when straightforward matching of terms fails. Th...
FPT
2005
IEEE
14 years 1 months ago
2005
IEEE
Producing a functionally correct integrated circuit is becoming increasingly difficult. No matter how careful a designer is, there will always be integrated circuits that are fabr...
CADE
2005
Springer
14 years 8 months ago
2005
Springer
We present a combination method for generating interpolants for a class of first-order theories. Using interpolant-generation procedures for individual theories as black-boxes, our...
DASFAA
2005
IEEE
14 years 1 months ago
2005
IEEE
Abstract. With the ever increasing connection between XML information systems over the Web, users are able to obtain integrated sources of XML information in a cooperative manner, ...