Real-time computation: A formal definition and its applications

International Journal of Computers and Applications

Volumn 25, Issue 4, 2003, Pages 247-257

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

^a BISHOP'S UNIVERSITY   (Canada)

^b QUEEN S UNIVERSITY   (Canada)

Author keywords

Ad hoc networks; Parallel complexity; Real time computation; Real time databases; Timed languages; languages

Indexed keywords

ALGORITHMS; COMPUTATIONAL METHODS; DATABASE SYSTEMS;

TIMED LANGUAGES;

REAL TIME SYSTEMS;

EID: 0041568396     PISSN: 1206212X     EISSN: None     Source Type: Journal    
DOI: 10.1080/1206212X.2003.11441712     Document Type: Article

References (18)

1. H. Yamada, Real-time computation and recursive functions not real-time computable, IRE Transactions on Electronic Computers, EC-11, 1962, 753-760.
2. A.L. Rosenberg, Real-time definable languages, Journal of the ACM, 14, 1967, 645-662.
3. K. Jeffay, The real-time producer/consumer paradigm: A paradigm for the construction of efficient, predictable real-time systems, Proc. of the 1993 ACM/SIGAPP Symp. on Applied Computing: States of the Art and Practice, Indianapolis, IN, 1993, 796-804.
4. R. Alur & D.L. Dill, A theory of timed automata, Theoretical Computer Science, 126, 1994, 183-235.
5. Comp.realtime: Frequently asked questions (Version 3.4, May 1998), http://www.faqs.org/faqs/realtime-computing/faq/.
6. M.R. Lehr, Y.-K. Kim, & S.H. Son, Managing contention and timing constraints in a real-time database system, Proc. of the 16th IEEE Real-Time Systems Symp., Pisa, Italy, 1995, 332-341.
7. F. Luccio & L. Pagli, Computing with time-varying data: Sequential complexity and parallel speed-up, Theory of Computing Systems, 31, 1998, 5-26.
8. S.D. Bruda & S.G. Akl, The characterization of data-accumulating algorithms, Theory of Computing Systems, 33, 2000, 85-96.
9. S. Abiteboul, R. Hull, & V. Vianu, Foundations of databases (Reading, MA: Addison-Wesley, 1995).
10. S.V. Vrbsky, A data model for approximate query processing of real-time databases, Data and Knowledge Engineering, 21, 1997, 79-102.
11. J. Broch, D.A. Maltz, D.B. Johnson, Y.-C. Hu, & J. Jetcheva, A performance comparison of multi-hop wireless ad hoc network routing protocols, 4th Annual ACM/IEEE International Conf. on Mobile Computing and Networking, Dallas, TX, 1998, 85-97.
12. S.D. Bruda & S.G. Akl, A case study in real-time parallel computation: Correcting algorithms, Journal of Parallel and Distributed Computing, 61, 2001, 688-708.
13. G. Pǎun & L. Sântean, PCGS: The regular case, Annals of the University of Bucharest, Mathematics-Informatics Series, 38, 1989, 55-63.
14. E. Csuhaj-Varjú, J. Dassow, J. Kelemen, & G. Pǎun, Grammar systems: A grammatical approach to distribution and cooperation (London: Gordon & Breach, 1994).
15. S.D. Bruda, On the computational complexity of context-free parallel communicating grammar systems, in G. Pǎun & A. Salomaa (Eds.), New trends informal languages, Springer LNCS 1218 (Heidelberg: Springer-Verlag, 1997).
16. S.G. Akl & L. Fava Lindon, Paradigms admitting superunitary behaviour in parallel computation, Parallel Algorithms and Applications, 11, 1997, 129-153.
17. S.G. Akl & S.D. Bruda, Parallel real-time optimization: Beyond speedup, Parallel Processing Letters, 9, 1999, 499-509.
18. S.G. Akl, Nonlinearity, maximization, and parallel real-time computation, Proc. of the 12th Conf. on Parallel and Distributed Computing and Systems, Las Vegas, NV, 2000, 31-36.