Interval arithmetic for computing performance guarantees in client-server software

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 497 LNCS, Issue , 1991, Pages 535-546

  Woodside, C M ^a   Majumdar, S ^a   Neilson, J E ^a  

^a CARLETON UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

ANALYTIC EXPRESSIONS; CLIENT-SERVER SOFTWARE; COMPUTING PERFORMANCE; INTERVAL ARITHMETIC; PERFORMANCE ANALYSIS; PERFORMANCE GUARANTEES; STOCHASTIC BEHAVIOR; UPPER AND LOWER BOUNDS;

STOCHASTIC SYSTEMS;

EID: 84957400251     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-54029-6_203     Document Type: Conference Paper

References (9)

1. R. F. Rashid, “From RIG to Accent to Mach: the evolution of a network operating system,” tech. rep., Computer Science Dept., Carnegie Mellon University, U. S. A., 1987.
2. D. R. Cheriton, “The V kernel: A software base for distributed systems,” IEEE Software, vol. 1, pp. 19-42, April 1984.
3. C. M. Woodside, “Throughput calculation for basic stochastic rendezvous networks,” Performance Evaluation, vol. 9, pp. 143-160, 1989.
4. J. A. Rolia, “Performance estimates for systems with software servers: The lazy boss method,” Proceedings VIII SCCC International Conference on Computer Science, pp. 2543, July 1988.
5. S. Majumdar, C. M. Woodside, J. E. Neilson, and D. C. Petriu, “Performance bounds for concurrent software with rendezvous,” 1990. (Submitted for publication).
6. S. Majumdar, C. M. Woodside, J. E. Neilson, and D. C. Petriu, “Robust box bounds: Performance guarantees without stochastic assumptions.” (Submitted for publication). Special issue of IEEE Software on Interval Arithmetic, Sept. 1990.
7. Computing Research Laboratory, Bell Northern Research Ltd., Ottawa, Canada, BNR Prolog Reference Manual, 1988.
8. W. Older. Personal communication, Oct. 1990.
9. W. Older. Personal communication, Oct. 1990.