{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:33:27Z","timestamp":1725564807831},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540204947"},{"type":"electronic","value":"9783540399629"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-39962-9_41","type":"book-chapter","created":{"date-parts":[[2010,9,8]],"date-time":"2010-09-08T22:56:39Z","timestamp":1283986599000},"page":"319-334","source":"Crossref","is-referenced-by-count":5,"title":["Towards a High Integrity Real-Time Java Virtual Machine"],"prefix":"10.1007","author":[{"given":"Hao","family":"Cai","sequence":"first","affiliation":[]},{"given":"Andy J.","family":"Wellings","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"41_CR1","volume-title":"The Real-time Specification for Java","author":"G. Bollela","year":"2000","unstructured":"Bollela, G., Brosgol, B., Dibble, P., Furr, S., Gosling, J., Hardin, D., Turnbull, M.: The Real-time Specification for Java. Addison-Wesley, Reading (2000)"},{"key":"41_CR2","doi-asserted-by":"crossref","unstructured":"Bollella, G., Reinholtz, K.: Scoped Memory. In: IEEE International Symposium on Object- Oriented Real-Time Distributed Computing (2002)","DOI":"10.1109\/ISORC.2002.1003656"},{"key":"41_CR3","doi-asserted-by":"crossref","unstructured":"Puschner, P., Wellings, A.J.: A Profile for High-integrity Real-time Java Programs. In: IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (2001)","DOI":"10.1109\/ISORC.2001.922813"},{"key":"41_CR4","doi-asserted-by":"crossref","unstructured":"Kwon, J., Wellings, A.J., King, S.: Ravenscar-Java: A High Integrity Profile for Real- Time Java. In: Proceeding of the Joint ACM Java Grande \u2013 ISCOPE 2002 Conference (2002)","DOI":"10.1145\/583810.583825"},{"key":"41_CR5","unstructured":"Kwon, J., Welling, A.J., King, S.: Predictable Memory Utilization in the Ravenscar- Java Profile. In: IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (2003)"},{"key":"41_CR6","doi-asserted-by":"crossref","unstructured":"Bernat, G., Burns, A., Wellings, A.J.: Portable Worst-Case Execution Time Analysis Using Java Byte Code. In: Proceedings of the 12th EuroMicro Conference on Real-Time Systems, Stockholm (June 2000)","DOI":"10.1109\/EMRTS.2000.853995"},{"key":"41_CR7","unstructured":"Sun Microsystem\u00ae, Java TM 2 Platform, Micro Edition (J2ME TM ) Technology for creating Mobile Devices, white paper, http:\/\/java.sun.com\/products\/cldc\/ (accessed March 2003)"},{"key":"41_CR8","unstructured":"Sun Microsystems, Connected, Limited Device Configuration, Specification Version 1.0a, http:\/\/java.sun.com\/products\/cldc\/ (accessed March 2003)"},{"key":"41_CR9","volume-title":"The Java Virtual Machine Specification(2e)","author":"T. Lindholm","year":"1999","unstructured":"Lindholm, T., Yellin, F.: The Java Virtual Machine Specification(2e). Addison-Wesley, Reading (1999)"},{"key":"41_CR10","unstructured":"Yellin, F.: Inside the The K Virtual Machine (KVM). Presentation slice, http:\/\/java.sun.com\/javaone\/javaone2001\/pdfs\/1113.pdf (accessed April 2003)"},{"key":"41_CR11","volume-title":"Inside the Java Virtual Machine","author":"B. Venners","year":"1999","unstructured":"Venners, B.: Inside the Java Virtual Machine. McGraw-Hill, New York (1999)"},{"key":"41_CR12","volume-title":"Garbage Collection-Algorithms for Automatic Dynamic Memory Management","author":"R. Jones","year":"1996","unstructured":"Jones, R., Lins, R.: Garbage Collection-Algorithms for Automatic Dynamic Memory Management. John Wiley & Sons, Chichester (1996)"},{"key":"41_CR13","volume-title":"Real-time Systems and Programming Languages: Ada 1995, Real-Time Java and Real-time POSIX","author":"A. Burns","year":"2001","unstructured":"Burns, A., Wellings, A.J.: Real-time Systems and Programming Languages: Ada 1995, Real-Time Java and Real-time POSIX. Addison Wesley Longmain, Reading (2001)"},{"key":"41_CR14","doi-asserted-by":"crossref","unstructured":"Sha, L., et al.: Priority Inheritance Protocols: An Approach to Real-time Synchronization. In: IEEE Transactions on Computers, September 1990, vol.\u00a039(9), pp. 1175\u20131185 (1990)","DOI":"10.1109\/12.57058"},{"key":"41_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/3-540-44585-4_26","volume-title":"Computer Aided Verification","author":"X. Leroy","year":"2001","unstructured":"Leroy, X.: Java Bytecode Verification: An Overview. In: Berry, G., Comon, H., Finkel, A. (eds.) CAV 2001. LNCS, vol.\u00a02102, pp. 265\u2013285. Springer, Heidelberg (2001)"},{"key":"41_CR16","unstructured":"Wilkinson, T.J., Associates: Kaffe: A Free Virtual Machine to Run Java Code, Technical report, http:\/\/www.kaffe.org"},{"key":"41_CR17","unstructured":"Boehm, H., et al.: Tree Benchmark for Memory Management, http:\/\/www.hpl.hp.com\/personal\/hans_Boehm\/gc\/gc_bench.html (accessed April 2003)"}],"container-title":["Lecture Notes in Computer Science","On The Move to Meaningful Internet Systems 2003: OTM 2003 Workshops"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39962-9_41","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,4]],"date-time":"2019-06-04T07:06:31Z","timestamp":1559631991000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39962-9_41"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540204947","9783540399629"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39962-9_41","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}