3820 search results - page 631 / 764 » Bounded Model Debugging |
132
click to vote
WIOPT
2006
IEEE
15 years 8 months ago
2006
IEEE
Abstract— The objective of the paper is to provide qualitative insight into the global effects of distributed mechanisms, such as carrier sense multiple access (CSMA) and rate co...
107
Voted
ASPDAC
2006
ACM
15 years 8 months ago
2006
ACM
—Designing high-performance systems with high yield under parameter variations has raised serious design challenges in nanometer technologies. In this paper, we propose a profit-...
130
click to vote
ISLPED
2006
ACM
15 years 8 months ago
2006
ACM
All existing methods for thermal-via allocation are based on a steady-state thermal analysis and may lead to excessive number of thermal vias. This paper develops an accurate and ...
118
Voted
PPOPP
2006
ACM
15 years 8 months ago
2006
ACM
Traditional collective communication algorithms are designed with the assumption that a node can communicate with only one other node at a time. On new parallel architectures such...
123
click to vote
SPAA
2006
ACM
15 years 8 months ago
2006
ACM
Suppose we have a parallel or distributed system whose nodes have limited capacities, such as processing speed, bandwidth, memory, or disk space. How does the performance of the s...