default search action
11th JTRES 2013: Karlsruhe, Germany
- Fridtjof Siebert, Kelvin Nilsen:
The 11th International Workshop on Java Technologies for Real-time and Embedded Systems, JTRES '13, Karlsruhe, Germany, October 9-11, 2013. ACM 2013, ISBN 978-1-4503-2166-2
Tools and methods for safety-critical Java
- Jeppe L. Andersen, Mikkel Todberg, Andreas Engelbredt Dalsgaard, René Rydhof Hansen:
Worst-case memory consumption analysis for SCJ. 2-10 - Kasper Søe Luckow, Thomas Bøgholm, Bent Thomsen, Kim Guldstrand Larsen:
TetaSARTS: a tool for modular timing analysis of safety critical Java systems. 11-20 - Wolfgang Puffitsch, Eric Noulard, Claire Pagetti:
Explicit precedence constraints in safety-critical Java. 21-28
Implementations of synchronization
- Marcel Dombrowski, Kenneth B. Kent, Michael Dawson, Charlie Gracie, Rainer Herpers:
Dynamic monitor allocation in the Java virtual machine. 30-37 - Tórur Biskopstø Strøm, Wolfgang Puffitsch, Martin Schoeberl:
Chip-multiprocessor hardware locks for safety-critical Java. 38-46
Applying real-time Java to special use cases
- Andy J. Wellings, Matt Luckcuck, Ana Cavalcanti:
Safety-critical Java level 2: motivations, example applications and issues. 48-57 - Ethan Blanton, Lukasz Ziarek:
Non-blocking inter-partition communication with wait-free pair transactions. 58-67 - Ludovic Gauthier, Ian Gray, Adrian Larkham, Gasser Ayad, Andrea Acquaviva, Kelvin Nilsen:
Explicit Java control of low-power heterogeneous parallel processing in the ToucHMore project. 68-77
Testing issues
- Anders P. Ravn, Hans Søndergaard:
A test suite for safety-critical Java using JML. 80-88 - Clemens Ballarin:
Towards monitoring temporal properties with JamaicaVM. 89-95
Real-time Android
- Yin Yan, Sree Harsha Konduri, Amit Kulkarni, Varun Anand, Steven Y. Ko, Lukasz Ziarek:
RTDroid: a design for real-time Android. 98-107 - Thomas Gerlitz, Igor Kalkov, John F. Schommer, Dominik Franke, Stefan Kowalewski:
Non-blocking garbage collection for real-time Android. 108-117
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.