1312 search results - page 126 / 263 » Embedded contract languages |
114
click to vote
HASKELL
2005
ACM
15 years 9 months ago
2005
ACM
Some Lisp programs such as Emacs, but also the Linux kernel (when fully modularised) are mostly dynamic; i.e., apart from a small static core, the significant functionality is dy...
130
click to vote
EMSOFT
2005
Springer
15 years 8 months ago
2005
Springer
We propose a programming model dedicated to real-time videostreaming applications for embedded media devices, including highdefinition TVs. This model is built on the synchronous...
119
click to vote
GPCE
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. In meta programming with concrete object syntax, object-level programs are composed from fragments written in concrete syntax. The use of small program fragments in such ...
106
click to vote
JOT
2008
15 years 3 months ago
2008
We present an enhanced form of untyped object-based inheritance for classless languages, as implemented in our Delta language, comparing to the prevalent practices of delegation a...
105
click to vote
FDL
2008
IEEE
15 years 9 months ago
2008
IEEE
In the real-time and embedded domain, systems tend to combine periodic and aperiodic computations. This leads to mixing event-triggered with timetriggered communications with thei...