Real-time computation: A formal definition and its applications

Proceedings - 15th International Parallel and Distributed Processing Symposium, IPDPS 2001

Volumn , Issue , 2001, Pages 1377-1384

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

^a QUEEN S UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

AD HOC NETWORKS; DATABASE SYSTEMS; MODELING LANGUAGES;

FORMAL DEFINITION; ITS APPLICATIONS; MODELING ASPECTS; REAL TIME ALGORITHMS; REAL-TIME APPLICATION; REAL-TIME COMPUTATIONS; REAL-TIME DATABASE SYSTEMS; ROUTING PROBLEMS;

REAL TIME SYSTEMS;

EID: 84981240542     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IPDPS.2001.925119     Document Type: Conference Paper

References (13)

1. Travelling exhibitions. Vernissage: The Magazine of the National Gallery of Canada, 4:32-35, Fall 1999.
2. S. Abiteboul, R. Hull, and V. Vianu. Foundations of Databases. Addison-Wesley, Reading, MA, 1995.
3. R. Alur and D. L. Dill. A theory of timed automata. Theoretical Computer Science, 126:183-235, 1994.
4. J. Broch, D. A. Maltz, D. B. Johnson, Y.-C. Hu, and J. Jetcheva. A performance comparison of multi-hop wireless ad hoc network routing protocols. In The Fourth Annual ACM/IEEE International Conference on Mobile Computing and Networking, pages 85-97, Dallas, TX, 1998.
5. S. D. Bruda. On the computational complexity of context-free parallel communicating grammar systems. In G. Pǎun and A. Salomaa, editors, New Trends in Formal Languages, pages 256-266. Springer Lecture Notes in Computer Science 1218, 1997.
6. S. D. Bruda and S. G. Akl. A case study in real-time parallel computation: Correcting algorithms. To appear in Journal of Parallel and Distributed Computing.
7. 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, pages 274-279, New Orleans, LA, March 2000.
8. J. Clifford and A. Crocker. The Historical Relational Data model (HRDM) Revisited, pages 6-26. Benjamin/Cummings, CA, 1993.
9. E.Csuhaj-Varjú, J. Dassow, J. Kelemen, and G. Pǎun. Grammar Systems. A Grammatical Approach to Distribution and Cooperation. Gordon and Breach, London, 1994.
10. Z. J. Haas. Panel report on ad hoc networks - Milcom'97. Mobile Computing and Communications Review, 1:15-18, 1998.
11. G. Özsoyoǧlu and R. T. Sondgrass. Temporal real-time databases: A survey. IEEE Transactions on Knowledge and Data Engineering, 7:513-532, 1995.
12. G. Pǎun and L. Sântean. PCGS: The regular case. Ann. Univ. Buc., Matem. Inform. Series, 38:55-63, 1989.
13. S. V. Vrbsky. A data model for approximate query processing of real-time databases. Data and Knowledge Engineering, 21:79-102, 1997.