5536 search results - page 729 / 1108 » Programming Languages for Distributed Applications |
159
click to vote
ADAEUROPE
2004
Springer
16 years 9 days 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 ...
176
click to vote
AMAST
2004
Springer
16 years 9 days ago
2004
Springer
Abstract. Software applications are inevitably concerned with data integrity, whether the data is stored in a database, files, or program memory. An integrity guard is code execut...
180
click to vote
CP
2004
Springer
16 years 8 days 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 ...
224
click to vote
FOSSACS
2004
Springer
16 years 8 days ago
2004
Springer
Abstract. We show how to generate well-founded and stable term orderings based on polynomial interpretations over the real numbers. Monotonicity (another usual requirement in termi...
159
click to vote
CC
2003
Springer
16 years 3 days 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...