Real-Time Computation: A Formal Definition And Its Applications-Reference-Cited by-同舟云学术

Real-Time Computation: A Formal Definition And Its Applications

Published:2003-01 Issue:4 Volume:25 Page:247-257
ISSN:1206-212X
Container-title:International Journal of Computers and Applications
language:en
Short-container-title:International Journal of Computers and Applications

Author:

Bruda S.D.¹,Akl S.G.²

Affiliation:

1. Department of Computer Science, Bishop's University, Lennoxville, Quebec, J1M 1Z7 Canada;

2. School of Computing, Queen's University, Kingston, Ontario, K7L 3N6 Canada;

Publisher

Informa UK Limited

Subject

Computer Graphics and Computer-Aided Design,Computer Science Applications,Hardware and Architecture,Software

Link

https://www.tandfonline.com/doi/pdf/10.1080/1206212X.2003.11441712

Reference16 articles.

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.

3. R. Alur & D.L. Dill, A theory of timed automata, Theoretical Computer Science, 126, 1994, 183-235.

4. 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.

5. F. Luccio & L. Pagli, Computing with time-varying data: Sequential complexity and parallel speed-up, Theory of Computing Systems, 31, 1998, 5-26.

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Systemization of Knowledge (SoK): Creating a Research Agenda for Human-Centered Real-Time Risk Detection on Social Media Platforms;Proceedings of the CHI Conference on Human Factors in Computing Systems;2024-05-11

2. INHERENTLY PARALLEL GEOMETRIC COMPUTATIONS;Parallel Processing Letters;2006-03