![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
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
![](https://dblp.org/img/cog.dark.24x24.png)
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.