1855 search results - page 179 / 371 » A coding theorem for distributed computation |
160
click to vote
DAC
2008
ACM
16 years 7 months ago
2008
ACM
In this paper we present an efficient algorithm for extracting the complete statistical distribution of the input impedance of interconnect structures in the presence of a large n...
216
click to vote
ACL2
2006
ACM
16 years 11 days ago
2006
ACM
A verifying compiler is one that emits both object code and a proof of correspondence between object and source code.1 We report the use of ACL2 in building a verifying compiler f...
165
click to vote
ICPP
2006
IEEE
16 years 13 days ago
2006
IEEE
We present an analytic performance model of a largescale hydrodynamics code developed at Los Alamos National Laboratory. This modeling work is part of an ongoing effort to develop...
143
click to vote
PPOPP
2006
ACM
16 years 10 days ago
2006
ACM
Tiling has proven to be an effective mechanism to develop high performance implementations of algorithms. Tiling can be used to organize computations so that communication costs i...
206
click to vote
ICS
1999
Tsinghua U.
15 years 10 months ago
1999
Tsinghua U.
On modern computers, the performance of programs is often limited by memory latency rather than by processor cycle time. To reduce the impact of memory latency, the restructuring ...