The Evolution of Dependable Computing in Italy
暂无分享,去创建一个
Lorenzo Strigini | F. Grandoni | P. Ciompi | Luca Simoncini | L. Strigini | L. Simoncini | F. Grandoni | P. Ciompi
[1] Lanfranco Lopriore,et al. Z8001-based central processing unit with capability addressing , 1982 .
[2] Pietro Laface,et al. MODOSK: A modular distributed operating system kernel for real-time process control , 1982 .
[3] Fabrizio Grandoni,et al. A Theory of Diagnosability of Digital Systems , 1976, IEEE Transactions on Computers.
[4] Augusto Ciuffoletti,et al. A Distributed Domino-Effect free recovery Algorithm , 1984, Symposium on Reliability in Distributed Software and Database Systems.
[5] Augusto Ciuffoletti. Error recovery in systems of communicating processes. , 1984, ICSE '84.
[6] Lorenzo Strigini,et al. Muteam: a multimicroprocessor architecture with decentralized fault treatment , 1984 .
[7] Lanfranco Lopriore,et al. Distributing and revoking access authorizations on abstract objecs: A capability approch , 1984, Softw. Pract. Exp..
[8] Lorenzo Donatiello,et al. Analysis of a composite performance reliability measure for fault-tolerant systems , 1987, JACM.
[9] P. Maestrini,et al. Concurrent detection of additive overflow and arithmetic errors in residue codes , 1974 .
[10] Fabio A. Schreiber,et al. A Framework for Research in Performance-Availability of Automated Information Systems , 1984, Symposium on Reliability in Distributed Software and Database Systems.
[11] Fabio A. Schreiber,et al. State Dependency Issues in Evaluating Distributed Database Availability , 1984, Comput. Networks.
[12] Lanfranco Lopriore,et al. Capability Based Tagged Architectures , 1984, IEEE Transactions on Computers.
[13] Giancarlo Martella,et al. An Availability Model for Distributed Transaction Systems , 1985, IEEE Transactions on Software Engineering.
[14] A. Antola,et al. Concurrent Programming Robustness , 1984 .
[15] Lorenzo Strigini,et al. A Distributed algorithm for post-failure load redistribution , 1982, ICDCS.
[16] Piero Maestrini,et al. Error Correcting Properties of Redundant Residue Number Systems , 1973, IEEE Transactions on Computers.
[17] Paolo Prinetto,et al. PART: Programmable Array Testing Based on a Partitioning Algorithm , 1984, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
[18] Lorenzo Strigini,et al. Reconfiguration procedure in a distributed multiprocessor system , 1982 .
[19] P. Maestrini,et al. Error codes in residue number systems with magnitude index , 1978 .
[20] Luca Simoncini,et al. Subgraphs smaller than the girth , 1980, J. Graph Theory.
[21] Lanfranco Lopriore,et al. The Implementation of Abstract Objects in a Capability Based Addressing Architecture , 1984, Comput. J..
[22] Renato Stefanelli,et al. A multiplier with multiple error correction capability , 1983, 1983 IEEE 6th Symposium on Computer Arithmetic (ARITH).
[23] Arthur D. Friedman,et al. System-Level Fault Diagnosis , 1980, Computer.
[24] Lanfranco Lopriore,et al. Intelligent memory subsystem supporting memory virtualisation , 1983 .
[25] Maurelio Boari,et al. Language Features for Access Control , 1983, IEEE Transactions on Software Engineering.
[26] Luigi Ciminiera. DESIGN FOR DIAGNOSABILITY ISSUES IN RECTANGULAR BANYAN NETWORKS. , 1984 .
[27] Mariagiovanna Sami,et al. Policies for System-level Diagnosis in a Non-Hierarchic Distributed System , 1984, IEEE Transactions on Reliability.
[28] Angelo Serra,et al. A Multimicro Architecture and its Distributed Operating System for Real Time Control , 1982, ICDCS.
[29] Piero Maestrini,et al. Error Detection and Correction by Product Codes in Residue Number Systems , 1974, IEEE Transactions on Computers.
[30] M. La Manna. Real-Time Systems with Highly Reliable Storage Media: A Case Study , 1985 .
[31] L. Simoncini,et al. An implementation of optimistic policy for concurrency control in a computer network for real-time applications , 1984 .
[32] Lorenzo Strigini,et al. A proposal for fault-tolerance in a multiprocessor system , 1982 .
[33] P. Ciompi,et al. A Highly Available Multimicroprocessor System for Real-Time Applications , 1983 .
[34] Piero Maestrini,et al. Arithmetic Codes in Residue Number Systems with Magnitude Index , 1978, IEEE Transactions on Computers.
[35] Piero Maestrini,et al. A Class of Multiple-Error-Correcting Arithmetic Residue Codes , 1978, Inf. Control..
[36] Mariagiovanna Sami,et al. Fault Tolerance Techniques for Array Structures Used in Supercomputing , 1986, Computer.
[37] Piero Maestrini,et al. Improved decoding algorithms for arithmetic residue codes (Corresp.) , 1978, IEEE Trans. Inf. Theory.
[38] Piero Maestrini,et al. Error Codes Constructed in Residue Number Systems with Non-Pairwise-Prime Moduli , 1980, Inf. Control..
[39] Arthur D. Friedman,et al. Design of Self-Diagnosable Multiprocessor Systems with Concurrent Computation and Diagnosis , 1980, IEEE Transactions on Computers.
[40] Luca Simoncini,et al. Analysis and Optimal Design of Self-Diagnosable Systems with Repair , 1979, IEEE Transactions on Computers.
[41] Giancarlo Martella,et al. On Evaluating Availability in Distributed Database Systems , 1981, Berkeley Workshop.
[42] F. Piazza,et al. Requirements and Design for a Distributed Computerized System for Safety and Control Applications , 1985 .
[43] Lanfranco Lopriore,et al. The MuTEAM system: general guidelines , 1981 .
[44] C. Ghezzi,et al. Are two contex-free languages translatable in a syntax-directed translation scheme? , 1974 .
[45] Luigi Ciminiera,et al. PERFORMANCE-FAULT TOLERANCE TRADEOFFS IN SINGLE STAGE CONNECTING NETWORKS. , 1982 .
[46] Mariagiovanna Sami,et al. Some Properties Derived from Structural Analysis of Program Graph Models , 1983, IEEE Transactions on Software Engineering.
[47] Lorenzo Strigini,et al. The architecture and the fault-treatment of MuTEAM , 1984, Fehlertolerierende Rechensysteme.
[48] Lanfranco Lopriore,et al. MuTEAM: architectural insights of a distributed multimicroprocessor system , 1981 .
[49] Lanfranco Lopriore. User-defined protection subsystems in capability architectures , 1982 .
[50] Marco Vanneschi,et al. Mechanisms for a robust multiprocessing environment in the MuTEAM kernel , 1981 .
[51] Paolo Prinetto,et al. Testing Strategy and Technique for Macro-Based Circuits , 1985, IEEE Transactions on Computers.