Sfoglia per Autore
Un modello per la descrizione di computazioni robuste Data-Flow-Like
1987 A. Bondavalli;L. Simoncini
Modelling robust computations in a Data-Flow-Like style
1988 A. Bondavalli;L. Simoncini
Costruzione gerarchica di tipi di dati astratti condivisi
1988 T. Belli;C. Bernardeschi;A. Bondavalli;D. Latella
OSIRIDE and Transactions
1988 A. Bondavalli;E. Gregori
Concurrency Control in OSI Transactional Environments
1988 A. Bondavalli;E. Gregori
Data-flow-like model for robust computations
1989 A. Bondavalli;L. Simoncini
Shared Abstract Data Types: an Algebraic Methodology for their Specification
1989 A. Bondavalli;N. D. Francesco;D. Latella;G. Vaglini
Failures Classification with Respect to Detection
1990 A. Bondavalli;L. Simoncini
MAC Protocols for High-Speed, MANs: Performance Comparisons for a Family of Fasnet-based Protocols
1990 A. Bondavalli;M. Conti;E. Gregori;L. Lenzini;L. Strigini
Supporto a Tempo di Esecuzione ed Ambiente per un Linguaggio Dataflow Esteso
1991 A. Bondavalli;L. Nardone
PACS: Performability-Achieving Computing Systems
1991 A. Bondavalli;M. Mannocci;L. Nardone;L. Simoncini;F. Tarini;P. Zini
A Performable BSM Architecture
1991 A. Bondavalli;M. Mannocci;L. Nardone;L. Simoncini;F. Tarini;P. Zini
Data-Flow like Languages for Designing Dependable Real-Time Control Systems
1991 L. Strigini;A. Bondavalli;L. Simoncini
DSDR: A Fair and Efficient Access Protocol for Ring-Topology MANs
1991 A. Bondavalli;L. Strigini
Structured Software Fault-Tolerance with BSM
1992 A. Bondavalli;L. Simoncini
Data-Flow like Languages for Real-Time Systems: Issues of Computational Models and Notation
1992 A. Bondavalli;L. Strigini;L. Simoncini
Destination Stripping Dual Ring: a new protocol for MANs
1992 A. Bondavalli;L. Strigini;M. Sereno
Data Flow Control Systems: an Example of Safety Validation
1993 C. Bernardeschi;A. Bondavalli;L. Simoncini
Functional Paradigm for Designing Dependable Large-Scale Parallel Computing Systems
1993 A. Bondavalli;L. Simoncini
From Data Flow Networks to Process Algebras
1993 C. Bernardeschi;A. Bondavalli;L. Simoncini
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile