What to Make of Multicore Processors for Reliable Real-Time Systems?-Reference-Cited by-同舟云学术

What to Make of Multicore Processors for Reliable Real-Time Systems?

Published:2010 Issue: Volume: Page:1-18
ISSN:0302-9743
Container-title:Reliable Software Technologiey – Ada-Europe 2010
language:
Short-container-title:

Author:

Baker Theodore P.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-13550-7_1.pdf

Reference48 articles.

1. Abeni, L., Buttazzo, G.: Integrating multimedia applications in hard real-time systems. In: Proc. 19th IEEE Real-Time Systems Symposium, Madrid, Spain (December 1998)

2. Anderson, J., Srinivasan, A.: Mixed pfair/ERfair scheduling of asynchronous periodic tasks. In: Proc. 13th EuroMicro Conf. on Real-Time Systems, Delft, Netherlands, June 2001, pp. 76–85 (2001)

3. Lecture Notes in Computer Science;B. Andersson,2008

4. Andersson, B., Baruah, S., Jonsson, J.: Static-priority scheduling on multiprocessors. In: Proc. 22nd IEEE Real-Time Systems Symposium, London, UK, December 2001, pp. 193–202 (2001)

5. Baker, T.P.: Stack-based scheduling of real-time processes. Real-Time Systems 3(1), 67–100 (1991)

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

1. Requirement specification and model-checking of a real-time scheduler implementation;Proceedings of the 28th International Conference on Real-Time Networks and Systems;2020-06-09

2. Formal approach for a verified implementation of Global EDF in Trampoline;Proceedings of the 26th International Conference on Real-Time Networks and Systems;2018-10-10

3. Lessons Learned in a Journey Toward Correct-by-Construction Model-Based Development;Lecture Notes in Computer Science;2016