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
Available online
http://purl.access.gpo.gov/GPO/LPS68336AFTI/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
Available online
https://purl.fdlp.gov/GPO/gpo22669Approximation 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/gpo62371Approximation 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
Available online
https://purl.fdlp.gov/GPO/gpo33326Modeling 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