Sfoglia per Autore

opzioni
Mostrati risultati da 1 a 20 di 309
Titolo Data di pubblicazione Autore(i) File
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
Mostrati risultati da 1 a 20 di 309
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