11374 search results - page 64 / 2275 » A System Demonstration of ST-TCP |
145
click to vote
ECRTS
1998
IEEE
15 years 10 months ago
1998
IEEE
In this paper we demonstrate the usage of a formal description technique for real-time systems called PLCAutomaton [4] by applying this method to a real-world case study. To this ...
154
click to vote
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract— This paper addresses a problem of finding an optimal dynamic quantizer for nonlinear control subject to discretevalued signal constraints. The quantizers to be studied...
147
click to vote
ECAI
2008
Springer
15 years 7 months ago
2008
Springer
We consider multi-robot systems where robots need to cooperate tightly by sharing functionalities with each other. There are methods for automatically configuring a multi-robot sys...
144
click to vote
SBACPAD
2004
IEEE
15 years 7 months ago
2004
IEEE
This paper presents a high performance communication system based on generic programming. The system adapts itself according to the protocol being used on communication, simplifyi...
153
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Smale's -theory uses estimates related to the convergence of Newton's method to give criteria implying that Newton iterations will converge quadratically to solutions to ...