11022 search results - page 431 / 2205 » Programming Systems for Autonomy |
204
click to vote
SEUS
2009
IEEE
16 years 2 months ago
2009
IEEE
Abstract. In this paper we explore the combination of a time-predictable chipmultiprocessor system with the single-path programming paradigm. Time-sliced arbitration of the main me...
201
click to vote
IFIP
1994
Springer
15 years 11 months ago
1994
Springer
Object-oriented system development is wideley recognized as improving productivity and reducing system maintenance costs. However, existing approaches have not su ciently addresse...
190
click to vote
PADL
2000
Springer
15 years 11 months ago
2000
Springer
In this article we present the University of Evora's Integrated Information System (SIIUE), which is meant to model most of the information necessary for the management and da...
217
click to vote
XSYM
2004
Springer
16 years 27 days ago
2004
Springer
We show that it is possible to extend a general-purpose programming language with a convenient high-level data-type for manipulating XML documents while permitting (1) precise stat...
194
click to vote
MFCS
1997
Springer
15 years 11 months ago
1997
Springer
It is important for programs to have modular correctness properties. We look at non-deterministic programs expressed as termrewriting systems which compute normal forms of input t...