Search Results - Mancini, Luigi

Filter by
  1. 1
    Cover Image

    Fault-tolerant task scheduling in multiprocessor systems
    by Bertossi, Alan A., Mancini, Luigi V.

    Published 1991
    Book


    Saved in:
  2. 2
    Cover Image

    Exception handling in replicated systems with voting
    by Mancini, Luigi V., Shrivastava, Santosh K.

    Published 1986
    Book


    Saved in:
  3. 3
    Cover Image

    Modular redundancy in a message passing system
    by Mancini, Luigi V.

    Published 1985
    Book


    Saved in:
  4. 4
    Cover Image

    Fault-tolerant reference counting for garbage collection in distributed systems
    by Mancini, Luigi V., Shrivastava, Santosh K.

    Published 1988
    Book


    Saved in:
  5. 5
    Cover Image

    The join algorithm: ordering messages in replicated systems
    by Mancini, Luigi V., Pappalardo, Giuseppe

    Published 1988
    Book


    Saved in:
  6. 6
    Cover Image

    Proving correctness properties of a replicated synchronous program
    by Mancini, Luigi V., Pappalardo, Giuseppe

    Published 1988
    Book


    Saved in:
  7. 7
    Cover Image

    Failure detection in replicated systems
    by Mancini, Luigi V., Shrivastava, Santosh K.

    Published 1987
    Book


    Saved in:
  8. 8
    Cover Image

    A technique for subclassing and its implementation exploiting polymorphic procedures
    by Mancini, Luigi V.

    Published 1987
    Book


    Saved in:
  9. 9
    Cover Image

    Scheduling algorithms for fault-tolerance in hard-real-time systems
    by Bertossi, Alan A., Mancini, Luigi V.

    Published 1991
    Book


    Saved in:
  10. 10
    Cover Image

    Replication within atomic actions and conversations: a case study in fault-tolerance duality
    by Mancini, Luigi V., Shrivastava, Santosh K.

    Published 1989
    Book


    Saved in:
  11. 11
    Cover Image

    Towards a theory of replicated processing
    by Mancini, Luigi V., Pappalardo, Giuseppe

    Published 1988
    Book


    Saved in:
  12. 12
    Cover Image

    The verification of distributed redundant systems
    by Mancini, Luigi V., Pappalardo, Giuseppe

    Published 1988
    Book


    Saved in:
  13. 13
    Cover Image

    Resolving nondeterminism in distributed redundant systems
    by Mancini, Luigi V., Pappalardo, Giuseppe

    Published 1987
    Book


    Saved in:
  14. 14
    Cover Image

    Synchronizing events inn replicated systems
    by Koutny, Maciej, Mancini, Luigi V.

    Published 1987
    Book


    Saved in:
  15. 15
    Cover Image

    On the duality of fault tolerant system structures
    by Shrivastava, Santosh K., Mancini, Luigi V., Randell, Brian

    Published 1987
    Book


    Saved in:
  16. 16
    Cover Image

    Formal specification of N-modular redundancy
    by Mancini, Luigi V., Koutny, Maciej

    Published 1986
    Book


    Saved in:
  17. 17
    Cover Image

    Modular redundancy in a message passing system
    by Mancini, Luigi

    Published 1985
    Order via interlibrary loan
    Book


    Saved in:
  18. 18
    Cover Image

    Sant'Onorato e Fondi tra il V e VI secolo: itinerari benedettini nel Parco Regionale dei Monti Aurunci = Sant'Onorato and Fondi between the Vth and VIth centuries
    by Mancini, Luigi

    Published 2001
    Order via interlibrary loan
    Book


    Saved in:
  19. 19
    Cover Image

    Sinigaglia e gli ultimi Rovereschi: spigolature d'archivio
    by Mancini, Luigi

    Published 1924
    Order via interlibrary loan
    Book


    Saved in:
  20. 20
    Cover Image

    A technique for subclassing and its implementation exploiting polymorphic procedures
    by Mancini, Luigi V.

    Published 1988
    Order via interlibrary loan
    Book


    Saved in:

Search Tools: