Pursuit and evasion on a ring: An infinite hierarchy for parallel real-time systems

Theory of Computing Systems

Volumn 34, Issue 6, 2001, Pages 565-576

  Bruda, S D ^a   Akl, S G ^a  

^a QUEEN S UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

INTERACTIVE COMPUTER SYSTEMS; PARALLEL PROCESSING SYSTEMS;

A-RINGS; PARALLEL COMPUTATION; POSITIVE INTEGERS; PURSUIT AND EVASIONS; REAL TIME ALGORITHMS;

REAL TIME SYSTEMS;

EID: 0035565061     PISSN: 14324350     EISSN: 14330490     Source Type: Journal    
DOI: 10.1007/s00224-001-1037-z     Document Type: Article

References (15)

1. S.O. Aanderaa, On k-tape versus (k - 1)-tape real time computation, in Complexity of Computation, R. Karp, ed., SIAM-AMS Proceedings, volume 7, American Mathematical Society, Providence, RI, 1974, pp. 75-96.
2. S. G. Akl, Parallel Computation: Models and Methods, Prentice-Hall, Upper Saddle River, NJ, 1997.
3. S. G. Akl. and L. Fava Lindon, Paradigms admitting superunitary behaviour in parallel computation, Parallel Algorithms and Applications, 11 (1997), 129-153.
4. R. Alur and D. L. Dill, A theory of timed automata, Theoretical Computer Science, 126 (1994), 183-235.
5. S. D. Bruda and S. G. Akl, Parallel Processing Letters, 11 (2001), 353-361. For a preliminary version see http://www.cs.queensu.ca/home/bruda/www/rttm.
6. S. D. Bruda and S. G. Akl, Towards a meaningful formal definition of real-time computations, in Proceedings of the ISCA 15th International Conference on Computers and Their Applications, New Orleans, LA, March 2000, pp. 274-279. For an extended version see http://www.cs.queensu. ca/home/bruda/www/timed-langs.
7. S. D. Bruda and S. G. Akl, Real-time computation: a formal definition and its applications, in Proceedings of the Workshop on Advances in Parallel and Distributed Computational Models; in conjunction with the 15th Parallel and Distributed Processing Symposium, San Francisco, CA, April 2001, IEEE Computer Society Press, Los Alamitos, CA, pp. [CD-ROM]. For an extended version see http://www.cs.queensu.ca/home/bruda/www/timed-langs.
8. S. D. Bruda and S. G. Akl, A case study in real-time parallel computation: correcting algorithms, Journal of Parallel and Distributed Computing, 61 (2001), 688-708. For a preliminary version see http://www.cs.queensu.ca/home/bruda/www/c-algorithms.
9. T. J. Harris, A survey of PRAM simulation techniques, ACM Computing Surveys, 26 (1994), 187-206.
10. S. Irani and A. R. Karlin, Online computation, in Approximation Algorithms for NP-Hard Problems, D. Hochbaum, ed., International Thomson Publishing, Boston, MA, 1997, pp. 521-564.
11. K. Jeffay, The real-time producer/consumer paradigm: a paradigm for the construction of efficient, predictable real-time systems, in Proceedings of the 1993 ACM/SIGAPP Symposium on Applied Computing: States of the Art and Practice, 1993, pp. 796-804.
12. F. Luccio and L. Pagli, Computing with time-varying data: sequential complexity and parallel speed-up, Theory of Computing Systems, 31 (1998), 5-26.
13. Usenet, Comp.realtime: Frequently asked questions, Version 3.4 (May 1998). http://www.faqs.org/faqs/ realtime-computing/faq/.
14. S. V. Vrbsky and S. Tomić, Satisfying timing constraints of real-time databases, Journal of Systems and Software, 41 (1998), 63-73.
15. H. Yamada, Real-time computation and recursive functions not real-time computable, IRE Transactions on Electronic Computers, EC-11 (1962), 753-760.