Sciweavers

6308 search results - page 66 / 1262
» Modeling Urgency in Timed Systems
Sort
View
ASPDAC
2006
ACM
131views Hardware» more  ASPDAC 2006»
15 years 3 months ago
POSIX modeling in SystemC
- Early estimation of the execution time of Real-Time embedded SW is an essential task in complex, HW/SW embedded system design. Application SW execution time estimation requires t...
Hector Posadas, Jesús Ádamez, Pablo ...
IPPS
1998
IEEE
15 years 2 months ago
Self-Testing Fault-Tolerant Real-Time Systems
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...
M. Rooholamini, Seyed H. Hosseini
WSC
2004
14 years 11 months ago
A Real-Time Panoramic Vision System for Autonomous Navigation
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...
Sumantra Dasgupta, Amarnath Banerjee
ADAEUROPE
2007
Springer
15 years 4 months ago
Correctness by Construction for High-Integrity Real-Time Systems: A Metamodel-Driven Approach
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 ...
Matteo Bordin, Tullio Vardanega
ICCSA
2004
Springer
15 years 3 months ago
GTVIS: Fast and Efficient Rendering System for Real-Time Terrain Visualization
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...
Russel A. Apu, Marina L. Gavrilova