14642 search results - page 2794 / 2929 » It's Time for a Change |
161
click to vote
PLDI
2005
ACM
16 years 19 hour ago
2005
ACM
Faults that occur in production systems are the most important faults to fix, but most production systems lack the debugging facilities present in development environments. TraceB...
156
click to vote
PODC
2005
ACM
16 years 19 hour ago
2005
ACM
In this paper we consider the weighted, capacitated vertex cover problem with hard capacities (capVC). Here, we are given an undirected graph G = (V, E), non-negative vertex weigh...
175
click to vote
SACMAT
2005
ACM
16 years 18 hour ago
2005
ACM
It has been recognized for some time that software alone does not provide an adequate foundation for building a high-assurance trusted platform. The emergence of industry-standard...
154
click to vote
SC
2005
ACM
16 years 18 hour ago
2005
ACM
We describe Miranda, a massively parallel spectral/compact solver for variabledensity incompressible flow, including viscosity and species diffusivity effects. Miranda utilizes...
186
click to vote
SIGMETRICS
2005
ACM
16 years 17 hour ago
2005
ACM
The running time of many applications is dominated by the cost of memory operations. To optimize such applications for a given platform, it is necessary to have a detailed knowled...