11022 search results - page 196 / 2205 » Programming Systems for Autonomy |
152
click to vote
RTAS
1995
IEEE
15 years 9 months ago
1995
IEEE
Real-time system software is notoriously hard to share and reuse. This paper walks through the methodology and application of ControlShell, a component-based programming system re...
189
click to vote
CC
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. We present a method of specifying standard imperative program optimisations as a rewrite system. To achieve this we have extended the idea of matching sub-terms in expres...
168
click to vote
ACSD
2001
IEEE
15 years 9 months ago
2001
IEEE
Synchronous languages allow a high level, concurrent, and deterministic description the behavior of reactive systems. Thus, they can be used advantageously for the programming of ...
140
click to vote
JSC
2007
15 years 6 months ago
2007
We present a new algorithm for the computation of resultants associated with multihomogeneous (and, in particular, homogeneous) polynomial equation systems using straight-line pro...
127
click to vote
HCI
2009
15 years 3 months ago
2009
The review starts with the assessment of needs for health promotion, particularly drawing upon the aging of the workforce in Europe and U.S. Basic intervention models for work site...