5241 search results - page 74 / 1049 » Embedded Programming with C |
255
click to vote
Book
"This document is intended for knowledgeable users of C (or any other language using a C-like grammar, like Perl or Java) who would like to know more about, or make the transi...
108
click to vote
FDL
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper, we compare the underlying models of computation of the system description languages SystemC and Esterel. Although these languages have a rather different origin, we...
153
click to vote
CAV
2006
Springer
15 years 8 months ago
2006
Springer
We present a tool, called CAsCaDE, to check assertions in C programs as part of a multi-stage verification strategy. CAsCaDE takes as input a C program and a control file (the outp...
126
click to vote
LCTRTS
2010
Springer
15 years 11 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...