AIPRF
2007
13 years 6 months ago
2007
We considered different varieties of inference engines for a sub-system of Mission Control Technologies (MCT) being developed at NASA Ames Research center. One inference engine, J...
SC
1991
ACM
13 years 8 months ago
1991
ACM
Two problems from the recently published “NAS Parallel Benchmarks” have been implemented on three advanced parallel computer systems. These two benchmarks are the following: (...
SI3D
1995
ACM
13 years 8 months ago
1995
ACM
This paper describes a collaborative research e ort initiated by Monterey Bay Aquarium Research Institute MBARI , Stanford Aerospace Robotics Laboratory ARL , and NASA Ames Rese...
SC
1992
ACM
13 years 8 months ago
1992
ACM
The NAS Parallel Benchmarks have been developed at NASA Ames Research Center to study the performance of parallel supercomputers. The eight benchmark problems are specified in a &...
AMAST
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. Formal certification is based on the idea that a mathematical proof of some property of a piece of software can be regarded as a certificate of correctness which, in pr...
ICRA
2005
IEEE
13 years 10 months ago
2005
IEEE
— The Intelligent Robotics Group at NASA Ames Research Center has developed a new mobile robot hardware architecture designed for extensibility and reconfigurability. Currently ...