385 search results - page 27 / 77 » Verified Code Generation for Embedded Systems |
118
click to vote
DATE
2008
IEEE
15 years 8 months ago
2008
IEEE
Control design and real-time implementation are usually performed in isolation. The effects of the computer implementation on control system performance are still evaluated on the...
124
click to vote
RTCSA
2008
IEEE
15 years 8 months ago
2008
IEEE
A component framework plays an important role in CBSD as it determines how software components are developed, packaged, assembled and deployed. A desirable component framework for...
106
click to vote
SERP
2008
15 years 3 months ago
2008
Model-driven development (MDD) is an emerging paradigm and has become state-of-the-art for embedded systems software design. In the overall design process, several steps have to be...
185
click to vote
ESEC
1999
Springer
15 years 6 months ago
1999
Springer
CIP is a model-based software development method for embedded systems. The problem of constructing an embedded system is decomposed into a functional and a connection problem. The ...
113
click to vote
ASPDAC
2010
ACM
14 years 12 months ago
2010
ACM
Abstract-- Embedded software plays an increasingly important role in implementing modern embedded systems. Development of embedded software, and of Hardware-dependent Software in p...