9110 search results - page 1382 / 1822 » Formally-Based Design Evaluation |
196
click to vote
MICRO
2002
IEEE
15 years 11 months ago
2002
IEEE
Excessive power consumption is widely considered as a major impediment to designing future microprocessors. With the continued scaling down of threshold voltages, the power consum...
180
click to vote
NOMS
2002
IEEE
15 years 11 months ago
2002
IEEE
We propose a new connection management architecture for clustered Internet services called Active Connection Management (ACM) to improve the availability, quality of service, and ...
208
click to vote
NOMS
2002
IEEE
15 years 11 months ago
2002
IEEE
We present fault localization techniques suitable for diagnosing end-to-end service problems in communication systems with complex topologies. We refine a layered system model th...
236
click to vote
SSDBM
2002
IEEE
15 years 11 months ago
2002
IEEE
The efficient management of interval data represents a core requirement for many temporal and spatial database applications. With the Relational Interval Tree (RI-tree1 ), an effi...
201
click to vote
WCRE
2002
IEEE
15 years 11 months ago
2002
IEEE
Scientific, symbolic, and multimedia applications present diverse computing workloads with different types of inherent parallelism. Tomorrow’s processors will employ varying com...