On a Theoretical Justification of the Choice of Epsilon-Inflation in PASCAL-XSC

Reliable Computing

Volumn 3, Issue 4, 1997, Pages 437-445

  Kreinovich, Vladik ^a   Starks, Scott ^b   Mayer, Günter ^c  

^a University of Texas at El Paso   (United States)

^b UNIVERSITY OF TEXAS AT EL PASO   (United States)

^c UNIVERSITY OF ROSTOCK   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0037935538     PISSN: 13853139     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1009905822286     Document Type: Article

References (5)

1. Hammer, R., Hocks, M., Kulisch, U., and Ratz, D.: Numerical Toolbox for Verified Computing. I. Basic Numerical Problems, Springer Verlag, Heidelberg, N.Y., 1993.
2. Mayer, G.: A Unified Approach to Enclosure Methods for Eigenpairs, ZAMM 74 (2) (1994), pp. 115-128.
3. Mayer, G.: Epsilon-Inflation in Verification Algorithms, Journal of Computational and Applied Mathematics 60 (1995), pp. 147-169.
4. Starks, S.: An Interval Approach to Congestion Control in Computer Networks. in: Extended Abstracts of APIC'95: International Workshop on Applications of Interval Compulations, El Paso, TX, Febr. 23-25, 1995, Reliable Computing (1995), Supplement, pp. 203-206.
5. Wu, Kung Chris: Interval Methods in Mobile Robot Control, in: Extended Abstracts of APIC'95: International Workshop on Applications of Interval Computations, El Paso, TX, Febr. 23-25, 1995, Reliable Computing (1995), Supplement, pp. 224-226.