3820 search results - page 631 / 764 » Bounded Model Debugging |
178
click to vote
WIOPT
2006
IEEE
16 years 13 days 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...
160
click to vote
ASPDAC
2006
ACM
16 years 12 days 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-...
181
click to vote
ISLPED
2006
ACM
16 years 11 days 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 ...
161
click to vote
PPOPP
2006
ACM
16 years 11 days 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...
168
click to vote
SPAA
2006
ACM
16 years 11 days 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...