Author:
Bøgholm Thomas,Frost Christian,Hansen René Rydhof,Jensen Casper Svenning,Luckow Kasper Søe,Ravn Anders P.,Søndergaard Hans,Thomsen Bent
Publisher
Springer Science and Business Media LLC
Reference39 articles.
1. aicas—Realtime Java technology. http://www.aicas.com/ (last accessed 8 April 2011)
2. aJile Systems. http://www.ajile.com/ (last accessed 21 October 2011)
3. Alt M, Martin F (1995) Generation of efficient interprocedural analyzers with PAG. In: Proceedings of the international symposium on static analysis, (SAS’95). Springer, Berlin, pp 33–50
4. Amnell T, Fersman E, Mokrushin L, Pettersson P, Yi W (2004) TIMES—a tool for schedulability analysis and code generation of real-time systems. In: Larsen K, Niebert P (eds) Formal modeling and analysis of timed systems, LNCS, vol 2791. Springer, Berlin, pp 60–72
5. Apache Software Foundation: Byte Code Engineering Library (BCEL) (2006) http://jakarta.apache.org/bcel/ (last accessed 8 March 2011)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Symbolic execution for memory consumption analysis;ACM SIGPLAN Notices;2016-08
2. Symbolic execution for memory consumption analysis;Proceedings of the 17th ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools, and Theory for Embedded Systems;2016-06-13
3. HVMTP: A time predictable and portable java virtual machine for hard real-time embedded systems;Concurrency and Computation: Practice and Experience;2016-04-04
4. From Safety Critical Java Programs to Timed Process Models;Programming Languages with Applications to Biology and Security;2015
5. A real-time Java tool chain for resource constrained platforms;Concurrency and Computation: Practice and Experience;2013-10-17