833 search results - page 37 / 167 » A Design and Test Technique for Embedded Software |
127
click to vote
WISER
2004
ACM
15 years 9 months ago
2004
ACM
Many hardware/software co-design models have been proposed [7, 2, 5, 6] that attempt to address problems in the hardware/software interface, in partitioning the system between har...
117
click to vote
LCTRTS
2004
Springer
15 years 9 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...
127
click to vote
AGILEDC
2007
IEEE
15 years 10 months ago
2007
IEEE
This experience report is about a software process, designed with performance testing in mind, was used to create a mission critical integration layer. This report focuses on how ...
121
click to vote
DAC
2004
ACM
16 years 5 months ago
2004
ACM
The growing number of instances of breaches in information security in the last few years has created a compelling case for efforts towards secure electronic systems. Embedded sys...
153
click to vote
SAC
2008
ACM
15 years 3 months ago
2008
ACM
In this paper we investigate and propose a fully automated technique to perform conformance checking of Java implementations against UML class diagrams. In our approach, we reused...