Is Java augmented with the RTSJ a better real-time systems implementation technology than Ada 95?
IRTAW '03 Proceedings of the 12th international workshop on Real-time Ada
A modern course on parallel and distributed processing
Journal of Computing Sciences in Colleges
Proceedings of the conference on Design, automation and test in Europe: Proceedings
A Ravenscar-Java profile implementation
JTRES '06 Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems
Implementation of time petri nets in real-time Java
JTRES '06 Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems
Applying the CBSE paradigm in the real time specification for Java
JTRES '06 Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems
Qualitative and quantitative analysis and comparison of Java distributed architectures
Software—Practice & Experience
Software, regulation, and domain specificity
Information and Software Technology
Compilation Techniques for Real-Time Java Programs
Proceedings of the International Symposium on Code Generation and Optimization
The implementation of the Priority Ceiling Protocol in Ada-2005
ACM SIGAda Ada Letters
Asynchronous event handling in the real-time specification for Java
JTRES '07 Proceedings of the 5th international workshop on Java technologies for real-time and embedded systems
A mapping from AADL to Java-RTSJ
JTRES '07 Proceedings of the 5th international workshop on Java technologies for real-time and embedded systems
ERLANG '07 Proceedings of the 2007 SIGPLAN workshop on ERLANG Workshop
jTRASTO: A Development Toolkit for Real-Time Multi-Agent Systems
CEEMAS '07 Proceedings of the 5th international Central and Eastern European conference on Multi-Agent Systems and Applications V
Anima: a Ada derived programming language for real-time embedded software development
Proceedings of the 2008 ACM annual international conference on SIGAda annual international conference
A component framework for java-based real-time embedded systems
Proceedings of the 9th ACM/IFIP/USENIX International Conference on Middleware
Aspectising Concurrency for the RTSJ
ICDCN '09 Proceedings of the 10th International Conference on Distributed Computing and Networking
A flexible Java framework for embedded systems
Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems
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
Real-time utilities for Ada 2005
Ada-Europe'07 Proceedings of the 12th international conference on Reliable software technologies
Using the executor framework to implement asynchronous event handling in the RTSJ
Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems
Asynchronous event handling and safety critical Java
Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems
Temporal verification of RT-DEVS models with implementation aspects
SpringSim '10 Proceedings of the 2010 Spring Simulation Multiconference
A formal approach to investigate the performance of modern e-commerce services
ASMTA'10 Proceedings of the 17th international conference on Analytical and stochastic modeling techniques and applications
Towards an analysis of race carrier conditions in real-time java
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
Real-time behavior-based robot control
Autonomous Robots
Synthesis of performance management mechanisms in modern e-commerce services
Proceedings of the 12th International Conference on Information Integration and Web-based Applications & Services
The safety-critical Java memory model: a formal account
FM'11 Proceedings of the 17th international conference on Formal methods
Safety-critical Java in Circus
Proceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded Systems
The safety-critical java mission model: a formal account
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Using standards to integrate soft real-time components into dynamic distributed architectures
Computer Standards & Interfaces
Model checking real time java using java pathfinder
ATVA'05 Proceedings of the Third international conference on Automated Technology for Verification and Analysis
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
Programming languages for real-time systems
Embedded Systems Design
Asynchronous event handling and Safety Critical Java
Concurrency and Computation: Practice & Experience
A new I/O model for the real-time specification for Java
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
Safety-critical Java programs from Circus models
Real-Time Systems
Safety-critical Java level 2: motivations, example applications and issues
Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems
Towards monitoring temporal properties with JamaicaVM
Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems
Hi-index | 0.00 |