2615 search results - page 156 / 523 » Analysis of Real Time Operating System Based Applications |
129
Voted
IISWC
2008
IEEE
15 years 10 months ago
2008
IEEE
— Java has become one of the predominant languages for embedded and mobile platforms due to its architecturally neutral design, portability, and security. But Java execution in t...
141
click to vote
ATVA
2008
Springer
15 years 5 months ago
2008
Springer
The evaluation of successor or predecessor state spaces through time progress is a central component in the model-checking algorithm of dense-time automata. The definition of the t...
182
Voted
TSMC
2010
14 years 10 months ago
2010
Abstract--For the last decade, we have developed a visionbased architecture for mobile robot navigation. Our bio-inspired model of the navigation has proved to achieve sensory-moto...
133
Voted
AVSS
2009
IEEE
15 years 10 months ago
2009
IEEE
In this paper, we propose an ontology for representing the prior knowledge related to video event analysis. It is composed of two types of knowledge related to the application dom...
100
Voted
ADAEUROPE
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. Although Ada defines a number of mechanisms for specifying scheduling policies, only one, Fifo Within Priorities is guaranteed to be supported by all implementations of ...