6142 search results - page 1160 / 1229 » The Complexity of Partition Functions |
119
click to vote
ISCA
2010
IEEE
15 years 6 months ago
2010
IEEE
Continued device scaling enables microprocessors and other systems-on-chip (SoCs) to increase their performance, functionality, and hence, complexity. Simultaneously, relentless s...
120
click to vote
DSN
2002
IEEE
15 years 6 months ago
2002
IEEE
Model checking has been introduced as an automated technique to verify whether functional properties, expressed in a formal logic like computational tree logic (CTL), do hold in a...
111
click to vote
GLVLSI
2002
IEEE
15 years 6 months ago
2002
IEEE
Design simplification is becoming necessary to respect the target time-to-market of SoCs, and this goal can be obtained by using predesigned IP-cores. However, their correct inte...
HICSS
2002
IEEE
15 years 6 months ago
2002
IEEE
We propose a web-based computer-assisted tool for diagnosing progress in international negotiation. The system is based on a general linear model. Innovative features of the progr...
119
click to vote
ISCA
2002
IEEE
15 years 6 months ago
2002
IEEE
Many emerging processor microarchitectures seek to manage technological constraints (e.g., wire delay, power, and circuit complexity) by resorting to nonuniform designs that provi...