1855 search results - page 179 / 371 » A coding theorem for distributed computation |
125
Voted
DAC
2008
ACM
16 years 4 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...
165
Voted
ACL2
2006
ACM
15 years 9 months 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...
134
Voted
ICPP
2006
IEEE
15 years 9 months 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...
109
Voted
PPOPP
2006
ACM
15 years 9 months 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...
164
Voted
ICS
1999
Tsinghua U.
15 years 8 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 ...