An approach to safe object sharing
OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Incrementalized pointer and escape analysis
Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation
Hardware compilation of sequential ada
CASES '01 Proceedings of the 2001 international conference on Compilers, architecture, and synthesis for embedded systems
Real-time convergence of Ada and Java™
Proceedings of the 2001 annual ACM SIGAda international conference on Ada
Secure mobile agent systems using Java: where are we heading?
Proceedings of the 2002 ACM symposium on Applied computing
Automated discovery of scoped memory regions for real-time Java
Proceedings of the 3rd international symposium on Memory management
Temporal abstract classes and virtual temporal specifications for real-time systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Hardware implementation of the Ravenscar Ada tasking profile
CASES '02 Proceedings of the 2002 international conference on Compilers, architecture, and synthesis for embedded systems
Real Java for real time - gain and pain
CASES '02 Proceedings of the 2002 international conference on Compilers, architecture, and synthesis for embedded systems
Reconsidering custom memory allocation
OOPSLA '02 Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Ownership, encapsulation and the disjointness of type and effect
OOPSLA '02 Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Ravenscar-Java: a high integrity profile for real-time Java
JGI '02 Proceedings of the 2002 joint ACM-ISCOPE conference on Java Grande
Interprocedural compatibility analysis for static object preallocation
POPL '03 Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A real-time garbage collector with low overhead and consistent utilization
POPL '03 Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Can Java Meet Its Real-Time Deadlines?
Ada Europe '01 Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies
Empirical Differences between COTS Middleware Scheduling Strategies
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
The Design and Performance of the jRate Real-Time Java Implementation
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
Applying the quality connector pattern to optimise distributed real-time and embedded applications
Patterns and skeletons for parallel and distributed computing
Efficient memory-reference checks for real-time java
Proceedings of the 2003 ACM SIGPLAN conference on Language, compiler, and tool for embedded systems
Proceedings of the 2003 ACM SIGPLAN conference on Language, compiler, and tool for embedded systems
Towards Predictable Real-time Java Object Request Brokers
RTAS '03 Proceedings of the The 9th IEEE Real-Time and Embedded Technology and Applications Symposium
Assessment of the Java programming language for use in high integrity systems
ACM SIGPLAN Notices
ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
Real-time programming safety in Java and Ada
ACM SIGAda Ada Letters
Leveraging object-orientation for real-time imaging systems
Real-Time Imaging - Special issue on software engineering
Garbage collection for embedded systems
Proceedings of the 4th ACM international conference on Embedded software
VERTAF: An Application Framework for the Design and Verification of Embedded Real-Time Software
IEEE Transactions on Software Engineering
Enhancing distributed object middleware qualities
OOPSLA '04 Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
Region analysis and transformation for Java programs
Proceedings of the 4th international symposium on Memory management
Extending a J2EE™ server with dynamic and flexible resource management
Proceedings of the 5th ACM/IFIP/USENIX international conference on Middleware
Proceedings of the 1st ACM/USENIX international conference on Virtual execution environments
Syncopation: generational real-time garbage collection in the metronome
LCTES '05 Proceedings of the 2005 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems
Static determination of allocation rates to support real-time garbage collection
LCTES '05 Proceedings of the 2005 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems
The KaffeOS Java runtime system
ACM Transactions on Programming Languages and Systems (TOPLAS)
High-level real-time programming in Java
Proceedings of the 5th ACM international conference on Embedded software
JScoper: Eclipse support for research on scoping and instrumentation for real time Java applications
eclipse '05 Proceedings of the 2005 OOPSLA workshop on Eclipse technology eXchange
Observations on the assured evolution of concurrent Java programs
Science of Computer Programming - Special issue: Concurrency and synchronization in Java programs
A time predictable Java processor
Proceedings of the conference on Design, automation and test in Europe: Proceedings
A new approach to real-time checkpointing
Proceedings of the 2nd international conference on Virtual execution environments
A Ravenscar-Java profile implementation
JTRES '06 Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems
Exact roots for a real-time garbage collector
JTRES '06 Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems
Low memory overhead real-time garbage collection for Java
JTRES '06 Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems
An execution overrun management mechanism for the temporal robustness of Java real-time systems
JTRES '06 Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems
WCET analysis for a Java processor
JTRES '06 Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems
Resource virtualization in real-time CORBA middleware
CODES+ISSS '06 Proceedings of the 4th international conference on Hardware/software codesign and system synthesis
Schedulable persistence system for teal-time applications in virtual machine
EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software
Hardware support for detecting illegal references in a multiapplication real-time Java environment
ACM Transactions on Embedded Computing Systems (TECS)
Queue - Security
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
Real-time Java processor optimized for RTSJ
Proceedings of the 2007 ACM symposium on Applied computing
Compilation Techniques for Real-Time Java Programs
Proceedings of the International Symposium on Code Generation and Optimization
Java takes flight: time-portable real-time programming with exotasks
Proceedings of the 2007 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems
Reflexes: abstractions for highly responsive systems
Proceedings of the 3rd international conference on Virtual execution environments
Schedulable garbage collection in CLI virtual execution system
Real-Time Systems
Garbage collection-aware utility accrual scheduling
Real-Time Systems
Scoped types and aspects for real-time Java memory management
Real-Time Systems
Tactics for minimal interference from class loading in real-time Java™
JTRES '07 Proceedings of the 5th international workshop on Java technologies for real-time and embedded systems
On the connection between functional programming languages and real-time Java scoped memory
JTRES '07 Proceedings of the 5th international workshop on Java technologies for real-time and embedded systems
Garbage collection for safety critical Java
JTRES '07 Proceedings of the 5th international workshop on Java technologies for real-time and embedded systems
Design and implementation of a comprehensive real-time java virtual machine
EMSOFT '07 Proceedings of the 7th ACM & IEEE international conference on Embedded software
ERLANG '07 Proceedings of the 2007 SIGPLAN workshop on ERLANG Workshop
A real-time Java virtual machine with applications in avionics
ACM Transactions on Embedded Computing Systems (TECS)
Parametric prediction of heap memory requirements
Proceedings of the 7th international symposium on Memory management
Flexible task graphs: a unified restricted thread programming model for java
Proceedings of the 2008 ACM SIGPLAN-SIGBED conference on Languages, compilers, and tools for embedded systems
EURASIP Journal on Embedded Systems - Operating System Support for Embedded Real-Time Applications
Non-blocking root scanning for real-time garbage collection
JTRES '08 Proceedings of the 6th international workshop on Java technologies for real-time and embedded systems
Non-blocking object copy for real-time garbage collection
JTRES '08 Proceedings of the 6th international workshop on Java technologies for real-time and embedded systems
Low-latency time-portable real-time programming with Exotasks
ACM Transactions on Embedded Computing Systems (TECS)
A component framework for java-based real-time embedded systems
Proceedings of the 9th ACM/IFIP/USENIX International Conference on Middleware
RTZen: highly predictable, real-time java middleware for distributed and embedded systems
Proceedings of the ACM/IFIP/USENIX 2005 International Conference on Middleware
RTZen: highly predictable, real-time java middleware for distributed and embedded systems
Proceedings of the ACM/IFIP/USENIX 2005 International Conference on Middleware
Aspectising Concurrency for the RTSJ
ICDCN '09 Proceedings of the 10th International Conference on Distributed Computing and Networking
Inspired software design early jackson methods to thread architectures
ACM SIGSOFT Software Engineering Notes
High-Performance Transactional Event Processing
COORDINATION '09 Proceedings of the 11th International Conference on Coordination Models and Languages
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
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
On transforming Java-like programs into memory-predictable code
Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems
A predictable Java profile: rationale and implementations
Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems
A technology compatibility kit for safety critical Java
Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems
Platform-Specific Restrictions on Concurrency in Model Checking of Java Programs
FMICS '09 Proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems
A resource management interface for the Java™ platform
A resource management interface for the Java™ platform
Program Instrumentation and Run-Time Analysis of Scoped Memory in Java
Electronic Notes in Theoretical Computer Science (ENTCS)
A Verifier for Region-Annotated Java Bytecodes
Electronic Notes in Theoretical Computer Science (ENTCS)
Fast Escape Analysis for Region-based Memory Management
Electronic Notes in Theoretical Computer Science (ENTCS)
Challenge benchmarks for verification of real-time programs
Proceedings of the 4th ACM SIGPLAN workshop on Programming languages meets program verification
High-level programming of embedded hard real-time devices
Proceedings of the 5th European conference on Computer systems
Ada-Europe'03 Proceedings of the 8th Ada-Europe international conference on Reliable software technologies
RTTM: real-time transactional memory
Proceedings of the 2010 ACM Symposium on Applied Computing
Mission modes for safety critical Java
SEUS'07 Proceedings of the 5th IFIP WG 10.2 international conference on Software technologies for embedded and ubiquitous systems
Worst-case execution time analysis for a Java processor
Software—Practice & Experience
Proceedings of the 13th International Workshop on Software & Compilers for Embedded Systems
Reflexes: Abstractions for integrating highly responsive tasks into Java applications
ACM Transactions on Embedded Computing Systems (TECS)
Nonblocking real-time garbage collection
ACM Transactions on Embedded Computing Systems (TECS)
Scheduling of hard real-time garbage collection
Real-Time Systems
Cyclic executive for safety-critical Java on chip-multiprocessors
Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems
Developing safety critical Java applications with oSCJ/L0
Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems
The embedded Java benchmark suite JemBench
Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems
Static checking of safety critical Java annotations
Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems
Exhaustive testing of safety critical Java
Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems
Failure prevention of real-time systems based on the latest execution time
RTC'05 Proceedings of the 14th IEEE-NPSS conference on Real time
Dynamic aspects for runtime fault determination and recovery
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
Fault tolerance with real-time java
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
Code generation for embedded Java with Ptolemy
SEUS'10 Proceedings of the 8th IFIP WG 10.2 international conference on Software technologies for embedded and ubiquitous systems
SPIN'10 Proceedings of the 17th international SPIN conference on Model checking software
Worst-case analysis of heap allocations
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
Proceedings of the 2011 SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems
Scheduling real-time garbage collection on uniprocessors
ACM Transactions on Computer Systems (TOCS)
Virtualizing real-time embedded systems with Java
Proceedings of the 48th Design Automation Conference
A Hardware Abstraction Layer in Java
ACM Transactions on Embedded Computing Systems (TECS)
Real-time wait-free queues using micro-transactions
Proceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded Systems
Memory management for safety-critical Java
Proceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded Systems
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
Combining RTSJ with Fork/Join: a priority-based model
Proceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded Systems
ejIP: a TCP/IP stack for embedded Java
Proceedings of the 9th International Conference on Principles and Practice of Programming in Java
Mobile resource guarantees and policies
CASSIS'05 Proceedings of the Second international conference on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
A comparison of the mutual exclusion features in ada and the real-time specification for JavaTM
Ada-Europe'05 Proceedings of the 10th Ada-Europe international conference on Reliable Software Technologies
Implementing predictable scheduling in RTSJ-Based java processor
ICCS'06 Proceedings of the 6th international conference on Computational Science - Volume Part I
Concurrent garbage collection implementation in a standard JVM for real-time purposes
ICESS'04 Proceedings of the First international conference on Embedded Software and Systems
Scoped types and aspects for real-time java
ECOOP'06 Proceedings of the 20th European conference on Object-Oriented Programming
RTZen: highly predictable, real-time java middleware for distributed and embedded systems
Middleware'05 Proceedings of the ACM/IFIP/USENIX 6th international conference on Middleware
Safety-critical Java with cyclic executives on chip-multiprocessors
Concurrency and Computation: Practice & Experience
Private memory allocation analysis for safety-critical Java
Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems
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
Safety-critical Java for low-end embedded platforms
Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems
Safety-critical Java on a Java processor
Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems
A desktop 3D printer in safety-critical Java
Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems
Ji.Fi: visual test and debug queries for hard real-time
Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems
Model-based development for RTSJ platforms
Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems
The Formal Design Models of Tree Architectures and Behaviors
International Journal of Software Science and Computational Intelligence
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
Reducing startup time of a deterministic virtualizing runtime environment
Proceedings of the 16th International Workshop on Software and Compilers for Embedded Systems
Stheno, a real-time fault-tolerant P2P middleware platform for light-train systems
Proceedings of the 28th Annual ACM Symposium on Applied Computing
OOPSLA 2002: Reconsidering custom memory allocation
ACM SIGPLAN Notices - Supplemental issue
POPL 2003: A real-time garbage collector with low overhead and consistent utilization
ACM SIGPLAN Notices - Supplemental issue
RTDroid: a design for real-time Android
Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems
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
Chip-multiprocessor hardware locks for safety-critical Java
Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems
Programming simple reactive systems in ada: premature program termination
ACM SIGAda Ada Letters
Hi-index | 0.00 |
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 ...