46 search results - page 5 / 10 » Quality-driven synthesis of embedded multi-mode control syst... |
105
click to vote
LCTRTS
2010
Springer
15 years 8 months ago
2010
Springer
We describe the extension of a reactive programming language with a behavioral contract construct. It is dedicated to the programming of reactive control of applications in embedd...
130
click to vote
DAC
2002
ACM
16 years 2 months ago
2002
ACM
This paper addresses the problem of automatic generation of implementation software from high-level functional specifications in the context of embedded system on chip designs. So...
143
Voted
CSREAESA
2004
15 years 3 months ago
2004
The growing software content in various battery-driven embedded systems has led to significant interest in technologies for energy-efficient embedded software. While lowenergy sof...
128
Voted
RSP
2005
IEEE
15 years 7 months ago
2005
IEEE
Our software synthesis tool, CSP++, generates C++ source code from verifiable CSPm specifications, and includes a framework for runtime execution. Our technique of selective for...
128
Voted
EUROMICRO
1999
IEEE
15 years 6 months ago
1999
IEEE
In this paper we present an improved scheduling technique for the synthesis of time-triggered embedded systems. Our system model captures both the flow of data and that of control...