Achieving agreement in three rounds with bounded-Byzantine faults / / Mahyar R. Malekpour |
Autore | Malekpour Mahyar R. |
Pubbl/distr/stampa | Hampton, Virginia : , : National Aeronautics and Space Administration, Langley Research Center, , August 2015 |
Descrizione fisica | 1 online resource (ii, 35 pages) : illustrations |
Collana | NASA/TM |
Soggetto topico |
Program verification (computers)
Fault tolerance Distributed processing Time synchronization Fault detection |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910704022803321 |
Malekpour Mahyar R.
![]() |
||
Hampton, Virginia : , : National Aeronautics and Space Administration, Langley Research Center, , August 2015 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Active vibration reduction of the Advanced Stirling Convertor / / Scott D. Wilson, Jonathan F. Metscher, and Nicholas A. Schifer |
Autore | Wilson Scott D (Scott Dean) |
Pubbl/distr/stampa | Cleveland, Ohio : , : National Aeronautics and Space Administration, Glenn Research Center, , December 2016 |
Descrizione fisica | 1 online resource (11 pages) : color illustrations |
Collana | NASA/TM |
Soggetto topico |
Balancing
Fault tolerance Nuclear fuels Space missions Stirling cycle |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910707941703321 |
Wilson Scott D (Scott Dean)
![]() |
||
Cleveland, Ohio : , : National Aeronautics and Space Administration, Glenn Research Center, , December 2016 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Advanced information processing system [[electronic resource] ] : Input/output system services / / Tom Masotto, Linda Alger |
Autore | Masotto Thomas K |
Pubbl/distr/stampa | Hampton, Va. : , : National Aeronautics and Space Administration, Langley Research Center, , [1989] |
Descrizione fisica | 1 volume |
Altri autori (Persone) | AlgerLinda (Linda S.) |
Collana | NASA contractor report |
Soggetto topico |
Architecture (computers)
Avionics Computer networks Data processing Fault tolerance Information systems Input Multiprocessing (computers) Output |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti | Advanced information processing system |
Record Nr. | UNINA-9910698990403321 |
Masotto Thomas K
![]() |
||
Hampton, Va. : , : National Aeronautics and Space Administration, Langley Research Center, , [1989] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Copilot : monitoring embedded systems / / Lee Pike [and three others] |
Autore | Pike Lee |
Pubbl/distr/stampa | Hampton, Va. : , : National Aeronautics and Space Administration, Langley Research Center, , [2012] |
Descrizione fisica | 1 online resource (31 pages) : color illustrations |
Collana | [NASA contractor report] |
Soggetto topico |
Fault tolerance
Real time operation Aircraft pilots Avionics |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti | Copilot |
Record Nr. | UNINA-9910702092103321 |
Pike Lee
![]() |
||
Hampton, Va. : , : National Aeronautics and Space Administration, Langley Research Center, , [2012] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Design of the protocol processor for the ROBUS-2 communication system [[electronic resource] /] / Wilfredo Torres-Pomales, Mahyar Malekpour and Paul S. Miner |
Autore | Torres-Pomales Wilfredo |
Pubbl/distr/stampa | Hampton, Va. : , : National Aeronautics and Space Administration, Langley Research Center, , [2005] |
Descrizione fisica | 1 online resource (xvi, 233 pages) : illustrations |
Altri autori (Persone) |
MalekpourMahyar
MinerPaul S. <1962-> |
Collana | NASA/TM- |
Soggetto topico |
Communication networks
Protocol (computers) Data processing equipment Computer systems design Fault tolerance |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910697039403321 |
Torres-Pomales Wilfredo
![]() |
||
Hampton, Va. : , : National Aeronautics and Space Administration, Langley Research Center, , [2005] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Development of the Orion crew-service module umbilical retention and release mechanism / / Damon Delap, Joel Glidden and Christopher Lamoreaux |
Autore | Delap Damon |
Pubbl/distr/stampa | Cleveland, Ohio : , : National Aeronautics and Space Administration, Glenn Research Center, , September 2013 |
Descrizione fisica | 1 online resource (9 pages) : illustrations (some color) |
Collana | NASA/TM |
Soggetto topico |
Command service modules
Aerodynamic loads Fault tolerance Flight tests Life support systems Spacecraft modules |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910702782903321 |
Delap Damon
![]() |
||
Cleveland, Ohio : , : National Aeronautics and Space Administration, Glenn Research Center, , September 2013 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Distributed system design checklist / / Brendan Hall and Kevin Driscoll |
Autore | Hall Brendan |
Pubbl/distr/stampa | Hampton, Virginia : , : National Aeronautics and Space Administration, Langley Research Center, , July 2014 |
Descrizione fisica | 1 online resource (37 pages) : color illustrations |
Collana | NASA-CR |
Soggetto topico |
Distributed parameter systems
Fault tolerance Avionics Systems engineering Modularity |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910702730103321 |
Hall Brendan
![]() |
||
Hampton, Virginia : , : National Aeronautics and Space Administration, Langley Research Center, , July 2014 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Error propagation analysis in the SAE Architecture Analysis and Design Language (AADL) and the EDICT tool framework [[electronic resource] /] / Brian W. LaValley, Philip D. Little, and Chris J. Walter |
Autore | LaValley Brian W |
Pubbl/distr/stampa | Hampton, Va. : , : National Aeronautics and Space Administration, Langley Research Center, , [2011] |
Descrizione fisica | 1 online resource (29 pages) : color illustrations |
Altri autori (Persone) |
LittlePhilip D
WalterC. J (Chris J.) |
Collana | NASA/CR |
Soggetto topico |
Design analysis
Error analysis Fault tolerance Reliability |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti | Error propagation analysis in the SAE Architecture Analysis and Design Language |
Record Nr. | UNINA-9910700818003321 |
LaValley Brian W
![]() |
||
Hampton, Va. : , : National Aeronautics and Space Administration, Langley Research Center, , [2011] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Fault injection and monitoring capability for a fault-tolerant distributed computation system [[electronic resource] /] / Wilfredo Torres-Pomales, Amy M. Yates, and Mahyar R. Malekpour |
Autore | Torres-Pomales Wilfredo |
Pubbl/distr/stampa | Hampton, Va. : , : National Aeronautics and Space Administration, Langley Research Center, , [2010] |
Descrizione fisica | 1 online resource (x, 189 pages) : illustrations |
Altri autori (Persone) |
YatesAmy M
MalekpourMahyar R |
Collana | NASA/TM- |
Soggetto topico |
Fault tolerance
Mathematical models Performance prediction Computer systems programs Distributed parameter systems Flight control Design analysis |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910699793203321 |
Torres-Pomales Wilfredo
![]() |
||
Hampton, Va. : , : National Aeronautics and Space Administration, Langley Research Center, , [2010] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
A fault injection experiment using the airlab diagnostic emulation facility / / Robert Baker, Scott Mangum, and Charlotte Scheper |
Autore | Baker Robert |
Pubbl/distr/stampa | Research Triangle Park, North Carolina : , : Center for Digital Systems Research, Research Triangle Institute |
Descrizione fisica | 1 online resource (iii, 124 pages) : illustrations |
Collana | NASA contractor report |
Soggetto topico |
Computerized simulation
Fault tolerance Flight control Logic circuits Reliability analysis |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910705369503321 |
Baker Robert
![]() |
||
Research Triangle Park, North Carolina : , : Center for Digital Systems Research, Research Triangle Institute | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|