12115 search results - page 132 / 2423 » Bisimulation of Dynamical Systems |
PPL
2008
13 years 10 months ago
2008
This discussion paper explores the problems of operating systems support when implementing concurrency controls at the level of the instruction set in processors designed for mult...
ICDE
2009
IEEE
14 years 12 months ago
2009
IEEE
Extracting information and insights from large databases is a time-consuming activity and has received considerable research attention recently. In this demo, we present DynaCet - ...
SGAI
2007
Springer
14 years 4 months ago
2007
Springer
Argumentation has proved to be a very influential reasoning mechanism particularly in the context of multi agent systems. In this paper we introduce PADUA (Protocol for Argumenta...
IPPS
2006
IEEE
14 years 4 months ago
2006
IEEE
Modern FPGAs, such as the Xilinx Virtex-II Series, offer the feature of partial and dynamic reconfiguration, allowing to load various hardware configurations (i.e., HW modules) du...
ICRA
1998
IEEE
14 years 2 months ago
1998
IEEE
This paper is devoted to the problem of nonlinear robust control design for Underwater Vehicle/Manipulator (UVM) systems composed of a freefloating platform equipped with a robot ...