01675nam 2200469I 450 991070402280332120151113161551.0(CKB)5470000002437429(OCoLC)929074455(EXLCZ)99547000000243742920151113j201508 ua 0engurmn|||||||||txtrdacontentcrdamediacrrdacarrierAchieving agreement in three rounds with bounded-Byzantine faults /Mahyar R. MalekpourHampton, Virginia :National Aeronautics and Space Administration, Langley Research Center,August 2015.1 online resource (ii, 35 pages) illustrationsNASA/TM ;2015-218789Title from title screen (viewed Nov. 13, 2015)."August 2015."Includes bibliographical references (pages 13-14).Program verification (computers)nasatFault tolerancenasatDistributed processingnasatTime synchronizationnasatFault detectionnasatProgram verification (computers)Fault tolerance.Distributed processing.Time synchronization.Fault detection.Malekpour Mahyar R.1394752Langley Research Center,United States.National Aeronautics and Space Administration,GPOGPOBOOK9910704022803321Achieving agreement in three rounds with bounded-Byzantine faults3472192UNINA