2875 search results - page 295 / 575 » Using separation of concerns for embedded systems design |
167
click to vote
ESOP
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. In this article, we present a model and a denotational semantics for hybrid systems. Our model is designed to be used for the verification of large, existing embedded app...
158
click to vote
DATE
2007
IEEE
16 years 12 days ago
2007
IEEE
This paper introduces a method and tool-support for the automatic analysis and verification of hybrid and embedded control systems, whose continuous dynamics are often modelled u...
145
click to vote
FDL
2005
IEEE
15 years 11 months ago
2005
IEEE
Verification and validation are key issues for today's SoC design projects. This paper presents the implementation of a SystemC based environment for transaction-based verifi...
153
click to vote
WMPI
2004
ACM
15 years 11 months ago
2004
ACM
This paper discusses die cost vs. performance tradeoffs for a PIM system that could serve as the memory system of a host processor. For an increase of less than twice the cost of ...
144
click to vote
RTA
2004
Springer
15 years 11 months ago
2004
Springer
Over the past decade, researchers have found context-sensitive term-rewriting semantics to be powerful and expressive tools for modeling programming languages, particularly in esta...