Author:
Singhoff Frank,Plantec Alain,Dissaux Pierre,Legrand Jérôme
Publisher
Springer Science and Business Media LLC
Subject
Electrical and Electronic Engineering,Control and Optimization,Computer Networks and Communications,Computer Science Applications,Modeling and Simulation,Control and Systems Engineering
Reference85 articles.
1. Ahn B, Kim J, Lee D, Lee S (2006) A real time scheduling method for embedded multimedia applications. In: Proceedings of the 2006 international conference on pervasive systems and computing, Las Vegas, Nevada, USA, June 26–29. CSREA Press, pp 104–107
2. Almeida L, Pedreiras P (2004) Scheduling within temporal partitions: response-time analysis and server design. In: Proceedings of the EMSOFT’04 conference, September 27–29, Pisa, Italy, pp 95–103
3. Altisen K, Gossler G, Sifakis J (2002) Scheduler modeling based on the controller synthesis paradigm. Real Time Syst J 23(1):55–84
4. Alur R, Dill DL (1990) Automata for modeling real time systems. In: Proc of int colloquium on algorithms, languages and programming, LNCS, vol 443, pp 322–335
5. Anderson TE, Bershad BN, Lazowska ED, Levy HM (1992) Scheduler activations: effective kernel support for the user-level management of parallelism. ACM Trans Comput Syst 10(1):53–79
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Precision Mechanism for Simulations of Real- Time Multicore Energy-Aware Scheduling;2022 IEEE 24th Int Conf on High Performance Computing & Communications; 8th Int Conf on Data Science & Systems; 20th Int Conf on Smart City; 8th Int Conf on Dependability in Sensor, Cloud & Big Data Systems & Application (HPCC/DSS/SmartCity/DependSys);2022-12
2. Mechanization of a Large DSML: An Experiment with AADL and Coq;2022 20th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE);2022-10-13
3. A correct-by-construction AADL runtime for the Ravenscar profile using SPARK2014;Journal of Systems Architecture;2022-02
4. Tool System for Testing Real-Time Constraints for Modular Computational System Configurations;Moscow University Computational Mathematics and Cybernetics;2020-07
5. Scheduling analysis of tasks constrained by TDMA: Application to software radio protocols;Journal of Systems Architecture;2017-05