top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
Correctness proof of a self-stabilizing distributed clock synchronization protocol for arbitrary digraphs [[electronic resource] /] / Mahyar R. Malekpour
Correctness proof of a self-stabilizing distributed clock synchronization protocol for arbitrary digraphs [[electronic resource] /] / Mahyar R. Malekpour
Autore Malekpour Mahyar R
Pubbl/distr/stampa Hampton, Va. : , : National Aeronautics and Space Administration, Langley Research Center, , [2011]
Descrizione fisica 1 online resource (vi, 24 pages) : illustrations
Collana NASA/TM
Soggetto topico Clocks
Synchronism
Proving
Stabilization
Messages
Protocol (computers)
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-9910701781103321
Malekpour Mahyar R  
Hampton, Va. : , : National Aeronautics and Space Administration, Langley Research Center, , [2011]
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Model checking a self-stabilizing distributed clock synchronization protocol for arbitrary digraphs [[electronic resource] /] / Mahyar R. Malekpour
Model checking a self-stabilizing distributed clock synchronization protocol for arbitrary digraphs [[electronic resource] /] / Mahyar R. Malekpour
Autore Malekpour Mahyar R
Pubbl/distr/stampa Hampton, Va. : , : National Aeronautics and Space Administration, Langley Research Center, , [2011]
Descrizione fisica 1 online resource (vi, 24 pages) : illustrations
Collana NASA/TM
Soggetto topico Clocks
Stabilization
Distributed processing
Time synchronization
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-9910701156903321
Malekpour Mahyar R  
Hampton, Va. : , : National Aeronautics and Space Administration, Langley Research Center, , [2011]
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Model-driven test generation of distributed systems / / Arvind Easwaran, Brendan Hall, and Kevin Schweiker
Model-driven test generation of distributed systems / / Arvind Easwaran, Brendan Hall, and Kevin Schweiker
Autore Easwaran Arvind
Pubbl/distr/stampa Hampton, Va. : , : National Aeronautics and Space Administration, Langley Research Center, , [2012]
Descrizione fisica 1 online resource (30 pages) : color illustrations
Collana [NASA contractor report]
Soggetto topico Clocks
Fault tolerance
Synchronism
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-9910702453003321
Easwaran Arvind  
Hampton, Va. : , : National Aeronautics and Space Administration, Langley Research Center, , [2012]
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
A self-stabilizing distributed clock synchronization protocol for arbitrary digraphs [[electronic resource] /] / Mahyar R. Malekpour
A self-stabilizing distributed clock synchronization protocol for arbitrary digraphs [[electronic resource] /] / Mahyar R. Malekpour
Autore Malekpour Mahyar R
Pubbl/distr/stampa Hampton, Va. : , : National Aeronautics and Space Administration, Langley Research Center, , [2011]
Descrizione fisica 1 online resource (35 pages) : illustrations
Collana NASA/TM
Soggetto topico Clocks
Protocol (computers)
Stabilization
Time synchronization
Synchronizers
Algorithms
Communication networks
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-9910700751003321
Malekpour Mahyar R  
Hampton, Va. : , : National Aeronautics and Space Administration, Langley Research Center, , [2011]
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui