312 search results - page 6 / 63 » Restricting and Embedding Imperatives |
DATE
2005
IEEE
15 years 3 months ago
2005
IEEE
The objective of this paper is to introduce dependability as an optimization criterion in the system-level design process of embedded systems. Given the pervasiveness of embedded ...
BIRTHDAY
1999
Springer
15 years 2 months ago
1999
Springer
Abstract. This article provides an overview over two constructive approaches to provably correct hard real-time code generation where hard real-time code is generated from abstract...
IWPC
2000
IEEE
15 years 2 months ago
2000
IEEE
The Java programming language has gained increasing importance for the development of embedded systems. To be cost efficient, such systems have to cope with significant hardware...
ECAI
2000
Springer
15 years 2 months ago
2000
Springer
Several high-level programming languages for programming agents and robots have been proposed in recent years. Each of these languages has its own features and merits. It is still...
AUTOMATICA
2008
14 years 10 months ago
2008
For a countable-state Markov decision process we introduce an embedding which produces a finite-state Markov decision process. The finite-state embedded process has the same optim...