Constitutes the proceedings of the 10th International Conference on Reliable Software Technologies, Ada-Europe 2005, held in York, UK in June 2005. This book contains papers that are organized in topical sections on applications, design and scheduling, formal methods, Ada and education, certification and verification, and distributed systems.
Constitutes the proceedings of the 10th International Conference on Reliable Software Technologies, Ada-Europe 2005, held in York, UK in June 2005. Th...
Research on real-time Java technology has been prolific over the past decade, leading to a large number of corresponding hardware and software solutions, and frameworks for distributed and embedded real-time Java systems. This book is aimed primarily at researchers in real-time embedded systems, particularly those who wish to understand the current state of the art in using Java in this domain. Much of the work in real-time distributed, embedded and real-time Java has focused on the Real-time Specification for Java (RTSJ) as the underlying base technology, and consequently many of the...
Research on real-time Java technology has been prolific over the past decade, leading to a large number of corresponding hardware and software solu...
