1784 search results - page 131 / 357 » Formal Models for Embedded System Design |
135
click to vote
COMPUTER
2006
15 years 2 months ago
2006
Model-driven development (MDD) is an emerging paradigm that improves the software development lifecycle, particularly for large software systems by providing a higherabstraction fo...
169
Voted
IESS
2009
Springer
15 years 8 days ago
2009
Springer
Abstract. Embedded system design complexities are growing exponentially. Demand has increased for modeling techniques that can provide both accurate measurements of delay and fast ...
143
Voted
CF
2004
ACM
15 years 8 months ago
2004
ACM
New applications and standards are first conceived only for functional correctness and without concerns for the target architecture. The next challenge is to map them onto an arch...
109
click to vote
RTAS
2005
IEEE
15 years 8 months ago
2005
IEEE
Control systems running on a computer are subject to timing disturbances coming from implementation constraints. Fortunately closed-loop systems behave robustly w.r.t. modelling e...
114
Voted
ASPDAC
2010
ACM
15 years 18 days ago
2010
ACM
- The design of embedded computing systems faces a serious productivity gap due to the increasing complexity of their hardware and software components. One solution to address this...