Search Results - "Maestrini, Piero"
-
1
Robust Distributed Storage of Residue Encoded Data
Published in IEEE transactions on information theory (01-12-2012)“…We consider a problem where a physical quantity is repeatedly measured by replicated devices, yielding a stream of numerical data. Data are stored within the…”
Get full text
Journal Article -
2
Worst-Case Diagnosis Completeness in Regular Graphs under the PMC Model
Published in IEEE transactions on computers (01-07-2007)“…System-level diagnosis aims at the identification of faulty units in a system by the analysis of the system syndrome, that is, the outcomes of a set of…”
Get full text
Journal Article -
3
Reliable Routing in Wireless Ad Hoc Networks: The Virtual Routing Protocol
Published in Journal of network and systems management (01-09-2006)“…A novel routing protocol for wireless, mobile ad hoc networks is presented. This protocol incorporates features that enhance routing reliability, defined as…”
Get full text
Journal Article -
4
Fault-diagnosis of grid structures
Published in Theoretical computer science (02-01-2003)“…The problem of fault diagnosis in grid-connected systems is considered. A diagnosis algorithm, called DAGS and based on the PMC model, is presented. DAGS…”
Get full text
Journal Article -
5
Fault-diagnosis of grid structures: Dependable computing
Published in Theoretical computer science (2003)Get full text
Journal Article -
6
Correct and almost complete diagnosis of processor grids
Published in IEEE transactions on computers (01-10-2001)“…A new diagnosis algorithm for square grids is introduced. The algorithm always provides correct diagnosis if the number of faulty processors is below T, a…”
Get full text
Journal Article -
7
Diagnosability of regular systems
Published in Journal of algorithms (01-11-2002)“…A novel approach aimed at evaluating the diagnosability of regular systems under the PMC model is introduced. The diagnosability is defined as the ability to…”
Get full text
Journal Article -
8
Evaluation of a diagnosis algorithm for regular structures
Published in IEEE transactions on computers (01-07-2002)“…The problem of identifying the faulty units in regularly interconnected systems is addressed. The diagnosis is based on mutual tests of units, which are…”
Get full text
Journal Article -
9
Routing in Mobile Ad-hoc Networks: the Virtual Distance Vector Protocol
Published in 2007 IEEE International Conference on Mobile Adhoc and Sensor Systems (01-10-2007)“…A novel routing protocol for wireless mobile ad hoc networks, named virtual distance vector (VDV), is presented. This protocol augments AODV with a virtual…”
Get full text
Conference Proceeding -
10
Self diagnosis of processor arrays using a comparison model
Published in Proceedings. 14th Symposium on Reliable Distributed Systems (1995)“…This paper introduces a diagnosing algorithm for bidimensional processor arrays, where processors are interconnected in horizontal and vertical meshes. For the…”
Get full text
Conference Proceeding -
11
A Theory of Diagnosability of Digital Systems
Published in IEEE transactions on computers (01-06-1976)“…The problem of automatic fault diagnosis of systems decomposed into a number of interconnected units is considered by using a simplified version of the…”
Get full text
Journal Article -
12
Virtual structure effects in two hybrid routing protocols for ad hoc networks
Published in 2008 3rd International Symposium on Wireless Pervasive Computing (01-05-2008)“…The virtual routing protocol and the virtual distance vector are hybrid routing protocols for mobile ad hoc networks which are based on virtual structures…”
Get full text
Conference Proceeding -
13
Computation, Memory and Bandwidth Efficient Distillation Codes to Mitigate DoS in Multicast
Published in First International Conference on Security and Privacy for Emerging Areas in Communications Networks (SECURECOMM'05) (2005)“…In this paper we address the problem of Denial of Service (DoS) mitigation in multicast environment. The contribution of the paper is twofold: first, we…”
Get full text
Conference Proceeding -
14
Self-validating diagnosis of hypercube systems
Published in Proceedings 1999 Pacific Rim International Symposium on Dependable Computing (1999)“…A novel approach to the diagnosis of hypercubes, called self-validating diagnosis (SVD), is introduced. An algorithm bared on this approach, called the SVD…”
Get full text
Conference Proceeding -
15
Error Correcting Properties of Redundant Residue Number Systems
Published in IEEE transactions on computers (01-01-1973)“…The error correcting properties of the redundant residue number systems (RNS) are investigated through a more natural a approach than was previously known. The…”
Get full text
Journal Article -
16
Arithmetic Codes in Residue Number Systems with Magnitude Index
Published in IEEE transactions on computers (01-12-1978)“…The idea of adding a magnitude index to the residue representation of numbers is reconsidered. The range of a given residue number system is supposed to be…”
Get full text
Journal Article -
17
Improved decoding algorithms for arithmetic residue codes (Corresp.)
Published in IEEE transactions on information theory (01-09-1978)“…Two classes of arithmetic codes constructed in residue number systems are considered, and decoding algorithms based on the convergents of continued fractions…”
Get full text
Journal Article -
18
Error Detection and Correction by Product Codes in Residue Number Systems
Published in IEEE transactions on computers (01-09-1974)“…The arithmetic error detecting and correcting capabilities of product (AN) codes in residue number systems (RNS) are described. The redundancy necessary and…”
Get full text
Journal Article -
19
Diagnosis of regular structures
Published in Proceeding International Conference on Dependable Systems and Networks. DSN 2000 (2000)“…Introduces EDARS (Efficient Diagnosis Algorithm for Regular Structures). The algorithm provides a diagnosis which is correct, but possibly incomplete, if the…”
Get full text
Conference Proceeding -
20
TOPI-A Special-Purpose Computer for Boolean Analysis and Synthesis
Published in IEEE transactions on computers (01-08-1971)“…TOPI is a special-purpose computer for the synthesis and analysis of Boolean functions. The algorithms executed by TOPI have been developed specifically for…”
Get full text
Journal Article