14190 search results - page 217 / 2838 » Abstractions for hybrid systems |
171
click to vote
JAIR
2006
15 years 6 months ago
2006
Efficient representations and solutions for large decision problems with continuous and discrete variables are among the most important challenges faced by the designers of automa...
165
click to vote
ERCIMDL
2009
Springer
15 years 4 months ago
2009
Springer
This paper presents a hybrid scavenger grid as an underlying hardware architecture for search services within digital libraries. The hybrid scavenger grid consists of both dedicate...
191
click to vote
SAC
2006
ACM
16 years 17 days ago
2006
ACM
In a recent work, we have shown that it is not possible to dependably build any type of distributed f fault or intrusiontolerant system under the asynchronous model. This result f...
197
click to vote
FASE
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The reality of multi-core hardware has made concurrent programs pervasive. Unfortunately, writing correct concurrent programs is difficult. Atomicity violation, which is ...
142
click to vote
ICRA
2006
IEEE
16 years 19 days ago
2006
IEEE
Abstract— Speeding up robot motion provides not only improvement in operating efficiency but also improves dexterous manipulation by taking advantage of an unstable state or non...