362 search results - page 35 / 73 » The Design and Performance of the jRate Real-Time Java Imple... |
SPIN
2010
Springer
13 years 6 months ago
2010
Springer
SpinJa is a model checker for promela, implemented in Java. SpinJa is designed to behave similarly to Spin, but to be more easily extendible and reusable. Despite the fact that Spi...
GLVLSI
2006
IEEE
14 years 1 months ago
2006
IEEE
In this paper we propose a hardware real time operating system (HW-RTOS) solution that makes use of a dedicated hardware in order to replace the standard support provided by the P...
TIP
2008
13 years 7 months ago
2008
Abstract--In this paper, we analyze the computational challenges in implementing particle filtering, especially to video sequences. Particle filtering is a technique used for filte...
IPPS
1999
IEEE
13 years 12 months ago
1999
IEEE
The nested data-parallel programming model supports the design and implementation of irregular parallel algorithms. This paper describes work in progress to incorporate nested data...
EMSOFT
2009
Springer
14 years 2 months ago
2009
Springer
This paper advocates a strict compositional and hybrid approach for obtaining key (performance) metrics of embedded At its core the developed methodology abstracts system componen...