Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems - JTRES '06
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

1595935444

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Extended portal

Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems - JTRES '06 ◽

10.1145/1167999.1168006 ◽

2006 ◽

Cited By ~ 9

Author(s):

Pablo Basanta-Val ◽

Marisol García-Valls ◽

Iria Estevez-Ayres ◽

Carlos Delgado-Kloos

Download Full-text

The current status of the RTSJ and JSR 282

Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems - JTRES '06 ◽

10.1145/1167999.1168001 ◽

2006 ◽

Cited By ~ 3

Author(s):

Peter Dibble

Keyword(s):

Current Status

Download Full-text

Flexible Java real-time profile for business-critical systems

Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems - JTRES '06 ◽

10.1145/1167999.1168022 ◽

2006 ◽

Author(s):

Alejandro Alonso ◽

Maria-Paola Bianconi ◽

Nicolas Francois ◽

Giovanni Cortese ◽

Erik Yu

Keyword(s):

Real Time ◽

Time Profile ◽

Critical Systems

Download Full-text

Implementation of time petri nets in real-time Java

Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems - JTRES '06 ◽

10.1145/1167999.1168029 ◽

2006 ◽

Cited By ~ 1

Author(s):

Ramón Piedrafita Moreno ◽

José Luis Villarroel Salcedo

Keyword(s):

Petri Nets ◽

Real Time ◽

Time Petri Nets

Download Full-text

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 - JTRES '06 ◽

10.1145/1167999.1168030 ◽

2006 ◽

Cited By ~ 3

Author(s):

Lamine Bougueroua ◽

Laurent George ◽

Serge Midonnet

Keyword(s):

Real Time ◽

Real Time Systems ◽

Management Mechanism ◽

Time Systems

Download Full-text

Safety critical Java#8482; technology

Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems - JTRES '06 ◽

10.1145/1167999.1168016 ◽

2006 ◽

Author(s):

C. Douglass Locke

Keyword(s):

Safety Critical

Download Full-text

Applying the CBSE paradigm in the real time specification for Java

Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems - JTRES '06 ◽

10.1145/1167999.1168036 ◽

2006 ◽

Cited By ~ 3

Author(s):

Jean-Paul Etienne ◽

Julien Cordry ◽

Samia Bouzefrane

Keyword(s):

Real Time ◽

The Real

Download Full-text

A case study of specification and verification using JML in an avionics application

Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems - JTRES '06 ◽

10.1145/1167999.1168018 ◽

2006 ◽

Cited By ~ 3

Author(s):

Peter Schmitt ◽

Isabel Tonin ◽

Claus Wonnemann ◽

Eric Jenn ◽

Stéphane Leriche ◽

...

Keyword(s):

Specification And Verification

Download Full-text

A cache based stack folding technique for high performance Java processors

Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems - JTRES '06 ◽

10.1145/1167999.1168009 ◽

2006 ◽

Cited By ~ 2

Author(s):

Isidoros Sideris ◽

George Economakos ◽

Kiamal Pekmestzi

Keyword(s):

High Performance

Download Full-text

A comparison of memory allocators for real-time applications

Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems - JTRES '06 ◽

10.1145/1167999.1168012 ◽

2006 ◽

Cited By ~ 13

Author(s):

Miguel Masmano ◽

Ismael Ripoll ◽

Alfons Crespo

Keyword(s):

Real Time ◽

Real Time Applications

Download Full-text

Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems - JTRES '06Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Extended portal

The current status of the RTSJ and JSR 282

Flexible Java real-time profile for business-critical systems

Implementation of time petri nets in real-time Java

An execution overrun management mechanism for the temporal robustness of Java real-time systems

Safety critical Java#8482; technology

Applying the CBSE paradigm in the real time specification for Java

A case study of specification and verification using JML in an avionics application

A cache based stack folding technique for high performance Java processors

A comparison of memory allocators for real-time applications

Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems - JTRES '06
Latest Publications