220 search results - page 30 / 44 » Testing of Synchronization Conditions for Distributed Real-T... |
CONCUR
2006
Springer
15 years 1 months ago
2006
Springer
We describe an incomplete but sound and efficient livelock freedom test for infinite state asynchronous reactive systems. The method s a system into a set of simple control flow cy...
102
click to vote
ICCV
2005
IEEE
15 years 11 months ago
2005
IEEE
In this paper, a new learning framework?probabilistic boosting-tree (PBT), is proposed for learning two-class and multi-class discriminative models. In the learning stage, the pro...
CODES
2007
IEEE
15 years 4 months ago
2007
IEEE
In this paper we present an approach to the scheduling and voltage scaling of low-power fault-tolerant hard real-time applications mapped on distributed heterogeneous embedded sys...
IJCV
2006
14 years 9 months ago
2006
Abstract. Over the past few years researchers have been investigating the enhancement of visual tracking performance by devising trackers that simultaneously make use of several di...
72
Voted
AUTOMATICA
2006
14 years 9 months ago
2006
The authors design a new speed sensorless output feedback control for the full-order model of induction motors with unknown constant load torque, which guarantees local asymptotic...