skip to main content
Skip header Section
The Real-Time Specification for JavaJune 2000
Publisher:
  • Addison-Wesley Longman Publishing Co., Inc.
  • 75 Arlington Street, Suite 300 Boston, MA
  • United States
ISBN:978-0-201-70323-8
Published:01 June 2000
Pages:
224
Skip Bibliometrics Section
Bibliometrics
Skip Abstract Section
Abstract

From the Book: PREFACE: Dreams In 1997 the idea of writing real-time applications in the Java programming language seemed unrealistic. Real-time programmers talk about wanting consistent timing behavior more than absolute speed, but that doesn't mean they donIt require excellent overall performance. The Java runtime is sometimes interpreted, and almost always uses a garbage collector. The early versions were not known for their blistering performance. Nevertheless, Java platforms were already being incorporated into real-time systems. It is fairly easy to build a hybrid system that uses C for modules that have real-time requirements and other components written to the Java platform. It is also possible to implement the Java interpreter in hardware (for performance), and integrate the system without a garbage collector (for consistent performance). aJile Systems produces a Java processor with acceptable real-time characteristics. Until the summer of 1998, efforts toward support for real-time programming on the Java platform were fragmented. Kelvin Nilsen from NewMonics and Lisa Carnahan from the National Institute for Standards and Technology (NIST) led one effort, Greg Bollella from IBM led a group of companies that had a stake in Java technology and real-time, and Sun had an internal real-time project based on the Java platform. In the summer of 1998 the three groups merged. The real-time requirements working group included Kelvin Nilsen from NewMonics, Bill Foote and Kevin Russell from Sun, and the group of companies led by Greg Bollella. It also included a diverse selection of technical people from across the real-time industry and afewrepresentatives with a more marketing or management orientation. The requirements group convened periodically until early 1999. Its final output was a document, Requirements for Real-time Extensions for the Java Platform, detailing the requirements the group had developed, and giving some rationale for those requirements. It can be found on the web at ...

