Mechanical verification of a schematic Byzantine clock synchronization algorithm /

An earth-based coordinate clock network /

Ashby, Neil.
United States. National Bureau of Standards.

January 1975

Item 249-A.Work performed for the Time and Frequency Division under contract CST-8335.Includes bibli...

A very low frequency (VLF) synchronizing system /

Looney, Chesley H.
Goddard Space Flight Center.

Prepared at Goddard Space Flight Center."February 1961."Cover title.Includes bibliographical referen...

A compensatory algorithm for the slow-down effect on constant-time-separation approaches /

Abbott, Terence S.
Langley Research Center.

January 1991

Prepared at Langley Research Center.Bibliography: p. 16.Mode of access: Internet

Formal verification of a fault tolerant clock synchronization algorithm /

Rushby, John.
Henke, Frieder von.
Langley Research Center.
SRI International.

January 1989

"Prepared for Langley Research Center under Contract NAS1-17067."Research done at SRI International....

Experimental validation of clock synchronization algorithms /

Palumbo, Daniel L.
Graham, R. Lynn.
Langley Research Center.

January 1992

"July 1992"--Cover.Prepared at Langley Research Center.Includes bibliographical references (p. 21).M...

Validation of a fault-tolerant clock synchronization system /

Butler, Ricky W.
Johnson, Sally C.
United States. National Aeronautics and Space Administration. Scientific and Technical Information Branch.

January 1984

Subject category 62."September 1984"--Cover.Distributed to depository libraries in microfiche.Includ...

Precise time synchronization of widely separated clocks /

Morgan, Alvin H.
Boulder Labroatories (U.S.).
United States. National Bureau of Standards.

January 1959

"July 1959."Includes bibliographical references (p. 21).Mode of access: Internet

Clock synchronization and comparison : problems, techniques and hardware /

Gray, James E.
Institute for Basic Standards (U.S.). Time and Frequency Division.

January 1976

Information incorrect in publication as to sale by Supt. of Docs.CODEN: NBTNAE.Issued November 1976....

Modeling of atomic clock performance and detection of abnormal clock behavior /

Ganter, William A.
Institute for Basic Standards (U.S.). Time and Frequency Division.

January 1973

Sponsored by Time and Frequency Division, Institute for Basic Standards.Includes bibliographical ref...

Millimicrosecond coincidence circuit for high speed counting /

Wenzel, William A.
University of California, Berkeley. Lawrence Radiation Laboratory

January 1957

Lawrence Berkeley National Laboratory, University of California, University of California.Bibliograp...

Formal specification and verification of a fault-masking and transient-recovery model for digital flight-control systems /

Rushby, John.
Langley Research Center.
SRI International.

January 1991

Prepared at SRI International for Langley Research Center under Contract NAS1-18969.Bibliography: p....

Verification of the synchronous machine circle diagram /

Deets, Ralph Emerson.
Hazard, Lee Herbert.

January 1908

Typescript.Thesis (B.S.)--University of Illinois, 1908.Includes bibliographical references.Mode of a...

A transient response method for linear coupled substructures /

Admire, J. R.
Brunty, J. A.
George C. Marshall Space Flight Center.

January 1989

Prepared at George C. Marshall Space Flight Center.Bibliography: p. 19-20.Mode of access: Internet

A synchronization system for a television bandwidth compression scheme /

Carr, Edward Ellis.
University of Illinois at Urbana-Champaign. Dept. of Computer Science.

January 1971

COO 1469-0194.Supported by: Atomic Energy Commission contract no. AT (11-1) 1469.Thesis (M.S.)--Univ...

A satellite-controlled digital clock /

Cateora, J. V.
Hanson, D. W., joint author.
Davis, D. D., joint author.
United States. National Bureau of Standards.
Institute for Basic Standards (U.S.). Time and Frequency Division.

January 1976

Item 249-A.CODEN: NBTNAE.Includes bibliographical references (p. 41).Mode of access: Internet

An earth-based coordinate clock network /

Ashby, Neil.
United States. National Bureau of Standards.

January 1975

Item 249-A.Work performed for the Time and Frequency Division under contract CST-8335.Includes bibli...

A very low frequency (VLF) synchronizing system /

Looney, Chesley H.
Goddard Space Flight Center.

Prepared at Goddard Space Flight Center."February 1961."Cover title.Includes bibliographical referen...

