Funder
National Research Foundation of Korea
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
Reference21 articles.
1. Audsley N, Burns A, Richardson M, Tindell K, Wellings AJ (1993) Applying new scheduling theory to static priority pre-emptive scheduling. Softw Eng J 8(5):284–292.
https://doi.org/10.1049/sej.1993.0034
2. Brekling A, Hansen MR, Madsen J (2008) Models and formal verification of multiprocessor system-on-chips. J Logic Algebr Program 77(12):1–19.
https://doi.org/10.1016/j.jlap.2008.05.002
(the 16th Nordic Workshop on the Prgramming Theory (NWPT 2006))
3. Diemer J, Axer P (2012) Python implementation of compositional performance analysis.
http://pycpa.readthedocs.org/en/latest/
4. Guan N, Gu C, Stigge M, Deng Q, Yi W (2014) Approximate response time analysis of real-time task graphs. In: 2014 IEEE real-time systems symposium, pp 304–313.
https://doi.org/10.1109/RTSS.2014.20
5. Harbour MG (2001) Mast: modeling and analysis suite for real-time applications.
http://mast.unican.es/
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献