1150 search results - page 55 / 230 » Specifying Information-Flow Controls |
MEMOCODE
2008
IEEE
14 years 3 months ago
2008
IEEE
We present a component-based description language for heterogeneous systems composed of several data flow processing components and a unique eventbased controller. Descriptions a...
CPAIOR
2005
Springer
14 years 2 months ago
2005
Springer
Hybrid algorithms combining local and systematic search often use nondeterminism in fundamentally different ways. They may differ in the strategy to explore the search tree and/o...
ICRA
2002
IEEE
14 years 2 months ago
2002
IEEE
In this paper, a teleoperation controller is proposed for a pair of nonlinear master and slave manipulators. The control law enables the nonlinear robots to be perfectly coordinate...
ASP
2001
Springer
14 years 1 months ago
2001
Springer
Being able to declaratively specify control within a planning (or theorem-proving) paradigm is necessary if we are to build intelligent machines. This paper introduces an implemen...
ICCAD
1998
IEEE
14 years 1 months ago
1998
IEEE
In traditional distributed embedded system designs, control information is often replicated across several processes and kept coherent by application-specific mechanisms. Conseque...