


default search action
4th JTRES 2006: Paris, France
- Marc Richard-Foy:

Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems, JTRES '06, Paris, France, October 11-13, 2006. ACM 2006
The current state of the RTSJ
- Peter Dibble:

The current status of the RTSJ and JSR 282. 1 - Jonathan Stephen Anderson, E. Douglas Jensen:

Distributed real-time specification for Java: a status report (digest). 3-9
RTSJ issues
- Osmar Marchi dos Santos, Andy J. Wellings:

Formal analysis of aperiodic and sporadic real-time threads in the RTSJ. 10-19 - Alexandros Zerzelidis, Andy J. Wellings:

Model-based verification of a framework for flexible scheduling in the real-time specification for Java. 20-29 - Pablo Basanta-Val

, Marisol García-Valls
, Iria Estévez-Ayres
, Carlos Delgado Kloos:
Extended portal: violating the assignment rule and enforcing the single parent rule. 30-37
Hardware implementations I
- Hans Søndergaard, Bent Thomsen

, Anders P. Ravn:
A Ravenscar-Java profile implementation. 38-47 - Isidoros Sideris, George Economakos, Kiamal Z. Pekmestzi:

A cache based stack folding technique for high performance Java processors. 48-57 - Andrew Borg, Rui Gao, Neil C. Audsley:

A co-design strategy for embedded Java applications based on a hardware interface with invocation semantics. 58-67
Memory management
- Miguel Masmano, Ismael Ripoll, Alfons Crespo

:
A comparison of memory allocators for real-time applications. 68-76 - Rasmus Ulslev Pedersen, Martin Schoeberl

:
Exact roots for a real-time garbage collector. 77-84 - Yang Chang, Andy J. Wellings:

Low memory overhead real-time garbage collection for Java. 85-94
Safety critical systems
- C. Douglass Locke:

Safety critical Java™ technology. 95-96 - Kelvin Nilsen:

A type system to assure scope safety within safety-critical Java modules. 97-106 - Peter H. Schmitt, Isabel Tonin, Claus Wonnemann, Eric Jenn, Stéphane Leriche, James J. Hunt:

A case study of specification and verification using JML in an avionics application. 107-116
The HIJA project: 1
- Antonio Kung, Scott Hansen:

ANRTS platforms. 117-124 - Erik Yu-Shing Hu, Eric Jenn, Nicolas Valot, Alejandro Alonso:

Safety critical applications and hard real-time profile for Java: a case study in avionics. 125-134 - Alejandro Alonso, Maria-Paola Bianconi, Nicolas François, Giovanni Cortese, Erik Yu:

Flexible Java real-time profile for business-critical systems. 135-143
The HIJA project: 2
- Antonio Kung, James J. Hunt, Ludovic Gauthier, Marc Richard-Foy:

Issues in building an ANRTS platform. 144-151 - Fridtjof Siebert:

Proving the absence of RTSJ related runtime errors through data flow analysis. 152-161 - James J. Hunt, Fridtjof Siebert, Peter H. Schmitt, Isabel Tonin:

Provably correct loops bounds for realtime Java programs. 162-169
Overflow session
- Giovanni Agosta

, Stefano Crespi-Reghizzi
, Gabriele Svelto:
Jelatine: a virtual machine for small embedded systems. 170-177 - Ramon Piedrafita Moreno, José Luis Villarroel Salcedo:

Implementation of time petri nets in real-time Java. 178-187 - Lamine Bougueroua, Laurent George, Serge Midonnet:

An execution overrun management mechanism for the temporal robustness of Java real-time systems. 188-195
Hardware implementation 2
- Giovanni Agosta

, Stefano Crespi-Reghizzi
, Dario Domizioli, Martino Sykora:
Global instruction scheduling in dynamic compilation for embedded systems. 196-201 - Martin Schoeberl

, Rasmus Ulslev Pedersen:
WCET analysis for a Java processor. 202-211 - Giuseppe Di Giore, Antonella Di Stefano, Giovanni Morana, Corrado Santoro

:
JIT compiler optimizations for stack-based processors in embedded platforms. 212-217
Real-time paradigms
- Jean-Paul Etienne, Julien Cordry, Samia Bouzefrane:

Applying the CBSE paradigm in the real time specification for Java. 218-226 - Jean-Ferdy Susini:

The reactive programming approach on top of Java/J2ME. 227-236

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














