Kelvin Nilsen

Publication Activity (10 Years)

Years Active: 2005-2013
Publications (10 Years): 0

Top Topics

Parallel Processing

Safety Critical

Top Venues

Publications

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. JTRES (2013)
Kelvin Nilsen
Revisiting the "perc real-time API". JTRES (2012)
Kelvin Nilsen
Real-time Java in modernization of the aegis weapon system. HILT (2012)
Juan Ricardo Rios, Kelvin Nilsen, Martin Schoeberl
Patterns for safety-critical Java memory usage. JTRES (2012)
Kelvin Nilsen
Tutorial overview: understanding dynamic memory management in safety critical java. HILT (2012)
Kelvin Nilsen
Harmonizing alternative approaches to safety-critical development with Java. JTRES (2011)
Kelvin Nilsen
Ada-Java middleware for legacy software modernization. JTRES (2010)
Tobias Schoofs, Eric Jenn, Stéphane Leriche, Kelvin Nilsen, Ludovic Gauthier, Marc Richard-Foy
Use of PERC Pico in the AIDA avionics platform. JTRES (2009)
Kelvin Nilsen
Simple low-level real-time threading semantics to enable portability, efficiency, analyzability, and generality. JTRES (2008)
Kelvin Nilsen
Improving abstraction, encapsulation, and performance within mixed-mode real-time Java applications. JTRES (2007)
Kelvin Nilsen
A type system to assure scope safety within safety-critical Java modules. JTRES (2006)
Kelvin Nilsen, Adrian Larkham
Applying Java™ Technologies to Mission-Critical and Safety-Critical Development. SSS (2005)