7557 search results - page 203 / 1512 » Modeling Timed Concurrent Systems |
165
click to vote
IPPS
1998
IEEE
15 years 10 months ago
1998
IEEE
We propose a periodic diagnostic algorithm based on the testing model of computation for real-time systems. The diagnostic task runs on every processor of the system. When the task...
160
click to vote
WSC
2004
15 years 7 months ago
2004
The paper discusses a panoramic vision system for autonomous navigation purposes. It describes a method for integrating data in real-time from multiple camera sources. The views f...
204
click to vote
ADAEUROPE
2007
Springer
16 years 20 days ago
2007
Springer
Current trends in software engineering promote the contention that the use of model-driven approaches should prove as beneficial to high-integrity systems as they have to business ...
164
click to vote
ICCSA
2004
Springer
15 years 12 months ago
2004
Springer
The paper presents an improved scheme for the visualization of 3D terrain in real-time using Digital Elevation Model (DEM). The method is primarily based on a modified version of R...
179
click to vote
INFOCOM
1997
IEEE
15 years 10 months ago
1997
IEEE
Several types of network trafic have been shown to exhibit long-range dependence (LRD). In this work, we show that the busy period of an ATM system driven by a long-range dependen...