Sciweavers

5239 search results - page 576 / 1048
» Model-Integrated Embedded Systems
Sort
View
WORDS
2003
IEEE
16 years 8 days ago
Asynchrony and Real-Time Dependable Computing
We examine how computer system problems can be derived from real application problems, with a particular focus on the relevance of some assumptions, especially those related to co...
Gérard Le Lann
DATE
2010
IEEE
204views Hardware» more  DATE 2010»
16 years 3 days ago
Assertion-based verification of RTOS properties
— Today, mobile and embedded real time systems have to cope with the migration and allocation of multiple software tasks running on top of a real time operating system (RTOS) res...
Marcio F. S. Oliveira, Henning Zabel, Wolfgang M&u...
EUROMICRO
2000
IEEE
15 years 11 months ago
Task Assignment and Scheduling under Memory Constraints
Many DSP and image processing embedded systems have hard memory constraints which makes it difficult to find a good task assignment and scheduling which fulfill these constrain...
Radoslaw Szymanek, Krzysztof Kuchcinski
SIGOPSE
2000
ACM
15 years 11 months ago
Gaia: enabling active spaces
Ubiquitous computing promotes physical spaces with hundreds of specialized embedded devices that increase our productivity, alleviate some specific everyday tasks and provide new ...
Manuel Román, Roy H. Campbell
HYBRID
1998
Springer
15 years 11 months ago
Switching Controllers Based on Neural Network: Estimates of Stability Regions and Controller Performance
This paper presents new results on switching control using neural networks. Given a set of candidate controllers, a pair of neural networks is trained to identify the stability reg...
Enrique D. Ferreira, Bruce H. Krogh