Computing on Sequences of Embedded Intervals

Reliable Computing

Volumn 3, Issue 3, 1997, Pages 219-227

  Berthelot, David ^a   Daumas, Marc ^a  

^a UNIVERSITÉ DE LYON   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 2342512211     PISSN: 13853139     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1009962521566     Document Type: Article

References (6)

1. Avižienis, A.: Signed Digit Number Representations for Fast Parallel Arithmetic, IRE Transactions on Electronic Computers 10 (1961), pp. 389-400.
2. Bleher, H., Rump, S. M., Kulisch, U., Metzger, M., Ullrich, C., and Walter, W.: Fortran-SC: A Study of a Fortran Extension for Engineering/Scientific Computation with Access to ACRITH, Computing 39 (1987), pp. 93-110.
3. Boehm, H.-J.: Constructive Real Interpretation of Numerical Programs, ACM SIGPLAN Notices 22 (7) (1987), pp. 214-221.
4. Daumas, M., Muller, J.-M., and Vuillemin, J.: Implementing On-Line Arithmetic on PAM, in Hartenstein, R. W. and Servít, M. Z. (eds), Field-Programmable Logic: Architectures Synthesis and Applications, Springer Verlag, Prague, 1994, pp. 196-207.
5. Ménissier, V.: Arithmétique Exacte : Conception, Algorithmique et Performances d'une Implantation Informatique en Précision Arbitraire, PhD thesis, Université Paris VI, 1994.
6. Stevenson, D. et al.: An American National Standard: IEEE Standard for Binary Floating Point Arithmetic, ACM SIGPLAN Notices 22 (2) (1987), pp. 9-25.