Filter

Floating Point Arithmetic

7 books found

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

by Paul S. Miner

1995 4 ed.
Interpretation of IEEE-854 floating-point standard and definition in the HOL system
Interpretation of IEEE-854 floating-point standard and defin...

by Victor A. CarrenĖƒo

1995 2 ed.
Prospects for CFD on petaflops systems
Prospects for CFD on petaflops systems

by David E. Keyes

1997 2 ed.
Improved load distribution in parallel sparse Cholesky factorization
Improved load distribution in parallel sparse Cholesky facto...

by Edward Rothberg

1994 1 ed.
Methods and applications of error-free computation
Methods and applications of error-free computation

by Robert Todd Gregory

1984 1 ed.
On the accuracy of solving triangular systems in parallel
On the accuracy of solving triangular systems in parallel

by Nai-kuan Tsao

1988 1 ed.
Toward a formal verification of a floating-point coprocessor and its composition with a central processing unit
Toward a formal verification of a floating-point coprocessor...

by Jing Pan

1991 1 ed.