1312 search results - page 59 / 263 » Embedded contract languages |
104
click to vote
MBEES
2010
15 years 1 months ago
2010
: Integrating architectural elements with a modern programming language is essential to ensure a smooth combination of architectural design and programming. In this position statem...
ENTCS
2006
14 years 12 months ago
2006
Esterel is a design language for the specification of real time embedded systems. Based on the synchronous concurrency paradigm, its semantics describes execution
IFIP
2009
Springer
14 years 9 months ago
2009
Springer
Side channel attacks have emerged as a serious threat to the security of both networked and embedded systems
IWFM
1998
15 years 1 months ago
1998
We will explore an approach to modular programming language descriptions and extensions in a denotational style. Based on a language core, language features are added stepwise on ...
SEUS
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract. Describing parallel hardware and software is difficult, especially in an embedded setting. Five years ago, we started the shim project to address this challenge by develo...