4378 search results - page 567 / 876 » On the Complexity of Ordered Colourings |
168
click to vote
CSB
2005
IEEE
16 years 11 days ago
2005
IEEE
Information technology research has played a significant role in the high-throughput acquisition and analysis of biological information. The tremendous amount of information gath...
170
click to vote
DATE
2005
IEEE
16 years 11 days ago
2005
IEEE
Functional verification of microprocessors is one of the most complex and expensive tasks in the current system-on-chip design process. A significant bottleneck in the validatio...
149
click to vote
ICAC
2005
IEEE
16 years 11 days ago
2005
IEEE
As software comes under increasing scrutiny for its lack of safety and reliability, numerous static and partially dynamic tools (including model checking) have been proposed for v...
169
click to vote
ICCAD
2005
IEEE
16 years 11 days ago
2005
IEEE
— Balanced truncation (BT) model order reduction (MOR) is known for its superior accuracy and computable error bounds. Balanced stochastic truncation (BST) is a particular BT pro...
207
click to vote
ICCD
2005
IEEE
16 years 11 days ago
2005
IEEE
As power density increases exponentially, run-time regulation of operating temperature by dynamic thermal management becomes imperative. This paper proposes a novel approach to re...