2838 search results - page 221 / 568 » Verifying Controlled Components |
100
click to vote
NIME
2004
Springer
15 years 6 months ago
2004
Springer
Auracle is a “group instrument,” controlled by the voice, for real-time, interactive, distributed music making over the Internet. It is implemented in the JavaTM programming l...
67
Voted
ICRA
2000
IEEE
15 years 5 months ago
2000
IEEE
We report on a control strategy for the "leap" problem arising from an ape's fast brachiation when the next branch is far out of reach and the task involves a signi...
119
Voted
TON
1998
15 years 12 days ago
1998
— This paper presents the “allocated-capacity” framework for providing different levels of best-effort service in times of network congestion. The “allocatedcapacity” fra...
129
Voted
EDCC
2006
Springer
15 years 4 months ago
2006
Springer
The importance of fault tolerance at the processor architecture level has been made increasingly important due to rapid advancements in the design and usage of high performance de...
119
Voted
ICDCS
2011
IEEE
14 years 11 days ago
2011
IEEE
—Resource provisioning for N-tier web applications in Clouds is non-trivial due to at least two reasons. First, there is an inherent optimization conflict between cost of resour...