1471 search results - page 80 / 295 » Composing concurrency control |
AR
2005
14 years 9 months ago
2005
The authors have proposed a dynamic turning control system of a quadruped robot by using nonlinear oscillators. It is composed of a spontaneous locomotion controller and voluntary...
CDC
2009
IEEE
15 years 1 months ago
2009
IEEE
—A new type of global stability is introduced and its equivalent Lyapunov characterization is presented. The problem of global stability of the compact set composed by all invari...
ECMDAFA
2005
Springer
15 years 3 months ago
2005
Springer
This article presents a control flow analysis methodology based on UML 2.0 sequence diagrams (SD). In contrast to the conventional code-based control flow analysis techniques, thi...
ICRA
2002
IEEE
15 years 2 months ago
2002
IEEE
– A two-layer fuzzy logic controller has been designed for 2-D autonomous navigation of a skid steering vehicle in an obstacle filled environment. The first layer of the fuzzy co...
167
click to vote
ISSTA
2012
ACM
13 years 8 days ago
2012
ACM
Multithreaded programs are notoriously prone to unintended interference between concurrent threads. To address this problem, we argue that yield annotations in the source code sho...