Cited By

  1. Czerniejewski A, Burns J, Ghanei F, Dantu K, Liu Y and Ziarek L JCopter: Reliable UAV Software Through Managed Languages 2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), (4282-4289)
  2. Shivkumar B, Murphy J and Ziarek L RTMLton: An SML Runtime for Real-Time Systems Practical Aspects of Declarative Languages, (113-130)
  3. ACM
    Yan Y, Gokul G, Dantu K, Ko S, Ziarek L and Vitek J (2019). Can Android Run on Time? Extending and Measuring the Android Platform's Timeliness, ACM Transactions on Embedded Computing Systems, 17:6, (1-26), Online publication date: 30-Nov-2018.
  4. ACM
    Gokul G, Yan Y, Dantu K, Ko S and Ziarek L Real Time Sound Processing on Android Proceedings of the 14th International Workshop on Java Technologies for Real-Time and Embedded Systems, (1-10)
  5. ACM
    Czerniejewski A, Cosgrove S, Yan Y, Dantu K, Ko S and Ziarek L jUAV Proceedings of the 14th International Workshop on Java Technologies for Real-Time and Embedded Systems, (1-10)
  6. ACM
    Li M, McArdle D, Murphy J, Shivkumar B and Ziarek L (2016). Adding real-time capabilities to a SML compiler, ACM SIGBED Review, 13:2, (8-13), Online publication date: 27-Apr-2016.
  7. ACM
    Puffitsch W Fernando Proceedings of the 13th International Workshop on Java Technologies for Real-time and Embedded Systems, (1-9)
  8. ACM
    Schoeberl M Scala for Real-Time Systems? Proceedings of the 13th International Workshop on Java Technologies for Real-time and Embedded Systems, (1-5)
  9. ACM
    Korsholm S, Schoeberl M and Puffitsch W Safety-Critical Java on a Time-Predictable Processor Proceedings of the 13th International Workshop on Java Technologies for Real-time and Embedded Systems, (1-9)
  10. ACM
    Strøm T and Schoeberl M Multiprocessor Priority Ceiling Emulation for Safety-Critical Java Proceedings of the 13th International Workshop on Java Technologies for Real-time and Embedded Systems, (1-10)
  11. ACM
    Baxter J, Cavalcanti A, Wellings A and Freitas L Safety-Critical Java Virtual Machine Services Proceedings of the 13th International Workshop on Java Technologies for Real-time and Embedded Systems, (1-10)
  12. ACM
    Park H, Malik A, Nadeem M and Salcic Z The Cardiac Pacemaker Proceedings of the 12th International Workshop on Java Technologies for Real-time and Embedded Systems, (37-46)
  13. ACM
    Schoeberl M, Dalsgaard A, Hansen R, Korsholm S, Ravn A, Rivas J, Strøm T and Søndergaard H Certifiable Java for Embedded Systems Proceedings of the 12th International Workshop on Java Technologies for Real-time and Embedded Systems, (10-19)
  14. ACM
    Gray I, Chan Y, Audsley N and Wellings A Architecture-Awareness for Real-Time Big Data Systems Proceedings of the 21st European MPI Users' Group Meeting, (151-156)
  15. ACM
    Yan Y, Cosgrove S, Anand V, Kulkarni A, Konduri S, Ko S and Ziarek L Real-time android with RTDroid Proceedings of the 12th annual international conference on Mobile systems, applications, and services, (273-286)
  16. ACM
    Wellings A, Burns A, Cavalcanti A and Singh N (2013). Programming simple reactive systems in ada: premature program termination, ACM SIGAda Ada Letters, 33:2, (75-86), Online publication date: 8-Nov-2013.
  17. ACM
    Strøm T, Puffitsch W and Schoeberl M Chip-multiprocessor hardware locks for safety-critical Java Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems, (38-46)
  18. ACM
    Blanton E and Ziarek L Non-blocking inter-partition communication with wait-free pair transactions Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems, (58-67)
  19. ACM
    Yan Y, Konduri S, Kulkarni A, Anand V, Ko S and Ziarek L RTDroid Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems, (98-107)
  20. ACM
    Hamza H and Counsell S Exploiting slicing and patterns for RTSJ immortal memory optimization Proceedings of the 2013 International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools, (159-164)
  21. ACM
    Bacon D, Cheng P and Rajan V (2013). POPL 2003, ACM SIGPLAN Notices, 48:4S, (58-71), Online publication date: 9-Jul-2013.
  22. ACM
    Berger E, Zorn B and McKinley K (2013). OOPSLA 2002, ACM SIGPLAN Notices, 48:4S, (46-57), Online publication date: 9-Jul-2013.
  23. ACM
    Däumler M and Werner M Reducing startup time of a deterministic virtualizing runtime environment Proceedings of the 16th International Workshop on Software and Compilers for Embedded Systems, (48-57)
  24. ACM
    Bouakaz A and Talpin J Design of safety-critical Java level 1 applications using affine abstract clocks Proceedings of the 16th International Workshop on Software and Compilers for Embedded Systems, (58-67)
  25. ACM
    Martins R, Lopes L, Silva F and Narasimhan P Stheno, a real-time fault-tolerant P2P middleware platform for light-train systems Proceedings of the 28th Annual ACM Symposium on Applied Computing, (431-438)
  26. ACM
    de Miguel M and Salazar E Model-based development for RTSJ platforms Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems, (175-184)
  27. ACM
    Blanton E, Lessa D, Ziarek L and Jayaraman B Ji.Fi Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems, (155-164)
  28. ACM
    Strøm T and Schoeberl M A desktop 3D printer in safety-critical Java Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems, (72-79)
  29. ACM
    Schoeberl M and Rios J Safety-critical Java on a Java processor Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems, (54-61)
  30. ACM
    Søndergaard H, Korsholm S and Ravn A Safety-critical Java for low-end embedded platforms Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems, (44-53)
  31. ACM
    Kwon J, Cho H and Ravindran B A framework accommodating categorized multiprocessor real-time scheduling in the RTSJ Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems, (18-25)
  32. ACM
    Dalsgaard A, Hansen R and Schoeberl M Private memory allocation analysis for safety-critical Java Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems, (9-17)
  33. ACM
    Schoeberl M, Korsholm S, Kalibera T and Ravn A (2011). A Hardware Abstraction Layer in Java, ACM Transactions on Embedded Computing Systems, 10:4, (1-40), Online publication date: 1-Nov-2011.
  34. Wang Y and Tan X (2011). The Formal Design Models of Tree Architectures and Behaviors, International Journal of Software Science and Computational Intelligence, 3:4, (84-108), Online publication date: 1-Oct-2011.
  35. ACM
    Maia C, Nogueira L and Pinho L Combining RTSJ with Fork/Join Proceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded Systems, (82-86)
  36. ACM
    Puffitsch W Hard real-time garbage collection for a Java chip multi-processor Proceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded Systems, (64-73)
  37. ACM
    Schoeberl M Memory management for safety-critical Java Proceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded Systems, (47-53)
  38. ACM
    Meawad F, Schoeberl M, Iyer K and Vitek J Real-time wait-free queues using micro-transactions Proceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded Systems, (1-10)
  39. ACM
    Schoeberl M ejIP Proceedings of the 9th International Conference on Principles and Practice of Programming in Java, (63-69)
  40. ACM
    Kalibera T, Pizlo F, Hosking A and Vitek J (2011). Scheduling real-time garbage collection on uniprocessors, ACM Transactions on Computer Systems, 29:3, (1-29), Online publication date: 1-Aug-2011.
  41. ACM
    Vitek J Virtualizing real-time embedded systems with Java Proceedings of the 48th Design Automation Conference, (906-911)
  42. ACM
    Gray I and Audsley N (2011). Targeting complex embedded architectures by combining the multicore communications API (mcapi) with compile-time virtualisation, ACM SIGPLAN Notices, 46:5, (51-60), Online publication date: 11-Apr-2011.
  43. ACM
    Gray I and Audsley N Targeting complex embedded architectures by combining the multicore communications API (mcapi) with compile-time virtualisation Proceedings of the 2011 SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems, (51-60)
  44. Puffitsch W, Huber B and Schoeberl M Worst-case analysis of heap allocations Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II, (464-478)
  45. Schoeberl M, Brooks C and Lee E Code generation for embedded Java with Ptolemy Proceedings of the 8th IFIP WG 10.2 international conference on Software technologies for embedded and ubiquitous systems, (155-166)
  46. Kidd N, Jagannathan S and Vitek J One stack to run them all Proceedings of the 17th international SPIN conference on Model checking software, (245-261)
  47. ACM
    Kalibera T, Parizek P, Malohlava M and Schoeberl M Exhaustive testing of safety critical Java Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems, (164-174)
  48. ACM
    Tang D, Plsek A and Vitek J Static checking of safety critical Java annotations Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems, (148-154)
  49. ACM
    Schoeberl M, Preußer T and Uhrig S The embedded Java benchmark suite JemBench Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems, (120-127)
  50. ACM
    Plsek A, Zhao L, Sahin V, Tang D, Kalibera T and Vitek J Developing safety critical Java applications with oSCJ/L0 Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems, (95-101)
  51. ACM
    Ravn A and Schoeberl M Cyclic executive for safety-critical Java on chip-multiprocessors Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems, (63-69)
  52. ACM
    Schoeberl M and Puffitsch W (2010). Nonblocking real-time garbage collection, ACM Transactions on Embedded Computing Systems, 10:1, (1-28), Online publication date: 1-Aug-2010.
  53. ACM
    Spring J, Pizlo F, Privat J, Guerraoui R and Vitek J (2010). Reflexes, ACM Transactions on Embedded Computing Systems, 10:1, (1-29), Online publication date: 1-Aug-2010.
  54. ACM
    Gray I and Audsley N Supporting islands of coherency for highly-parallel embedded architectures using compile-time virtualisation Proceedings of the 13th International Workshop on Software & Compilers for Embedded Systems, (1-10)
  55. ACM
    Pizlo F, Ziarek L, Blanton E, Maj P and Vitek J High-level programming of embedded hard real-time devices Proceedings of the 5th European conference on Computer systems, (69-82)
  56. ACM
    Schoeberl M, Brandner F and Vitek J RTTM Proceedings of the 2010 ACM Symposium on Applied Computing, (326-333)
  57. ACM
    Kalibera T, Parizek P, Haddad G, Leavens G and Vitek J Challenge benchmarks for verification of real-time programs Proceedings of the 4th ACM SIGPLAN workshop on Programming languages meets program verification, (57-62)
  58. ACM
    Zhao L, Tang D and Vitek J A technology compatibility kit for safety critical Java Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, (160-168)
  59. ACM
    Bøgholm T, Hansen R, Ravn A, Thomsen B and Søndergaard H A predictable Java profile Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, (150-159)
  60. ACM
    Garbervetsky D, Yovine S, Braberman V, Rouaux M and Taboada A On transforming Java-like programs into memory-predictable code Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, (140-149)
  61. ACM
    Pizlo F, Ziarek L and Vitek J Real time Java on resource-constrained platforms with Fiji VM Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, (110-119)
  62. ACM
    Röck H, Auerbach J, Kirsch C and Bacon D Avoiding unbounded priority inversion in barrier protocols using gang priority management Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, (70-79)
  63. ACM
    Schommer J, Franke D, Kowalewski S and Weise C Evaluation of the real-time Java runtime environment for deployment in time-critical systems Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, (51-60)
  64. ACM
    Sandén B (2009). Inspired software design early jackson methods to thread architectures, ACM SIGSOFT Software Engineering Notes, 34:4, (1-6), Online publication date: 6-Jul-2009.
  65. ACM
    Auerbach J, Bacon D, Iercan D, Kirsch C, Rajan V, Röck H and Trummer R (2009). Low-latency time-portable real-time programming with Exotasks, ACM Transactions on Embedded Computing Systems, 8:2, (1-48), Online publication date: 1-Jan-2009.
  66. Plšek A, Loiret F, Merle P and Seinturier L A component framework for java-based real-time embedded systems Proceedings of the 9th ACM/IFIP/USENIX International Conference on Middleware, (124-143)
  67. ACM
    Binder W, Villazón A, Schoeberl M and Moret P Cache-aware cross-profiling for java processors Proceedings of the 2008 international conference on Compilers, architectures and synthesis for embedded systems, (127-136)
  68. ACM
    Schoeberl M and Puffitsch W Non-blocking object copy for real-time garbage collection Proceedings of the 6th international workshop on Java technologies for real-time and embedded systems, (77-84)
  69. ACM
    Puffitsch W and Schoeberl M Non-blocking root scanning for real-time garbage collection Proceedings of the 6th international workshop on Java technologies for real-time and embedded systems, (68-76)
  70. ACM
    Auerbach J, Bacon D, Guerraoui R, Spring J and Vitek J (2008). Flexible task graphs, ACM SIGPLAN Notices, 43:7, (1-11), Online publication date: 27-Jun-2008.
  71. ACM
    Auerbach J, Bacon D, Guerraoui R, Spring J and Vitek J Flexible task graphs Proceedings of the 2008 ACM SIGPLAN-SIGBED conference on Languages, compilers, and tools for embedded systems, (1-11)
  72. ACM
    Braberman V, Fernández F, Garbervetsky D and Yovine S Parametric prediction of heap memory requirements Proceedings of the 7th international symposium on Memory management, (141-150)
  73. Shankaran N, Roy N, Schmidt D, Koutsoukos X, Chen Y and Lu C (2008). Design and performance evaluation of an adaptive resource management framework for distributed real-time and embedded systems, EURASIP Journal on Embedded Systems, 2008, (1-20), Online publication date: 15-Jan-2008.
  74. ACM
    Armbruster A, Baker J, Cunei A, Flack C, Holmes D, Pizlo F, Pla E, Prochazka M and Vitek J (2007). A real-time Java virtual machine with applications in avionics, ACM Transactions on Embedded Computing Systems, 7:1, (1-49), Online publication date: 1-Dec-2007.
  75. ACM
    Nicosia V Towards hard real-time erlang Proceedings of the 2007 SIGPLAN workshop on ERLANG Workshop, (29-36)
  76. ACM
    Auerbach J, Bacon D, Blainey B, Cheng P, Dawson M, Fulton M, Grove D, Hart D and Stoodley M Design and implementation of a comprehensive real-time java virtual machine Proceedings of the 7th ACM & IEEE international conference on Embedded software, (249-258)
  77. ACM
    Schoeberl M and Vitek J Garbage collection for safety critical Java Proceedings of the 5th international workshop on Java technologies for real-time and embedded systems, (85-93)
  78. ACM
    Defoe D, LeGrand R and Cytron R On the connection between functional programming languages and real-time Java scoped memory Proceedings of the 5th international workshop on Java technologies for real-time and embedded systems, (73-82)
  79. ACM
    Foley S Tactics for minimal interference from class loading in real-time Java™ Proceedings of the 5th international workshop on Java technologies for real-time and embedded systems, (23-32)
  80. ACM
    Burns A and Wellings A (2007). Programming execution-time servers in Ada 2005, ACM SIGAda Ada Letters, XXVII:2, (48-52), Online publication date: 1-Aug-2007.
  81. ACM
    Auerbach J, Bacon D, Iercan D, Kirsch C, Rajan V, Roeck H and Trummer R (2007). Java takes flight, ACM SIGPLAN Notices, 42:7, (51-62), Online publication date: 13-Jul-2007.
  82. ACM
    Spring J, Pizlo F, Guerraoui R and Vitek J Reflexes Proceedings of the 3rd international conference on Virtual execution environments, (191-201)
  83. ACM
    Auerbach J, Bacon D, Iercan D, Kirsch C, Rajan V, Roeck H and Trummer R Java takes flight Proceedings of the 2007 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems, (51-62)
  84. Schoeberl M Mission modes for safety critical Java Proceedings of the 5th IFIP WG 10.2 international conference on Software technologies for embedded and ubiquitous systems, (105-113)
  85. ACM
    Burns A and Wellings A Programming execution-time servers in Ada 2005 Proceedings of the 13th international workshop on Real-time Ada, (48-52)
  86. ACM
    Kourai K, Hibino H and Chiba S Aspect-oriented application-level scheduling for J2EE servers Proceedings of the 6th international conference on Aspect-oriented software development, (1-13)
  87. ACM
    Chai Z, Zhao W and Xu W Real-time Java processor optimized for RTSJ Proceedings of the 2007 ACM symposium on Applied computing, (1540-1544)
  88. Fulton M and Stoodley M Compilation Techniques for Real-Time Java Programs Proceedings of the International Symposium on Code Generation and Optimization, (221-231)
  89. ACM
    Bacon D (2007). Realtime Garbage Collection, Queue, 5:1, (40-49), Online publication date: 1-Feb-2007.
  90. ACM
    Goh O, Lee Y and Kaakani Z Schedulable persistence system for teal-time applications in virtual machine Proceedings of the 6th ACM & IEEE International conference on Embedded software, (195-204)
  91. ACM
    Gill C Resource virtualization in real-time CORBA middleware Proceedings of the 4th international conference on Hardware/software codesign and system synthesis, (181-186)
  92. ACM
    Schoeberl M and Pedersen R WCET analysis for a Java processor Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems, (202-211)
  93. ACM
    Bougueroua L, George L and Midonnet S An execution overrun management mechanism for the temporal robustness of Java real-time systems Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems, (188-195)
  94. ACM
    Hu E, Jenn E, Valot N and Alonso A Safety critical applications and hard real-time profile for Java Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems, (125-134)
  95. ACM
    Chang Y and Wellings A Low memory overhead real-time garbage collection for Java Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems, (85-94)
  96. ACM
    Pedersen R and Schoeberl M Exact roots for a real-time garbage collector Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems, (77-84)
  97. ACM
    Søndergaard H, Thomsen B and Ravn A A Ravenscar-Java profile implementation Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems, (38-47)
  98. ACM
    Fähndrich M, Aiken M, Hawblitzel C, Hodson O, Hunt G, Larus J and Levi S (2006). Language support for fast and reliable message-based communication in singularity OS, ACM SIGOPS Operating Systems Review, 40:4, (177-190), Online publication date: 1-Oct-2006.
  99. Andreae C, Coady Y, Gibbs C, Noble J, Vitek J and Zhao T Scoped types and aspects for real-time java Proceedings of the 20th European conference on Object-Oriented Programming, (124-147)
  100. ACM
    Cunei A and Vitek J A new approach to real-time checkpointing Proceedings of the 2nd international conference on Virtual execution environments, (68-77)
  101. Chai Z, Xu W, Tu S and Chen Z Implementing predictable scheduling in RTSJ-Based java processor Proceedings of the 6th international conference on Computational Science - Volume Part I, (1043-1046)
  102. Masson D and Midonnet S Fault tolerance with real-time java Proceedings of the 20th international conference on Parallel and distributed processing, (172-172)
  103. Manson J, Vitek J and Jagannathan S Dynamic aspects for runtime fault determination and recovery Proceedings of the 20th international conference on Parallel and distributed processing, (282-282)
  104. ACM
    Fähndrich M, Aiken M, Hawblitzel C, Hodson O, Hunt G, Larus J and Levi S Language support for fast and reliable message-based communication in singularity OS Proceedings of the 1st ACM SIGOPS/EuroSys European Conference on Computer Systems 2006, (177-190)
  105. Schoeberl M A time predictable Java processor Proceedings of the conference on Design, automation and test in Europe: Proceedings, (800-805)
  106. Raman K, Zhang Y, Panahi M, Colmenares J, Klefstad R and Harmon T RTZen Proceedings of the ACM/IFIP/USENIX 6th international conference on Middleware, (225-248)
  107. ACM
    Ferrari A, Garbervetsky D, Braberman V, Listingart P and Yovine S JScoper Proceedings of the 2005 OOPSLA workshop on Eclipse technology eXchange, (50-54)
  108. ACM
    Bacon D, Cheng P, Grove D, Hind M, Rajan V, Yahav E, Hauswirth M, Kirsch C, Spoonhower D and Vechev M High-level real-time programming in Java Proceedings of the 5th ACM international conference on Embedded software, (68-78)
  109. ACM
    Mann T, Deters M, LeGrand R and Cytron R (2005). Static determination of allocation rates to support real-time garbage collection, ACM SIGPLAN Notices, 40:7, (193-202), Online publication date: 12-Jul-2005.
  110. ACM
    Bacon D, Cheng P, Grove D and Vechev M (2005). Syncopation, ACM SIGPLAN Notices, 40:7, (183-192), Online publication date: 12-Jul-2005.
  111. Brosgol B A comparison of the mutual exclusion features in ada and the real-time specification for JavaTM Proceedings of the 10th Ada-Europe international conference on Reliable Software Technologies, (129-143)
  112. ACM
    Mann T, Deters M, LeGrand R and Cytron R Static determination of allocation rates to support real-time garbage collection Proceedings of the 2005 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems, (193-202)
  113. ACM
    Bacon D, Cheng P, Grove D and Vechev M Syncopation Proceedings of the 2005 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems, (183-192)
  114. ACM
    Click C, Tene G and Wolf M The pauseless GC algorithm Proceedings of the 1st ACM/USENIX international conference on Virtual execution environments, (46-56)
  115. Salagnac G, Yovine S and Garbervetsky D (2005). Fast Escape Analysis for Region-based Memory Management, Electronic Notes in Theoretical Computer Science (ENTCS), 131, (99-110), Online publication date: 1-May-2005.
  116. Aspinall D and MacKenzie K Mobile resource guarantees and policies Proceedings of the Second international conference on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, (16-36)
  117. ACM
    Xian Y and Xiong G (2005). Minimizing memory requirement of real-time systems with concurrent garbage collector, ACM SIGPLAN Notices, 40:3, (40-48), Online publication date: 1-Mar-2005.
  118. Xian Y, Zhang N and Xiong G Concurrent garbage collection implementation in a standard JVM for real-time purposes Proceedings of the First international conference on Embedded Software and Systems, (481-487)
  119. ACM
    Cherem S and Rugina R Region analysis and transformation for Java programs Proceedings of the 4th international symposium on Memory management, (85-96)
  120. ACM
    Krishna A Enhancing distributed object middleware qualities Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications, (320-321)
  121. Jordan M, Czajkowski G, Kouklinski K and Skinner G Extending a J2EE™ server with dynamic and flexible resource management Proceedings of the 5th ACM/IFIP/USENIX international conference on Middleware, (439-458)
  122. Hsiung P, Lin S, Tseng C, Lee T, Fu J and See W (2004). VERTAF, IEEE Transactions on Software Engineering, 30:10, (656-674), Online publication date: 1-Oct-2004.
  123. ACM
    Bacon D, Cheng P and Grove D Garbage collection for embedded systems Proceedings of the 4th ACM international conference on Embedded software, (125-136)
  124. ACM
    Chin W, Craciun F, Qin S and Rinard M (2004). Region inference for an object-oriented language, ACM SIGPLAN Notices, 39:6, (243-254), Online publication date: 9-Jun-2004.
  125. ACM
    Chin W, Craciun F, Qin S and Rinard M Region inference for an object-oriented language Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation, (243-254)
  126. ACM
    Potratz E (2003). A practical comparison between Java and Ada in implementing a real-time embedded system, ACM SIGAda Ada Letters, XXIV:1, (71-83), Online publication date: 1-Mar-2004.
  127. ACM
    Potratz E A practical comparison between Java and Ada in implementing a real-time embedded system Proceedings of the 2003 annual ACM SIGAda international conference on Ada: the engineering of correct and reliable software for real-time & distributed systems using ada and related technologies, (71-83)
  128. ACM
    Wellings A (2003). Is Java augmented with the RTSJ a better real-time systems implementation technology than Ada 95?, ACM SIGAda Ada Letters, XXIII:4, (16-21), Online publication date: 1-Dec-2003.
  129. ACM
    Wellings A Is Java augmented with the RTSJ a better real-time systems implementation technology than Ada 95? Proceedings of the 12th international workshop on Real-time Ada, (16-21)
  130. ACM
    Bacon D, Cheng P and Rajan V (2003). Controlling fragmentation and space consumption in the metronome, a real-time garbage collector for Java, ACM SIGPLAN Notices, 38:7, (81-92), Online publication date: 11-Jul-2003.
  131. ACM
    Corsaro A and Cytron R (2003). Efficient memory-reference checks for real-time java, ACM SIGPLAN Notices, 38:7, (51-58), Online publication date: 11-Jul-2003.
  132. Brosgol B and Wellings A A comparison of the asynchronous transfer of control features in Ada and the real-time specification for Java™ Proceedings of the 8th Ada-Europe international conference on Reliable software technologies, (113-128)
  133. ACM
    Bacon D, Cheng P and Rajan V Controlling fragmentation and space consumption in the metronome, a real-time garbage collector for Java Proceedings of the 2003 ACM SIGPLAN conference on Language, compiler, and tool for embedded systems, (81-92)
  134. ACM
    Corsaro A and Cytron R Efficient memory-reference checks for real-time java Proceedings of the 2003 ACM SIGPLAN conference on Language, compiler, and tool for embedded systems, (51-58)
  135. ACM
    Sandén B (2003). Real-time programming safety in Java and Ada, ACM SIGAda Ada Letters, XXIII:2, (32-46), Online publication date: 1-Jun-2003.
  136. Krishna A, Klefstad R, Schmidt D and Corsaro A Towards Predictable Real-time Java Object Request Brokers Proceedings of the The 9th IEEE Real-Time and Embedded Technology and Applications Symposium
  137. ACM
    Kwon J, Wellings A and King S (2003). Assessment of the Java programming language for use in high integrity systems, ACM SIGPLAN Notices, 38:4, (34-46), Online publication date: 1-Apr-2003.
  138. ACM
    Deters M and Cytron R (2002). Automated discovery of scoped memory regions for real-time Java, ACM SIGPLAN Notices, 38:2 supplement, (25-35), Online publication date: 15-Feb-2003.
  139. ACM
    Bacon D, Cheng P and Rajan V (2003). A real-time garbage collector with low overhead and consistent utilization, ACM SIGPLAN Notices, 38:1, (285-298), Online publication date: 15-Jan-2003.
  140. ACM
    Gheorghioiu O, Salcianu A and Rinard M (2003). Interprocedural compatibility analysis for static object preallocation, ACM SIGPLAN Notices, 38:1, (273-284), Online publication date: 15-Jan-2003.
  141. ACM
    Bacon D, Cheng P and Rajan V A real-time garbage collector with low overhead and consistent utilization Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (285-298)
  142. ACM
    Gheorghioiu O, Salcianu A and Rinard M Interprocedural compatibility analysis for static object preallocation Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (273-284)
  143. Cross J and Schmidt D Applying the quality connector pattern to optimise distributed real-time and embedded applications Patterns and skeletons for parallel and distributed computing, (209-235)
  144. ACM
    Clarke D and Drossopoulou S (2002). Ownership, encapsulation and the disjointness of type and effect, ACM SIGPLAN Notices, 37:11, (292-310), Online publication date: 17-Nov-2002.
  145. ACM
    Berger E, Zorn B and McKinley K (2002). Reconsidering custom memory allocation, ACM SIGPLAN Notices, 37:11, (1-12), Online publication date: 17-Nov-2002.
  146. ACM
    Clarke D and Drossopoulou S Ownership, encapsulation and the disjointness of type and effect Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (292-310)
  147. ACM
    Berger E, Zorn B and McKinley K Reconsidering custom memory allocation Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (1-12)
  148. ACM
    Kwon J, Wellings A and King S Ravenscar-Java Proceedings of the 2002 joint ACM-ISCOPE conference on Java Grande, (131-140)
  149. ACM
    Nilsson A, Ekman T and Nilsson K Real Java for real time - gain and pain Proceedings of the 2002 international conference on Compilers, architecture, and synthesis for embedded systems, (304-311)
  150. ACM
    Ward M and Audsley N Hardware implementation of the Ravenscar Ada tasking profile Proceedings of the 2002 international conference on Compilers, architecture, and synthesis for embedded systems, (59-68)
  151. ACM
    Deters M and Cytron R Automated discovery of scoped memory regions for real-time Java Proceedings of the 3rd international symposium on Memory management, (132-142)
  152. ACM
    Binder W and Roth V Secure mobile agent systems using Java Proceedings of the 2002 ACM symposium on Applied computing, (115-119)
  153. ACM
    Brosgol B and Dobbing B (2001). Real-time convergence of Ada and Java™, ACM SIGAda Ada Letters, XXI:4, (11-26), Online publication date: 1-Dec-2001.
  154. ACM
    Ward M and Audsley N Hardware compilation of sequential ada Proceedings of the 2001 international conference on Compilers, architecture, and synthesis for embedded systems, (99-107)
  155. ACM
    Binder W, Hulaas J and Villazón A (2001). Portable resource control in Java, ACM SIGPLAN Notices, 36:11, (139-155), Online publication date: 1-Nov-2001.
  156. ACM
    Binder W, Hulaas J and Villazón A Portable resource control in Java Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (139-155)
  157. ACM
    Brosgol B and Dobbing B Real-time convergence of Ada and Java™ Proceedings of the 2001 annual ACM SIGAda international conference on Ada, (11-26)
  158. ACM
    Salcianu A and Rinard M (2001). Pointer and escape analysis for multithreaded programs, ACM SIGPLAN Notices, 36:7, (12-23), Online publication date: 1-Jul-2001.
  159. ACM
    Vivien F and Rinard M Incrementalized pointer and escape analysis Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation, (35-46)
  160. ACM
    Salcianu A and Rinard M Pointer and escape analysis for multithreaded programs Proceedings of the eighth ACM SIGPLAN symposium on Principles and practices of parallel programming, (12-23)
  161. ACM
    Vivien F and Rinard M (2001). Incrementalized pointer and escape analysis, ACM SIGPLAN Notices, 36:5, (35-46), Online publication date: 1-May-2001.
  162. Back G, Hsieh W and Lepreau J Processes in KaffeOS Proceedings of the 4th conference on Symposium on Operating System Design & Implementation - Volume 4
  163. ACM
    Bryce C and Razafimahefa C (2000). An approach to safe object sharing, ACM SIGPLAN Notices, 35:10, (367-381), Online publication date: 1-Oct-2000.
  164. ACM
    Bryce C and Razafimahefa C An approach to safe object sharing Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (367-381)
Contributors
  • Sun Microsystems
  • VMware, Inc

Recommendations