121 search results - page 4 / 25 » Java for Real-time Object-oriented Programming |
JTRES
2009
ACM
14 years 4 months ago
2009
ACM
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...
ATVA
2005
Springer
14 years 3 months ago
2005
Springer
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...
CSMR
2008
IEEE
13 years 11 months ago
2008
IEEE
The software industry is increasingly facing the issues of understanding and maintaining a particular type of software systems, namely distributed systems. While these systems are...
ECOOP
1998
Springer
14 years 2 months ago
1998
Springer
In this paper, we propose architectural support for object manipulation, stack processing and method invocation to enhance the execution speed of Java bytecodes. First, a virtual a...
FMCO
2006
Springer
14 years 1 months ago
2006
Springer
This paper is a tutorial on performing formal specification and semi-automatic verification of Java programs with the formal software development tool KeY. This tutorial aims to fi...