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
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
Curiosities
Adam Fieled
2004
Russian Formalism
Peter Steiner
