Explore Books on
floating point arithmetic
1-7 of 7 Books
Defining the IEEE-854 floating-point standard in PVS
Defining the IEEE-854 floating-point standard in PVS
By Paul S. Miner
Prospects for CFD on petaflops systems
Prospects for CFD on petaflops systems
By David E. Keyes
Interpretation of IEEE-854 floating-point standard and definition in the HOL system
Interpretation of IEEE-854 floating-point standard and definition in the HOL system
By Victor A. Carreño
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 and its composition with a central processing unit
By Jing Pan
Improved load distribution in parallel sparse Cholesky factorization
Improved load distribution in parallel sparse Cholesky factorization
By Edward Rothberg
Methods and applications of error-free computation
By Robert Todd Gregory
On the accuracy of solving triangular systems in parallel
On the accuracy of solving triangular systems in parallel
By Nai-kuan Tsao