606 search results - page 43 / 122 » Complexity Results for Checking Distributed Implementability |
92
Voted
SOSP
2007
ACM
15 years 8 months ago
2007
ACM
We introduce a new reliability infrastructure for file systems called I/O shepherding. I/O shepherding allows a file system developer to craft nuanced reliability policies to de...
VTC
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract— In this contribution, we investigate the attainable performance of quasi-cyclic (QC) protograph Low-Density Parity-Check (LDPC) codes for transmission over both Additiv...
SAC
2006
ACM
14 years 11 months ago
2006
ACM
The implementation of a correctly rounded or interval elementary function needs to be proven carefully in the very last details. The proof requires a tight bound on the overall er...
120
click to vote
LPNMR
1997
Springer
15 years 4 months ago
1997
Springer
Turi [20] introduced the important notion of a constrained atom: an atom with associated equality and disequality constraints on its arguments. A set of constrained atoms is a cons...
AAAI
2010
15 years 1 months ago
2010
Crowd-sourcing is a recent framework in which human intelligence tasks are outsourced to a crowd of unknown people ("workers") as an open call (e.g., on Amazon's Me...