A compensatory algorithm for the slow-down effect on constant-time-separation approaches /

Abbott, Terence S.
Langley Research Center.

January 1991

Prepared at Langley Research Center.Bibliography: p. 16.Mode of access: Internet

Formal verification of a fault tolerant clock synchronization algorithm /

Rushby, John.
Henke, Frieder von.
Langley Research Center.
SRI International.

January 1989

"Prepared for Langley Research Center under Contract NAS1-17067."Research done at SRI International....

Experimental validation of clock synchronization algorithms /

Palumbo, Daniel L.
Graham, R. Lynn.
Langley Research Center.

January 1992

"July 1992"--Cover.Prepared at Langley Research Center.Includes bibliographical references (p. 21).M...

Validation of a fault-tolerant clock synchronization system /

Butler, Ricky W.
Johnson, Sally C.
United States. National Aeronautics and Space Administration. Scientific and Technical Information Branch.

January 1984

Subject category 62."September 1984"--Cover.Distributed to depository libraries in microfiche.Includ...

Precise time synchronization of widely separated clocks /

Morgan, Alvin H.
Boulder Labroatories (U.S.).
United States. National Bureau of Standards.

January 1959

"July 1959."Includes bibliographical references (p. 21).Mode of access: Internet

Clock synchronization and comparison : problems, techniques and hardware /

Gray, James E.
Institute for Basic Standards (U.S.). Time and Frequency Division.

January 1976

Information incorrect in publication as to sale by Supt. of Docs.CODEN: NBTNAE.Issued November 1976....

Modeling of atomic clock performance and detection of abnormal clock behavior /

Ganter, William A.
Institute for Basic Standards (U.S.). Time and Frequency Division.

January 1973

Sponsored by Time and Frequency Division, Institute for Basic Standards.Includes bibliographical ref...

Millimicrosecond coincidence circuit for high speed counting /

Wenzel, William A.
University of California, Berkeley. Lawrence Radiation Laboratory

January 1957

Lawrence Berkeley National Laboratory, University of California, University of California.Bibliograp...

Formal specification and verification of a fault-masking and transient-recovery model for digital flight-control systems /

Rushby, John.
Langley Research Center.
SRI International.

January 1991

Prepared at SRI International for Langley Research Center under Contract NAS1-18969.Bibliography: p....

Verification of the synchronous machine circle diagram /

Deets, Ralph Emerson.
Hazard, Lee Herbert.

January 1908

Typescript.Thesis (B.S.)--University of Illinois, 1908.Includes bibliographical references.Mode of a...

A transient response method for linear coupled substructures /

Admire, J. R.
Brunty, J. A.
George C. Marshall Space Flight Center.

January 1989

Prepared at George C. Marshall Space Flight Center.Bibliography: p. 19-20.Mode of access: Internet

A synchronization system for a television bandwidth compression scheme /

Carr, Edward Ellis.
University of Illinois at Urbana-Champaign. Dept. of Computer Science.

January 1971

COO 1469-0194.Supported by: Atomic Energy Commission contract no. AT (11-1) 1469.Thesis (M.S.)--Univ...

A satellite-controlled digital clock /

Cateora, J. V.
Hanson, D. W., joint author.
Davis, D. D., joint author.
United States. National Bureau of Standards.
Institute for Basic Standards (U.S.). Time and Frequency Division.

January 1976

Item 249-A.CODEN: NBTNAE.Includes bibliographical references (p. 41).Mode of access: Internet

An earth-based coordinate clock network /

Ashby, Neil.
United States. National Bureau of Standards.

January 1975

Item 249-A.Work performed for the Time and Frequency Division under contract CST-8335.Includes bibli...

A very low frequency (VLF) synchronizing system /

Looney, Chesley H.
Goddard Space Flight Center.

Prepared at Goddard Space Flight Center."February 1961."Cover title.Includes bibliographical referen...

A compensatory algorithm for the slow-down effect on constant-time-separation approaches /

Abbott, Terence S.
Langley Research Center.

January 1991

Prepared at Langley Research Center.Bibliography: p. 16.Mode of access: Internet

Mechanical verification of a schematic Byzantine clock synchronization algorithm /

Abstract

Extracted data

Mechanical verification of a schematic Byzantine clock synchronization algorithm /

Abstract

Extracted data

Related items

Related items