2838 search results - page 244 / 568 » Verifying Controlled Components |
RTSS
2009
IEEE
15 years 7 months ago
2009
IEEE
The preemptive real-time scheduling of sporadic parallel task systems is studied. We present an algorithm, called Gang EDF, which applies the Earliest Deadline First (EDF) policy ...
92
Voted
ICC
2008
IEEE
15 years 7 months ago
2008
IEEE
—In unreliable and untrustworthy systems, information dissemination may suffer network failures and attacks from Byzantine nodes which are controlled by traitors or adversaries, ...
79
Voted
ICRA
2008
IEEE
15 years 7 months ago
2008
IEEE
— Many surgical robots use cable-conduit pairs in a pull-pull configuration to actuate the instruments and transmit power into the patient’s body. Friction between the cable an...
IJCNN
2008
IEEE
15 years 7 months ago
2008
IEEE
— In this paper we address the reliability of policies derived by Reinforcement Learning on a limited amount of observations. This can be done in a principled manner by taking in...
109
Voted
SOSE
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract Web services choreography describes the global model of service interactions among a set of participants. In order to achieve a common business goal, the protocols of inte...