Research Catalog

New! Try our Article Search to discover online journals, books, and more from home with your library card.

Selected filters.Clear Filters

  • Efficient symbolic state-space construction for asynchronous systems [microform] / Gianfranco Ciardo, Gerald Lüttgen, Radu Siminiceanu.

    • Text
    • Hampton, VA : Institute for Computer Applications in Science and Engineering, NASA Langley Research Center ; Springfield, VA : National Technical Information Service, distributor, [1999]
    • 1999

  • Runtime support for data parallel tasks [microform] / Matthew Haines ... [et al.].

    • Text
    • Hampton, Va. : Institute for Computer Applications in Science and Engineering, NASA Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1994]
    • 1994

  • Analysis of optimistic window-based synchronization [microform] / Phillip M. Dickens ... [et al.].

    • Text
    • Hampton, VA : Institute for Computer Applications in Science and Engineering, NASA Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1994]
    • 1994

  • Multi-level modulation codes and multi-stage decoding [microform] / Shu Lin, principal investigator.

    • Text
    • [Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1990]
    • 1990

  • A "conservative" approach to parallelizing the Sharks World simulation [microform] / David M. Nicol, Scott E. Riffle.

    • Text
    • Hampton, VA : Institute for Computer Applications in Science and Engineering, NASA Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1990]
    • 1990

  • Synchronous response modelling and control of an annular momentum control device [microform] / Richard Hockney, Bruce G. Johnson, and Kathleen Misovec.

    • Text
    • [Washington, D.C.] : National Aeronautics and Space Administration, Scientific and Technical Information Division ; [Springfield, VA : For sale by the National Technical Information Service], 1988.
    • 1988

  • An optimized implementation of a fault-tolerant clock synchronization circuit [microform] / Wilfredo Torres-Pomales.

    • Text
    • Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1995]
    • 1995

  • Phase locked loop synchonization for direct detection optical PPM communication systems [microform] : technical report / by C.C. Chen, C.S. Gardner.

    • Text
    • Urbana, Ill. : Electro-Optic Systems Laboratory, Dept. of Electrical and Computer Engineering, College of Engineering, University of Illinois ; [Washington, D.C. : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1985]
    • 1985

  • Asynchronous communication of TLNS3DMB boundary exchange [microform] / Dana P. Hammond.

    • Text
    • Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1997]
    • 1997

  • A synchronization algorithm and implementation for high-speed block codes applications [microform] / Yu Zhang ... [et al.].

    • Text
    • [Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1998- ]
    • 1998-present

  • A faster-than relation for asynchronous processes [microform] / Gerald Luettgen.

    • Text
    • Hampton, VA : Institute for Computer Applications in Science and Engineering, NASA Langley Research Center ; Springfield, VA : National Technical Information Service, distributor, [2001]
    • 2001

  • Log-based recovery in asynchronous distributed systems [microform] / Kenneth P. Kane.

    • Text
    • Ithaca, N.Y. : Cornell University, Dept. of Computer Science ; [Washington, D.C. : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1990]
    • 1990

  • The cost of conservative synchronization in parallel discrete event simulations [microform] / David M. Nicol.

    • Text
    • Hampton, Va. : Institute for Computer Applications in Science and Engineering, NASA Langley Research Center, [1990]
    • 1990
    • 1 Resource

    Available Online

    http://purl.access.gpo.gov/GPO/LPS68336

  • AFTI/F-16 flight test results and lessons [microform] / Steven D. Ishmael and Capt. Donald R. McMonagle.

    • Text
    • Edwards, Calif. : National Aeronautics and Space Administration, Ames Research Center, Dryden Flight Research Facility, [1983]
    • 1983

  • Correctness proof of a self-stabilizing distributed clock synchronization protocol for arbitrary digraphs / Mahyar R. Malekpour.

    • Text
    • Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, [2011]
    • 2011
    • 1 Resource

    Available Online

    https://purl.fdlp.gov/GPO/gpo22669

  • Approximation methods for stochastic petri nets / by Hauke Jörg Jungnitz.

    • Text
    • Troy, New York : Rensselaer Polytechnic Institute, Electrical, Computer, and Systems Engineering Department, May 1992.
    • 1992-5
    • 1 Resource

    Available Online

    https://purl.fdlp.gov/GPO/gpo62371

  • Approximation methods for stochastic petri nets / by Hauke Jörg Jungnitz.

    • Text
    • Troy, New York : Rensselaer Polytechnic Institute, Electrical, Computer, and Systems Engineering Department, May 1992.
    • 1992-5

  • Model-driven test generation of distributed systems / Arvind Easwaran, Brendan Hall, and Kevin Schweiker.

    • Text
    • Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, [2012]
    • 2012
    • 1 Resource

    Available Online

    https://purl.fdlp.gov/GPO/gpo33326

  • Modeling and analysis of mixed synchronous/asynchronous systems / Kevin R. Driscoll, Gabor Madl, and Brendan Hall.

    • Text
    • Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, [2012]
    • 2012
    • 1 Resource

    Available Online

    https://purl.fdlp.gov/GPO/gpo33340

No results found from Digital Research Books Beta

Digital books for research from multiple sources world wide- all free to read, download, and keep. No Library Card is Required. Read more about the project.

digital-research-book
Explore Digital Research Books Beta