Añadir a mi colección
Formato
También te puede gustar
Defining the IEEE-854 floating-point standard in PVS
Paul S. Miner
1995
Prospects for CFD on petaflops systems
David E. Keyes
1997
Interpretation of IEEE-854 floating-point standard and definition in the HOL system
Victor A. Carreño
Toward a formal verification of a floating-point coprocessor and its composition with a central processing unit
Jing Pan
1991
Improved load distribution in parallel sparse Cholesky factorization
Edward Rothberg
1994
Methods and applications of error-free computation
Robert Todd Gregory
1984
On the accuracy of solving triangular systems in parallel
Nai-kuan Tsao
1988
Numerical methods for engineers
Steven C. Chapra
1985
