Sciweavers

3872 search results - page 5 / 775
» The Java memory model
Sort
View
APSEC
2008
IEEE
14 years 5 months ago
A Heap Model for Java Bytecode to Support Separation Logic
Memory usage analysis is an important problem for resource-constrained mobile devices, especially under mission- or safety-critical circumstances. Program codes running on or bein...
Chenguang Luo, Guanhua He, Shengchao Qin
ISORC
2009
IEEE
14 years 5 months ago
Thread-Local Scope Caching for Real-time Java
There is increasing convergence between the fields of parallel and embedded computing. The demand for more functionality in embedded devices means that complex multicore architec...
Andy J. Wellings, Martin Schoeberl
MC
2008
170views Computer Science» more  MC 2008»
14 years 9 days ago
Interactive high definition 3D face rendering on common mobile devices
Smartphones are suitable as interactive visualization platform for high quality 3D models representing, for example, faces. We provide an efficient implementation of a point-based...
Peter Barth, Ulrich Schwanecke, Friederike Wild
ATVA
2005
Springer
202views Hardware» more  ATVA 2005»
14 years 4 months ago
Model Checking Real Time Java Using Java PathFinder
Abstract. The Real Time Specification for Java (RTSJ) is an augmentation of Java for real time applications of various degrees of hardness. The central features of RTSJ are real t...
Gary Lindstrom, Peter C. Mehlitz, Willem Visser
JTRES
2009
ACM
14 years 5 months ago
Real time Java on resource-constrained platforms with Fiji VM
Real-time Java is quickly emerging as a platform for building safety-critical embedded systems. The real-time variants of Java, including [8, 15], are attractive alternatives to A...
Filip Pizlo, Lukasz Ziarek, Jan Vitek