LEADER 01675nam  2200469I  450 
001 9910704022803321
005 20151113161551.0
035   $a(CKB)5470000002437429
035   $a(OCoLC)929074455
035   $a(EXLCZ)995470000002437429
100   $a20151113j201508    ua             0
101 0 $aeng
135   $aurmn|||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aAchieving agreement in three rounds with bounded-Byzantine faults /$fMahyar R. Malekpour
210  1$aHampton, Virginia :$cNational Aeronautics and Space Administration, Langley Research Center,$dAugust 2015.
215   $a1 online resource (ii, 35 pages) $cillustrations
225 1 $aNASA/TM ;$v2015-218789
300   $aTitle from title screen (viewed Nov. 13, 2015).
300   $a"August 2015."
320   $aIncludes bibliographical references (pages 13-14).
606   $aProgram verification (computers)$2nasat
606   $aFault tolerance$2nasat
606   $aDistributed processing$2nasat
606   $aTime synchronization$2nasat
606   $aFault detection$2nasat
615  7$aProgram verification (computers)
615  7$aFault tolerance.
615  7$aDistributed processing.
615  7$aTime synchronization.
615  7$aFault detection.
700   $aMalekpour$b Mahyar R.$01394752
712 02$aLangley Research Center,
712 02$aUnited States.$bNational Aeronautics and Space Administration,
801  0$bGPO
801  1$bGPO
906   $aBOOK
912   $a9910704022803321
996   $aAchieving agreement in three rounds with bounded-Byzantine faults$93472192
997   $aUNINA