3387 search results - page 289 / 678 » Model-Checking for Real-Time Systems |
203
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
We propose the notion of logical reliability for real-time program tasks that interact through periodically updated program variables. We describe a reliability analysis that chec...
218
click to vote
ISORC
2008
IEEE
16 years 1 months ago
2008
IEEE
The performance of autonomous vehicles could be drastically improved if ad-hoc networking and suitable real-time coordination is employed to optimize and improve the joint behavio...
208
click to vote
SASP
2008
IEEE
16 years 1 months ago
2008
IEEE
Ray tracing is a technique used for generating highly realistic computer graphics images. In this paper, we explore the design of a simple but extremely parallel, multi-threaded, ...
239
click to vote
ADAEUROPE
2008
Springer
16 years 1 months ago
2008
Springer
: The concept of interface in Ada 2005 significantly facilitates its usage as the basis for a software components technology. This technology, taking benefit of the resources that ...
214
click to vote
FUZZIEEE
2007
IEEE
16 years 1 months ago
2007
IEEE
The algorithm of on-line predictor from input-output data pairs will be proposed. In this paper, it proposed an approach to generate fuzzy rules of predictor from real-time input-o...