Cover Image

MIPS : the good, the bad and the useful /

Bibliographic Details
Main Author:	Richardson, Jerry K.
Corporate Authors:	Mitre Corporation, United States. National Aeronautics and Space Administration
Format:	Government Document eBook
Language:	English
Published:	Houston, Tex. : [Washington, D.C.] : The MITRE Corporation ; [National Aeronautics and Space Administration], [1987]
Series:	NASA contractor report ; NASA CR-182893. JSC (Series) ; 22603.
Subjects:	Computer programs. Computer systems design. Floating point arithmetic.
Online Access:	http://purl.fdlp.gov/GPO/gpo31225

Similar Items

Toward a formal verification of a floating-point coprocessor and its composition with a central processing unit /
by: Pan, Jing
Published: (1991)

Map projection induced variations in locations of polygon geofence edges /
by: Neeley, Paula, et al.
Published: (2017)

Computer arithmetic /
Published: (1990)

Improving floating-point programming /
Published: (1990)

The 8096 floating-point arithmetic library user's guide for DOS systems.
Published: (1985)

Numerical computing with IEEE floating point arithmetic : including one theorem, one rule of thumb, and one hundred and one exercises /
by: Overton, Michael L.
Published: (2001)

Symbolic algebraic methods and verification methods /
Published: (2001)

Proceedings : 4th Symposium on Computer Arithmetic, October 25-27, 1978, Santa Monica, California /
Published: (1978)

3rd Symposium on Computer Arithmetic, November 19-20, 1975, Southern Methodist University, Dallas, Texas : [papers] /
Published: (1975)

Concentrator optical characterization using computer mathematical modelling and point source testing /
by: Dennison, E. W.
Published: (1984)

A high-level formalization of floating-point numbers in PVS /
by: Boldo, Sylvie
Published: (2006)

Microgravity silicon zoning investigation : final report /
by: Kern, Edward L., 1934-, et al.
Published: (1985)

Ground systems development environment (GSDE) interface requirements analysis : final report /
Published: (1991)

Evaluating the effectiveness of the 1998-1999 NASA CONNECT program /
Published: (2000)

Development of integrated programs for aerospace-vehicle design (IPAD).
Published: (1977)

A bit-serial floating point multiply/add architecture for signal processing applications /
by: Williams, Bertrand Jeffery, 1959-
Published: (1983)

Digital systems design language : design synthesis of digital systems /
by: Shiva, Sajjan G.
Published: (1979)

Overview of design, lifecycle, and safety for computer-based systems /
by: Torres-Pomales, Wilfredo, et al.
Published: (2015)

Proceedings /
Published: (1978)

Curvature continuity of cubic Bezier curves in the solid modeling aerospace research tools design software : interim report /
by: Roach, Robert L.
Published: (1990)

Technology 2000 : proceedings of a conference held at the Washington Hilton Hotel and Towers, Washington, D.C., November 27-28, 1990.

Final report for a telerobotic digital controller system.
Published: (1992)

Final report for a telerobotic digital controller system.
Published: (1992)

The development of the CONDUIT advanced control system design and evaluation interface with a case study application to an advanced fly by wire helicopter design /
by: Colbourne, Jason
Published: (1999)

Software-implemented fault insertion : an FTMP example /
by: Czeck, Edward W., et al.
Published: (1987)

Methods and applications of error-free computation /
by: Gregory, R. T. (Robert Todd)
Published: (1984)

Proceedings of the Fourteenth Annual Software Engineering Workshop.
Published: (1989)

The LaRC CSI phase-0 evolutionary model testbed-design and experimental results /
by: Belvin, W. K.
Published: (1991)

Stochastic model of the NASA/MSFC ground facility for large space structures with uncertain parameters : part II, the maximum entropy approach /
by: Hsia, Wei-Shen
Published: (1989)

FREQ : a computational package for multivariable system loop-shaping procedures /
by: Giesy, Daniel P.
Published: (1989)

Firewall traversal for CORBRA applications using an implementation of bidirectional IIOP in MICO /
by: Griffin, Robert I.
Published: (2002)

Space station data system analysis/architecture study.
Published: (1985)

Attitude control/momentum management and payload poInting in advanced space vehicles /
by: Parlos, Alexander G.
Published: (1990)

AEOSS runtime manual for system analysis on Advanced Earth-Orbital Spacecraft Systems /
by: Lee, Hwa-Ping
Published: (1990)

NASA software engineering benchmarking study /
by: Rarick, Heather L.
Published: (2013)

Space station data system analysis/architecture study.
Published: (1985)

Integrating automated support for a software management cycle into the TAME system /
by: Sunazuka, Toshihiko
Published: (1989)

A computer module used to calculate the horizontal control surface size of a conceputal aircraft design /
by: Sandlin, Doral R. (Doral Randolph), 1930-
Published: (1990)

CDC to Cray FORTRAN : conversion manual /
by: McGary, Charlotte, et al.
Published: (1983)

A general-purpose optimization engine for multi-disciplinary design applications /
by: Patnaik, Surya N., et al.
Published: (1996)