254 search results - page 46 / 51 » The Gaussian Many-Help-One Distributed Source Coding Problem |
168
Voted
SIGSOFT
2006
ACM
16 years 18 days ago
2006
ACM
Repeated changes to a software system can introduce small weaknesses such as unplanned dependencies between different parts of the system. While such problems usually go undetecte...
295
Voted
ASPLOS
2009
ACM
16 years 7 months ago
2009
ACM
Software failures in server applications are a significant problem for preserving system availability. We present ASSURE, a system that introduces rescue points that recover softw...
198
click to vote
VEE
2006
ACM
16 years 18 days ago
2006
ACM
The progress towards programming methodologies that simplify the work of the programmer involves automating, whenever possible, activities that are secondary to the main task of d...
182
Voted
CISS
2008
IEEE
16 years 1 months ago
2008
IEEE
—In this paper, we study the problem of utility maximization in Peer-to-Peer (P2P) systems, in which aggregate utilities are maximized by running distributed algorithms on P2P no...
213
Voted
PPOPP
2009
ACM
16 years 7 months ago
2009
ACM
This paper considers the problem of formal verification of MPI programs operating under a fixed test harness for safety properties without building verification models. In our app...