Towards a Meaningful Formal Definition of Real-Time Computations

15th International Conference on Computers and Their Applications 2000, CATA 2000

Volumn , Issue , 2000, Pages 274-279

  Bruda, Stefan D ^a   Akl, Selim G ^a  

^a QUEEN S UNIVERSITY   (Canada)

Author keywords

complexity theory; formal languages; parallel complexity theory; Real time computation; timed languages; languages

Indexed keywords

COMPUTATIONAL COMPLEXITY; REAL TIME SYSTEMS;

COMPLEXITY THEORY; FORMAL DEFINITION; IMPORTANT FEATURES; PARALLEL COMPLEXITY; PARALLEL COMPLEXITY THEORY; REAL-TIME COMPUTATIONS; REAL-TIME PROBLEMS; TIMED LANGUAGES; Ω-LANGUAGES;

FORMAL LANGUAGES;

EID: 0002436196     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (16)

1. S. G. Akl, Parallel Computation: Models and Methods, Prentice-Hall, Upper Saddle River, NJ, 1997.
2. S. G. Akl, Secure file transfer: A computational analog to the furniture moving paradigm, Tech. Rep. 99-422, Department of Computing and Information Science, Queen's University, Kingston, Ontario, Canada, 1999.
3. S. G. Akl and S. D. Bruda, Real-time optimization: Beyond speedup, Parallel Processing Letters, 9 (1999).
4. S. G. Akl. and L. Fava Lindon, Paradigms admitting superunitary behaviour in parallel computation, Parallel Algorithms and Applications, 11(1997), pp. 129-153.
5. R. Alur and D. L. Dill, A theory of timed automata, Theoretical Computer Science, 126(1994), pp. 183-235.
6. R. V. Book and S. A. Greibach, Quasy-realtime languages, Mathematical Systems Theory, 4(1970), pp. 97-111.
7. S. D. Bruda and S. G. Akl, The characterization of data-accumulating algorithms, Theory of Computing Systems, 33(2000), pp. 85-96.
8. S. D. Bruda and S. G. Akl, A case study in real-time parallel computation: Correcting algorithms, In Proceedings of the Midwest Workshop on Parallel Processing, Kent, OH, 1999.
9. 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.
10. M. R. Lehr, Y.-K. Kim, and S. H. Son, Managing contention and timing constraints in a real-time database system, in Proceedings of the 16th IEEE Real-Time Systems Symposium, Pisa, Italy, Dec. 1995, pp. 332-341.
11. N. Leveson and J. Stolzy, Analyzing safety and fault tolerance using timed Petri nets, in Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1985, pp. 339-355. Springer Lecture Notes in Computer Science 186
12. F. Luccio and L. Pagli, Computing with timevarying data: Sequential complexity and parallel speed-up, Theory of Computing Systems, 31(1998), pp. 5-26.
13. M. O. Rabin, Real time computations, Israel Journal of Mathematics, 1(1963), pp. 203-211.
14. S. Rao Kosaraju, Real-time pattern matching and quasi-real-time construction of suffix trees (preliminary version), in Proceedings of STOC94, Montreal, Quebec, Canada, May 1994, pp. 310-316.
15. A. L. Rosenberg, Real-time definable languages, Journal of the ACM, 14(1967), pp. 645-662.
16. H. Yamada, Real-time computation and recursive functions not real-time computable, IRE Transactions on Electronic Computers, EC-11(1962), pp. 753-760.