5200 search results - page 808 / 1040 » Symbolic models for control systems |
206
click to vote
ICRA
2005
IEEE
16 years 25 days ago
2005
IEEE
—In this paper, we address the design of an autopilot for autonomous landing of a helicopter on a rocking ship, due to rough sea. The deck is modeled to have a sinusoidal motion....
172
click to vote
RTSS
2005
IEEE
16 years 24 days ago
2005
IEEE
The periodic resource model for hierarchical, compositional scheduling abstracts task groups by resource requirements. We study this model in the presence of dataflow constraints...
177
click to vote
IUI
2000
ACM
15 years 11 months ago
2000
ACM
CT How can an adaptive intelligent interface decide what particular action to perform in a given situation, as a function of perceived properties of the user and the situation? Ide...
174
click to vote
PLDI
1998
ACM
15 years 11 months ago
1998
ACM
A module system ought to enable assembly-line programming using separate compilation and an expressive linking language. Separate compilation allows programmers to develop parts o...
209
click to vote
HPCN
2000
Springer
15 years 10 months ago
2000
Springer
A rather recent approach in programming parallel and distributed systems is that of coordination models and languages. Coordination programming enjoys a number of advantages such a...