5239 search results - page 643 / 1048 » Model-Integrated Embedded Systems |
169
click to vote
DICTA
2007
15 years 8 months ago
2007
The acceptance of reconfigurable platforms specifically FPGAs in embedded system design is becoming more apparent. While there are varieties of platforms available for smart cam...
174
click to vote
DAGSTUHL
2006
15 years 8 months ago
2006
In this paper, we first motivate and summarize our recent work on creation, management, and specifically merging of partial behavioural models, expressed as model transition system...
181
click to vote
SPLC
2004
15 years 8 months ago
2004
We study the generative development of control programs for families of embedded devices. A software family is described by a single common model and restriction specifications for...
200
click to vote
WM
2003
15 years 8 months ago
2003
: Case-based diagnosis handling multiple faults is still a challenging task. In this paper we present methods for handling multiple faults, embedded in the standard CBR cycle. The ...
163
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
Meseguer's rewriting logic and the rewriting logic CRWL are two well-known approaches to rewriting as logical deduction that, despite some clear similarities, were designed w...