3387 search results - page 31 / 678 » Model-Checking for Real-Time Systems |
154
Voted
CCECE
2006
IEEE
15 years 8 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...
140
click to vote
RTCSA
2003
IEEE
15 years 7 months 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...
128
Voted
RTAS
2007
IEEE
15 years 8 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 ...
135
click to vote
CBSE
2005
Springer
15 years 8 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...
122
Voted
BMVC
2001
15 years 5 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...