1402 search results - page 213 / 281 » A Practical Agent Programming Language |
110
click to vote
ADAEUROPE
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. This paper describes a laboratory equipped for the teaching of realtime systems. The laboratory has been built around a Digital Model Railroad Platform and it allows the ...
119
click to vote
CP
2004
Springer
15 years 8 months ago
2004
Springer
The paper introduces value precedence on integer and set sequences. A useful application of the notion is in breaking symmetries of indistinguishable values, an important class of ...
115
click to vote
CC
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. Offset assignment is a highly effective DSP address code optimization technique that has been implemented in a number of ANSI C compilers. In this paper we concentrate on...
105
click to vote
FM
2003
Springer
15 years 8 months ago
2003
Springer
Processor obsolescence is a serious maintenance problem for long-lived embedded control systems. A practical solution is to interpose an emulator program between the ‘legacy’ s...
129
click to vote
FLOPS
2008
Springer
15 years 4 months ago
2008
Springer
Dependent types are useful for statically checking detailed specifications of programs and detecting pattern match or array bounds errors. We propose a novel approach to applicatio...