2141 search results - page 80 / 429 » Embedded Software |
DATE
2002
IEEE
14 years 3 months ago
2002
IEEE
Software self-testing for embedded processor cores based on their instruction set, is a topic of increasing interest since it provides an excellent test resource partitioning tech...
LCTRTS
2004
Springer
14 years 4 months ago
2004
Springer
We present a polynomial upper bound for flattening of UML statecharts. An efficient flattening technique is derived and implemented in SCOPE—a code generator targeting constra...
EUROMICRO
2000
IEEE
14 years 3 months ago
2000
IEEE
We propose a design flow for low-power and low-cost, data-dominated, embedded systems which tightly integrate different technologies and architectures. We use Mathworks’ Simuli...
EUROMICRO
2007
IEEE
14 years 2 months ago
2007
IEEE
In component-based hardware/software co-verification, properties of an embedded system are established from properties of its hardware and software components. A major challenge i...
ECLIPSE
2006
ACM
14 years 4 months ago
2006
ACM
The effectiveness of life cycle management of an embedded device solution is crucial to its value proposition. This paper shows that Eclipse technology can be used for both tooli...