653 search results - page 77 / 131 » Embedded software generation from system level design langua... |
151
click to vote
CASES
2007
ACM
15 years 10 months ago
2007
ACM
The development of robust and efficient synthesis tools is important if asynchronous design is to gain more widespread acceptance. Syntax-directed translation is a powerful synthe...
173
click to vote
FDL
2004
IEEE
15 years 10 months ago
2004
IEEE
Model-driven approaches proved themselves not suited yet to support real-time software development. Even if they have the ability of capturing adequately both functional and non-f...
208
click to vote
CODES
2008
IEEE
15 years 8 months ago
2008
IEEE
Synchronous languages like Esterel have been widely adopted for designing reactive systems in safety-critical domains such as avionics. Specifications written in Esterel are based...
167
click to vote
LCTRTS
2010
Springer
16 years 1 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...
182
click to vote
COMPSAC
2008
IEEE
16 years 1 months ago
2008
IEEE
We discuss the suitability of service-oriented computing for the automotive domain. We present a formal high-level language in which complex automotive activities can be modelled ...