5012 search results - page 9 / 1003 » Distributed Error Correction |
ICASSP
2011
IEEE
14 years 1 months ago
2011
IEEE
The sparse error correction is intimately related to Compressive Sensing. Exploiting this connection, the paper proposes an error correction scheme pivoted on partial Fourier matr...
SRDS
2003
IEEE
15 years 2 months ago
2003
IEEE
Group communication protocols constitute a basic building block for highly dependable distributed applications. Designing and correctly implementing a group communication system (...
65
Voted
IPCCC
2005
IEEE
15 years 3 months ago
2005
IEEE
Tree-based reliable multicast protocols provide scalability by distributing error-recovery tasks among several repair nodes. These repair nodes keep in their buffers all packets t...
CAV
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. Any formalmethodor tool is almostcertainlymoreoftenapplied in situationswheretheoutcomeis failure(acounterexample)rather than success (a correctness proof). We present a ...
UML
2004
Springer
15 years 2 months ago
2004
Springer
This paper discusses a model-based design flow for requirements in distributed embedded software development. Such requirements are specified using a language similar to Linear T...