Interpretation of IEEE-854 floating-point standard and definition in the HOL system View on Open Library

Interpretation of IEEE-854 floating-point standard and definition in the HOL system

by Victor A. Carreño

No reviews yet
First published: 1995 1 language
Subjects
Floating point arithmetic Formalism Standards

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Victor A. Carreño

Analog-digital simulation of transient-induced logic errors and upset susceptibility of an advanced control system

Analog-digital simulation of transient-i...

A case study for the real-time experimental evaluation of the VIPER microprocessor

A case study for the real-time experimen...

You Might Also Like

More in Floating point arith...
Computer arithmetic and validity

Computer arithmetic and validity

Ulrich Kulisch
Defining the IEEE-854 floating-point standard in PVS

Defining the IEEE-854 floating-point sta...

Paul S. Miner
Floating-point computation

Floating-point computation

Pat H. Sterbenz
Synthesis of arithmetic circuits

Synthesis of arithmetic circuits

Jean-Pierre Deschamps
Numerical Computing with IEEE Floating Point Arithmetic

Numerical Computing with IEEE Floating P...

Michael L. Overton
Prospects for CFD on petaflops systems

Prospects for CFD on petaflops systems

David E. Keyes