215 search results - page 25 / 43 » Toward Verified Execution Environments |
ATAL
2010
Springer
13 years 8 months ago
2010
Springer
Robotic swarms, like all spatial computers, are a challenging environment for the execution of distributed consensus algorithms due to their scale, diameter, and frequent failures...
DAC
2007
ACM
14 years 8 months ago
2007
ACM
This paper argues for an implicitly parallel programming model for many-core microprocessors, and provides initial technical approaches towards this goal. In an implicitly paralle...
ROBOCUP
2004
Springer
14 years 25 days ago
2004
Springer
The paper discusses a top-down approach to model soccer knowledge, as it can be found in soccer theory books. The goal is to model soccer strategies and tactics in a way that they ...
DEXA
2004
Springer
14 years 27 days ago
2004
Springer
Ambient Intelligence (AmI) is a vision of future Information Society, where people are surrounded by an electronic environment which is sensitive to their needs, personalized to th...
AR
2004
13 years 7 months ago
2004
-- An inevitable collision state for a robotic system can be defined as a state for which, no matter what the future trajectory followed by the system is, a collision with an obsta...