5639 search results - page 469 / 1128 » Timed Abstract Non-interference |
137
click to vote
ICRA
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract— Robust ego-motion estimation in urban environments is a key prerequisite for making a robot truly autonomous, but is not easily achievable as there are two motions invo...
143
click to vote
IPPS
2009
IEEE
15 years 11 months ago
2009
IEEE
In this paper we define the Weak Mutual Exclusion (WME) problem. Analogously to classical Distributed Mutual Exclusion (DME), WME serializes the accesses to a shared resource. Di...
159
click to vote
EUROPAR
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Utility computing offers researchers and businesses the potential of significant cost-savings in that it is possible for them to match the cost of their computing and s...
148
click to vote
GCB
2009
Springer
15 years 11 months ago
2009
Springer
Abstract: The analysis of RNA folding landscapes yields insights into the kinetic folding behavior not available from classical structure prediction methods. This is especially imp...
149
click to vote
MEMBRANE
2009
Springer
15 years 11 months ago
2009
Springer
would be an abstract answer (because it would not immediately link a formal model with the biological reality that inspired it or with possible implementations) from the other hand...