-
1
-
-
0002767338
-
Multiple precision, multiple processor vortex sheet roll-up computation
-
Philadelphia, Pennsylvania
-
David H. Bailey, Robert Krasny, and Richard Pelz. Multiple precision, multiple processor vortex sheet roll-up computation. In Proceedings of the Sixth SIAM Conference on Parallel Processing for Scientific Computing, pages 52-56, Philadelphia, Pennsylvania, 1993.
-
(1993)
Proceedings of the Sixth SIAM Conference on Parallel Processing for Scientific Computing
, pp. 52-56
-
-
Bailey, D.H.1
Krasny, R.2
Pelz, R.3
-
2
-
-
34250885251
-
Formal Methods Applied to a Floating-Point Number System
-
Geoff Barrett. Formal Methods Applied to a Floating-Point Number System. IEEE Transactions on Software Engineering, 15(5):611-621, 1989.
-
(1989)
IEEE Transactions on Software Engineering
, vol.15
, Issue.5
, pp. 611-621
-
-
Barrett, G.1
-
3
-
-
84949522908
-
-
editors, France, September, Springer-Verlag
-
Yves Bertot, Gilles Dowek, André Hirschowitz, Christine Paulin, and Laurent Théry, editors. Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs’99, number 1690 in LNCS, Nice, France, September 1999. Springer-Verlag.
-
(1999)
Theorem Proving in Higher Order Logics: 12Th International Conference, TPHOLs’99, Number 1690 in LNCS, Nice
-
-
Bertot, Y.1
Dowek, G.2
Hirschowitz, R.3
Paulin, C.4
Théry, L.5
-
4
-
-
0026173492
-
Semantics for exact floating point operations
-
Peter Kornerup and David W. Matula, editors, Grenoble, France, IEEE Computer Society Press
-
Gerd Bohlender, Wolfgang Walter, Peter Kornerup, and DavidW. Matula. Semantics for exact floating point operations. In Peter Kornerup and David W. Matula, editors, Proceedings of the 10th Symposium on Computer Arithmetic, pages 22-26, Grenoble, France, 1991. IEEE Computer Society Press.
-
(1991)
Proceedings of the 10Th Symposium on Computer Arithmetic
, pp. 22-26
-
-
Bohlender, G.1
Walter, W.2
Kornerup, P.3
Matula, D.4
-
5
-
-
0032643118
-
Efficient exact geometric computation made easy
-
Miami, Florida
-
C. Burnikel, R. Fleischer, K. Mehlhorn, and S. Schirra. Efficient exact geometric computation made easy. In Proceedings of the 15th Annual ACM Symposium on Computational Geometry, pages 341-350, Miami, Florida, 1999.
-
(1999)
Proceedings of the 15Th Annual ACM Symposium on Computational Geometry
, pp. 341-350
-
-
Burnikel, C.1
Fleischer, R.2
Mehlhorn, K.3
Schirra, S.4
-
6
-
-
0015631097
-
Static and dynamic numerical characteristics of floating point arithmetic
-
William J. Cody. Static and dynamic numerical characteristics of floating point arithmetic. IEEE Transactions on Computers, 22(6):598-601, 1973.
-
(1973)
IEEE Transactions on Computers
, vol.22
, Issue.6
, pp. 598-601
-
-
Cody, W.J.1
-
7
-
-
0021477999
-
A proposed radix and word-length independent standard for floating point arithmetic
-
William J. Cody, Richard Karpinski, et al. A proposed radix and word-length independent standard for floating point arithmetic. IEEE Micro, 4(4):86-100, 1984.
-
(1984)
IEEE Micro
, vol.4
, Issue.4
, pp. 86-100
-
-
Cody, W.J.1
Karpinski, R.2
-
8
-
-
0032674017
-
Multiplications of floating point expansions
-
Israel Koren and Peter Kornerup, editors, Adelaide, Australia
-
Marc Daumas. Multiplications of floating point expansions. In Israel Koren and Peter Kornerup, editors, Proceedings of the 14th Symposium on Computer Arithmetic, pages 250-257, Adelaide, Australia, 1999.
-
(1999)
Proceedings of the 14Th Symposium on Computer Arithmetic
, pp. 250-257
-
-
Daumas, M.1
-
9
-
-
0001453394
-
Division of Floating-Point Expansions with an application to the computation of a determinant
-
Marc Daumas and Claire Finot. Division of Floating-Point Expansions with an application to the computation of a determinant. Journal of Universal Computer Science, 5(6):323-338, 1999.
-
(1999)
Journal of Universal Computer Science
, vol.5
, Issue.6
, pp. 323-338
-
-
Daumas, M.1
Finot, C.2
-
11
-
-
0000810983
-
A Floating-Point Technique for Extending the Available Precision
-
T. J. Dekker. A Floating-Point Technique for Extending the Available Precision. Numerische Mathematik, 18(03):224-242, 1971.
-
(1971)
Numerische Mathematik
, vol.18
, Issue.3
, pp. 224-242
-
-
Dekker, T.J.1
-
12
-
-
17644370757
-
Proof of Imperative Programs in Type Theory
-
Kloster Irsee, Germany, number 1657 in LNCS. Springer-Verlag, March
-
Jean-Christophe Filliâtre. Proof of Imperative Programs in Type Theory. In International Workshop, TYPES’98, Kloster Irsee, Germany, number 1657 in LNCS. Springer-Verlag, March 1998.
-
International Workshop, TYPES’98
, pp. 1998
-
-
Filliâtre, J.-C.1
-
13
-
-
0026122066
-
What every computer scientist should know about floating point arithmetic
-
David Goldberg. What every computer scientist should know about floating point arithmetic. ACM Computing Surveys, 23(1):5-47, 1991.
-
(1991)
ACM Computing Surveys
, vol.23
, Issue.1
, pp. 5-47
-
-
Goldberg, D.1
-
17
-
-
0003258173
-
Accuracy and stability of numerical algorithms
-
Nicholas J. Higham. Accuracy and stability of numerical algorithms. SIAM, 1996.
-
(1996)
SIAM
-
-
Higham, N.J.1
-
18
-
-
0006399144
-
The Coq Proof Assistant: A Tutorial
-
Version 6. 1. Technical Report 204
-
Gérard Huet, Gilles Kahn, and Christine Paulin-Mohring. The Coq Proof Assistant: A Tutorial: Version 6. 1. Technical Report 204, INRIA, 1997.
-
(1997)
INRIA
-
-
Huet, G.1
Kahn, G.2
Paulin-Mohring, C.3
-
19
-
-
0032641817
-
A core library for robust numeric and geometric computation
-
Miami, Florida
-
V. Karamcheti, C. Li, I. Pechtchanski, and Chee Yap. A core library for robust numeric and geometric computation. In Proceedings of the 15th Annual ACM Symposium on Computational Geometry, pages 351-359, Miami, Florida, 1999.
-
(1999)
Proceedings of the 15Th Annual ACM Symposium on Computational Geometry
, pp. 351-359
-
-
Karamcheti, V.1
Li, C.2
Pechtchanski, I.3
Yap, C.4
-
20
-
-
18744418418
-
PARANOIA: A floating-point benchmark
-
Richard Karpinski. PARANOIA: a floating-point benchmark. Byte, 10(2):223-235, 1985.
-
(1985)
Byte
, vol.10
, Issue.2
, pp. 223-235
-
-
Karpinski, R.1
-
23
-
-
0015435170
-
Algorithms to reveal properties of floating-Point Arithmetic
-
Michael A. Malcolm. Algorithms to reveal properties of floating-Point Arithmetic. Communications of the ACM, 15(11):949-951, 1972.
-
(1972)
Communications of the ACM
, vol.15
, Issue.11
, pp. 949-951
-
-
Malcolm, M.A.1
-
24
-
-
84949523162
-
The Three Gap Theorem: Specification and Proof in Coq
-
Technical Report 3848
-
Micaela Mayero. The Three Gap Theorem: Specification and Proof in Coq. Technical Report 3848, INRIA, 1999.
-
(1999)
INRIA
-
-
Mayero, M.1
-
25
-
-
0003725541
-
Defining the IEEE-854 floating-point standard in pvs
-
Technical Memorandum 110167
-
Paul S. Miner. Defining the IEEE-854 floating-point standard in pvs. Technical Memorandum 110167, NASA, Langley Research Center, 1995.
-
(1995)
NASA, Langley Research Center
-
-
Miner, P.S.1
-
26
-
-
0012058630
-
Note on quasi double-precision
-
Ole Møller. Note on quasi double-precision. BIT, 5(4):251-255, 1965.
-
(1965)
BIT
, vol.5
, Issue.4
, pp. 251-255
-
-
Møller, O.1
-
27
-
-
0002811620
-
Quasi double-precision in floating point addition
-
Ole Møller. Quasi double-precision in floating point addition. BIT, 5(1):37-50, 1965.
-
(1965)
BIT
, vol.5
, Issue.1
, pp. 37-50
-
-
Møller, O.1
-
29
-
-
0016440136
-
Evading the drift in floating point addition
-
John F. Reiser and Donald E. Knuth. Evading the drift in floating point addition. Information Processing Letter, 3(3):84-87, 1975.
-
(1975)
Information Processing Letter
, vol.3
, Issue.3
, pp. 84-87
-
-
Reiser, J.F.1
Knuth, D.E.2
-
30
-
-
84957694407
-
PVS: Combining specification, proof checking, and model checking
-
Springer-Verlag, July
-
John M. Rushby, Natajaran Shankar, and Mandayam Srivas. PVS: Combining specification, proof checking, and model checking. In CAV’96, volume 1102 of LNCS. Springer-Verlag, July 1996.
-
(1996)
CAV’96, Volume 1102 of LNCS
-
-
Rushby, J.M.1
Shankar, N.2
Mandayam, S.3
-
31
-
-
0032649111
-
A Mechanically Checked Proof of IEEE Compliance of the AMD K5 Floating-Point Square Root Microcode
-
David M. Russinoff. A Mechanically Checked Proof of IEEE Compliance of the AMD K5 Floating-Point Square Root Microcode. Formal Methods in System Design, 14(1):75-125, January 1999.
-
(1999)
Formal Methods in System Design
, vol.14
, Issue.1
, pp. 75-125
-
-
Russinoff, D.M.1
-
32
-
-
0031518093
-
Adaptive Precision Floating-Point Arithmetic and Fast Robust Geometric Predicates
-
Jonathan Richard Shewchuk. Adaptive Precision Floating-Point Arithmetic and Fast Robust Geometric Predicates. Discrete & Computational Geometry, 18(03):305-363, 1997.
-
(1997)
Discrete & Computational Geometry
, vol.18
, Issue.3
, pp. 305-363
-
-
Shewchuk, J.R.1
-
33
-
-
0010604805
-
Understanding Z: A Specification Language and its Formal Semantics
-
Cambridge University Press
-
Mike J. Spivey. Understanding Z: A Specification Language and its Formal Semantics. Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1988.
-
(1988)
Cambridge Tracts in Theoretical Computer Science
-
-
Spivey, M.J.1
|