6701 search results - page 866 / 1341 » Medical Embedded Systems |
178
click to vote
ROBOCUP
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. Constraint Nets provide a semantic model for modeling hybrid dynamic systems. Controllers are embedded constraint solvers that solve constraints in real-time. A controlle...
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...
182
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...
165
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...