Data storage in Distributed Storage Systems (DSSs) is a multidimensional optimization problem. Using network coding, one wants to provide reliability, scalability, security, reduced storage overhead, reduced bandwidth for repair and minimal disk I/O etc. in such systems. Regenerating codes have been used to optimize some of these parameters, where a file can be reconstructed by contacting any k...

AbslracrMDS codes possess several properties that make them an ideal choice for type41 hybrid-ARQ protocols. These properties indude “strong separability”, “strong invertibility”, and excellent reliability performance when used for simultaneous error detection and correction. In this paper these properties are shown to lead to a natural definition of an MDS type-I1 hybrid-ARQ protocol. An (n, k...

In this paper, we consider the control of general hybrid systems. Surprisingly, time-abstract bisimulation is not fine enough for solving such a problem. Conversely, we show that suffix equivalence is a correct abstraction for that problem. We apply this equivalence to ominimal hybrid systems and get decidability and computability results in this framework.

This work is dedicated to the design, analysis and optimization of Application-Level Forward Erasure Correction (AL-FEC) codes. In particular, we explore a class of Generalized LDPC (GLDPC) codes, named GLDPC-Staircase codes, involving the LDPCStaircase code (base code) as well as Reed-Solomon (RS) codes (outer codes). In the first part of this thesis, we start by showing that RS codes having “...

This paper presents flexible storage codes, a class of error-correcting codes that can recover information from number nodes. As result, one make better use the available nodes in presence unpredictable node failures and reduce data access latency. Assume system encodes <tex-math notation=...