{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:55:04Z","timestamp":1725558904104},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540202233"},{"type":"electronic","value":"9783540452126"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-45212-6_18","type":"book-chapter","created":{"date-parts":[[2010,6,29]],"date-time":"2010-06-29T20:42:51Z","timestamp":1277844171000},"page":"274-289","source":"Crossref","is-referenced-by-count":6,"title":["A Methodology and Tool Support for Generating Scheduled Native Code for Real-Time Java Applications"],"prefix":"10.1007","author":[{"given":"Christos","family":"Kloukinas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chaker","family":"Nakhli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sergio","family":"Yovine","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"18_CR1","unstructured":"AICAS. JamaicaVM, http:\/\/www.aicas.com\/jamaica.html"},{"issue":"1","key":"18_CR2","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1023\/A:1015346419267","volume":"23","author":"K. Altisen","year":"2002","unstructured":"Altisen, K., G\u00f6essler, G., Sifakis, J.: Scheduler modeling based on the controller synthesis paradigm. Real-Time Systems\u00a023(1), 55\u201384 (2002)","journal-title":"Real-Time Systems"},{"key":"18_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45828-X_15","volume-title":"Embedded Software","author":"B. Delsart","year":"2002","unstructured":"Delsart, B., Joloboff, V., Paire, E.: JCOD:ALeightweight Modular CompilationTechnology for Embedded Java. In: Sangiovanni-Vincentelli, A.L., Sifakis, J. (eds.) EMSOFT 2002. LNCS, vol.\u00a02491, Springer, Heidelberg (2002)"},{"key":"18_CR4","unstructured":"Gauthier, L., Richard-Foy, M.: Expresso RNTL Project - High Integrity Profile (2002), Available from http:\/\/www.irisa.fr\/rntl-expresso\/docs\/hip-api.pdf"},{"key":"18_CR5","volume-title":"The Java Language Specification","author":"J. Gosling","year":"1996","unstructured":"Gosling, J., Joy, B., Steele, G.: The Java Language Specification. Addison-Wesley, Reading (1996)"},{"key":"18_CR6","unstructured":"IEEE. POSIX.1. IEEE Std 1003.1:2001. Standard for Information Technology - Portable Operating System Interface (POSIX). The Institute of Electrical and Electronic Engineers (2001)"},{"key":"18_CR7","doi-asserted-by":"crossref","unstructured":"Kloukinas, C., Yovine, S.: Synthesis of Safe, QoS Extendible, Application Specific Schedulers for Heterogeneous Real-Time Systems. In: Proceedings of 5th Euromicro Conference on Real-Time Systems (ECRTS 2003), Porto, Portugal (July 2003)","DOI":"10.1109\/EMRTS.2003.1212754"},{"key":"18_CR8","doi-asserted-by":"crossref","unstructured":"Kwon, J., Wellings, A.J., King, S.: Ravenscar-Java:A High-Integrity Profile for Real-Time Java. In: Java Grande, pp. 131\u2013140 (2002)","DOI":"10.1145\/583810.583825"},{"key":"18_CR9","unstructured":"Lusini, M., Vicario, E.: Static analysis and dynamic steering of time-dependent systems using Petri Nets. Technical Report # 28.98, University of Florence (1998)"},{"key":"18_CR10","unstructured":"Muller, G., Moura, B., Bellard, F., Consel, C.: Harissa: A flexible and efficient Java environment mixing bytecode and compiled code. In: Proc. of Usenix COOTS 1997, Berkeley (1997)"},{"key":"18_CR11","unstructured":"Real-Time for Java Expert Group. The Real-Time Specification for Java (2001), Available from http:\/\/www.rtj.org"},{"key":"18_CR12","unstructured":"Real-Time Java Working Group. Real-Time Core Extensions, revision 1.0.14 (2001), Available from http:\/\/www.j-consortium.org\/rtjwg"},{"issue":"1","key":"18_CR13","first-page":"100","volume":"91","author":"J. Sifakis","year":"2003","unstructured":"Sifakis, J., Tripakis, S., Yovine, S.: Building models of real-time systems from application software. Proceedings of the IEEE, Special issue on modeling and design of embedded software\u00a091(1), 100\u2013111 (2003)","journal-title":"Proceedings of the IEEE, Special issue on modeling and design of embedded software"},{"key":"18_CR14","unstructured":"Sun Microsystems. The Java HotSpot Performance Engine Architecture (April 1999), http:\/\/java.sun.com\/products\/hotspot\/whitepaper.html"},{"key":"18_CR15","unstructured":"TimeSys. JTime, http:\/\/www.timesys.com"},{"key":"18_CR16","doi-asserted-by":"crossref","unstructured":"van Glabbeek, R.J., Weijland, W.P.: Branching time and abstraction in bisimulation semantics. JACM 43(3) (1996)","DOI":"10.1145\/233551.233556"},{"key":"18_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/BFb0057785","volume-title":"Languages, Compilers, and Tools for Embedded Systems","author":"M. Weiss","year":"1998","unstructured":"Weiss, M., de Ferri\u00e8re, F., Delsart, B., Fabre, C., Hirsch, F., Johnson, E.A., Joloboff, V., Roy, F., Siebert, F., Spengler, X.: TurboJ, a Java bytecode-to-native compiler. In: M\u00fcller, F., Bestavros, A. (eds.) LCTES 1998. LNCS, vol.\u00a01474, p. 119. Springer, Heidelberg (1998)"}],"container-title":["Lecture Notes in Computer Science","Embedded Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-45212-6_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T15:04:50Z","timestamp":1559228690000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-45212-6_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540202233","9783540452126"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-45212-6_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}