305 search results - page 20 / 61 » From Sets to Bits in Coq |
122
click to vote
ICDCN
2011
Springer
14 years 2 months ago
2011
Springer
We address the problem of designing distributed algorithms for large scale networks that are robust to Byzantine faults. We consider a message passing, full information model: the ...
91
Voted
VLSI
2005
Springer
15 years 4 months ago
2005
Springer
This work addresses the problem of application mapping in networks-on-chip (NoCs) having as goal to minimize the total dynamic energy consumption of a complex system-on-a-chip (So...
ICASSP
2011
IEEE
14 years 2 months ago
2011
IEEE
The aim of compressed sensing is to recover attributes of sparse signals using very few measurements. Given an overall bit budget for quantization, this paper demonstrates that th...
108
click to vote
DFT
2005
IEEE
15 years 23 days ago
2005
IEEE
Linear decompressors are the dominant methodology used in commercial test data compression tools. However, they are generally not able to exploit correlations in the test data, an...
FOCS
1995
IEEE
15 years 2 months ago
1995
IEEE
d Abstract) Noga Alon ∗ Jeff Edmonds † Michael Luby ‡ An (n, c, , r)-erasure code consists of an encoding algorithm and a decoding algorithm with the following properties. ...