5239 search results - page 778 / 1048 » Model-Integrated Embedded Systems |
208
click to vote
LICS
2007
IEEE
16 years 28 days ago
2007
IEEE
In predicate logic, the proof that a theorem P holds in a theory Th is typically conducted in natural deduction or in the sequent calculus using all the information contained in t...
180
click to vote
RTCSA
2007
IEEE
16 years 28 days ago
2007
IEEE
This paper presents a real-time scheduling algorithm with high schedulability and few preemptions for multiprocessor systems. The algorithm is based on an unorthodox method called...
174
click to vote
SASO
2007
IEEE
16 years 28 days ago
2007
IEEE
Management in pervasive systems cannot rely on human intervention or centralised decision-making functions. It must be devolved, based on local decision-making and feedback contro...
181
click to vote
GECCO
2007
Springer
16 years 25 days ago
2007
Springer
In this paper we propose a genetic programming approach to learning stochastic models with unsymmetrical noise distributions. Most learning algorithms try to learn from noisy data...
162
click to vote
CODES
2006
IEEE
16 years 22 days ago
2006
IEEE
Time-critical multi-processor systems require guaranteed services in terms of throughput, bandwidth etc. in order to comply to hard real-time constraints. However, guaranteedservi...