3387 search results - page 31 / 678 » Model-Checking for Real-Time Systems |
CCECE
2006
IEEE
14 years 1 months ago
2006
IEEE
Real Time embedded system designers are facing extreme challenges in underlying architectural design selection. It involves the selection of a programmable, concurrent, heterogene...
RTCSA
2003
IEEE
14 years 25 days ago
2003
IEEE
Increasing complexity of real-time systems, and demands for enabling their configurability and tailorability are strong motivations for applying new software engineering principle...
RTAS
2007
IEEE
14 years 1 months ago
2007
IEEE
Many mission-critical distributed real-time applications must handle aperiodic tasks with end-to-end deadlines. However, existing middleware (e.g., RT-CORBA) lacks schedulability ...
CBSE
2005
Springer
14 years 1 months ago
2005
Springer
This report presents data regarding simulation setup, the genetic algorithms setup and a short description to the use of the genetic algorithms. This report is written in the conte...
BMVC
2001
13 years 10 months ago
2001
A large body of human image processing techniques use skin detection as a first primitive for subsequent feature extraction. Well established methods of colour modelling, such as...