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
The Confession
John Grisham
2006
A House is built at Pooh Corner for Eeyore
A. A. Milne
1976
