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
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
The role of the host in a cooperating mainframe and workstation environment
Antone Kusmanoff
1989
Parallel discrete event simulation
Daniel A. Reed
1987
