Author:
Barreto Raimundo,Maciel Paulo,Tavares Eduardo,Freitas Romulo Devezas,Oliveira Meuse,Lima Ricardo Massa
Publisher
Springer Science and Business Media LLC
Subject
Hardware and Architecture,Software
Reference22 articles.
1. Abdelzaher TF, Shin KG (1999) Combined task and message scheduling in distributed real-time systems. IEEE Trans Parallel Distributed Syst 10(11):1179–1191
2. Altisen K, Göbler G, Pnueli A, Sifakis J, Tripakis S, Yovine S (1999) A framework for scheduler synthesis. In: IEEE real-time system symposium, December 1999, pp 154–163
3. Amnell T, Fersman E, Pettersson P, Sun H, Yi W (2002) Code synthesis for timed automata. Nord J Comput 9(4):269–300
4. Baker TP, Shaw A (1988) The cyclic executive model and ada. In: Proceedings of the IEEE real-time systems symposium, December 1988
5. Barreto R (2005) A time Petri net-based methodology for embedded hard real-time software synthesis. PhD Thesis, Centro de Informática, UFPE
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献