Research Catalog

Search tip: Enter one or more keywords. Use quotation marks to search for an exact phrase.

Advanced search

Active filters

Displaying 19 of 19 results

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

0 resources

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

0 resources

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

0 resources

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

0 resources

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

0 resources

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

0 resources

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

0 resources

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

0 resources

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

0 resources

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

0 resources

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

0 resources

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

0 resources

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

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

0 resources

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

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

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

0 resources

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

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

No results found from Digital Research Books Beta

Digital books for research from multiple sources worldwide - all free to read, download, and keep. No library card required.

Read more about the project

Explore Digital Research Books Beta