Shikharesh Majumdar,
"Application of Relational Arithmetic in Performance Analysis
 of Computing Systems", In: <I>Workshop on Interval Constraints
(International Logic Programming Symposium ILPS'95)</I>, 
 Portland, OR, December 1995.
<P>

This paper presents a survey of the existing work in the area of
interval arithmetic-based performance analysis of computing systems.
<P>

Intervals in performance analysis are required when uncertainties or
variabilities exist in the workload parameters for an analytical
performance model of the system. Intervals are also useful for
computing upper and lower bounds on system performance. 
<P>

Most
conventional analytic models accept a set of single valued parameters
and produce a single valued model output. Adaptation of these existing
models to handle interval parameters require new techniques that use
an interval arithmetic engine. 
<P>

Experiences with relational interval
arithmetic provided by a constraint logic programming languages in
solving a number of performance analysis problems are described. 
<P>

Previous publications on the applications of interval analysis to
performance evaluation of computing systems include:
<P>

S. Majumdar and R. Ramadoss, "Interval-Based Performance Analysis of
 Computing Systems, <I>
Proc. Modeling, Analysis, and Simulation of Computer
 and Telecommunication Systems</I>, January 1995, pp. 345-351.
<P>
 
S. Majumdar, C. M. Woodside, J. E. Neilson, and D. C. Petriu, 
 "Robust Box Bounds: Network Performance Guarantees for Closed
 Multiclass Queuing Networks with Minimal Stochastic Assumptions", 
 Proc. of Infocom '92 Conference Florence (Italy), May 1992, pp.
2006-2016.

 <P>
S. Majumdar, C. M. Woodside, J. E. Neilson, and D. C. Petriu, 
 "Performance Bounds for Concurrent Software with Rendezvous",  
 Performance Evaluation,
 Vol. 13, No. 4, 1991, pp. 207-236.
<P>
 
S. Majumdar, "Interval Arithmetic for Performance Analysis of Distributed 
 Computing Systems", Proc. Canadian Conference on 
Electrical and Computer
 Engineering, Quebec City (Canada), September 1991, pp. 32.3.1-32.3.4.
<P>

R. Ramadoss, <I>Interval-based performance analysis of
computing systems</I>, M.Eng. Thesis, Department of Systems and Computer
Engineering, Carleton University, Ottawa, Canada, 1994. 
<P>

C. M. Woodside, S. Majumdar, J. E. Neilson, 
"Interval Arithmetic for
 Computing Performance Guarantees in Client-Server Systems", In: 
F. Dehne, F. Fiala, W. W. Koczkodaz (eds.),  
Lecture
 Notes in Computer Science: Advances in Computing and Information - ICCI'91</I>
Springer-Verlag, 1991, 
 pp. 535-546.

<P>
Shikharesh Majumdar.