Early-reply components: Concurrent execution with sequential reasoning

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

Volumn 2319, Issue , 2002, Pages 46-61

  Pike, Scott M ^a   Sridhar, Nigamanth ^a  

^a OHIO STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

COMPONENT BEHAVIOR; COMPONENT INTERACTION; CONCURRENT EXECUTION; IMPROVE PERFORMANCE; ORDERS OF MAGNITUDE; PARALLEL IMPLEMENTATIONS; PERFORMANCE BENEFITS; PROOF OBLIGATIONS;

COMPUTER SOFTWARE REUSABILITY;

EID: 23044534987     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46020-9_4     Document Type: Conference Paper

References (11)

1. P. America. POOL-T: A parallel object-oriented language. In A. Yonezawa and M. Tokoro, editors, Object Oriented Concurrent Programming, pages 199-220. MIT Press, 1987.
2. D. Caromel. Toward a method of object-oriented concurrent programming. Communications of the ACM, 36(9):90-102, 1993.
3. T. H. Cormen, C. E. Leiserson, and R. L. Rivest. Introduction to Algorithms. M.I.T. Press, Cambridge, Massachusetts, U.S.A., 1990.
4. D. E. Harms and B. W. Weide. Copying and swapping: Influences on the design of reusable software components. IEEE Trans. Soft. Eng., 17(5):424-435, May 1991.
5. Y. A. Liu. Incremental Computation: A SemanticsBased Systematic Transformation Approach. PhD thesis, Dept. of Computer Science, Cornell University, 1996.
6. B. Meyer. Applying design by contract. IEEE Computer (Special Issue on Inheritance and Classification), 25(10):40-52, 1992.
7. A. Moitra, S. Iyengar, F. Bastani, and I. Yen. Multilevel data structures: models and performance. IEEE Trans. Soft. Eng., 18(6):858-867, June 1988.
8. D. L. Parnas and D. P. Siewiorek. Use of the concept of transparency in the design of hierarchically structured systems. Comm.of the ACM, 18(7):401-408, 1975.
9. H. A. Partsch. Specification and Transformation of Programs: A Formal Approach to Software Development. Springer-Verlag, 1990.
10. S. M. Pike and N. Sridhar. Early Reply: A basis for pipebranching parallelism with sequential reasoning. Technical Report OSU-CISRC-10/01-TR13, Dept. of Computer and Inf. Science, Ohio State University, October 2001.
11. G. Roberts, M. Wei, and R. Winder. Harnessing parallelism with UC++. Technical Report RN/91/72, Dept. of Computer Science, University College, London, 1991.