1456 search results - page 29 / 292 » DYANA: An Environment for Embedded System Design and Analysi... |
169
click to vote
CISIS
2008
IEEE
16 years 20 days ago
2008
IEEE
Hardware/software partitioning is a crucial problem in embedded system design. In this paper, we provide an alternative approach to solve this problem using Particle Swarm Optimiz...
161
click to vote
ASPDAC
2010
ACM
15 years 4 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...
150
click to vote
SPIN
2010
Springer
15 years 4 months ago
2010
Springer
When applying model checking to the design models of the embedded systems, it is necessary to model not only the behavior of the target system but also that of the environment inte...
186
click to vote
JUCS
2000
15 years 6 months ago
2000
: Embedded Computer-based Systems are becoming highly complex and hard to implement because of the large number of concerns the designers have to address. These systems are tightly...
174
click to vote
SPLC
2010
15 years 7 months ago
2010
This paper proposes a new style of product line engineering methods. It focuses on constructing embedded systems that take into account the contexts such as the external physical ...