11436 search results - page 368 / 2288 » Modeling Real Reasoning |
151
click to vote
ROBOCUP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Developing and testing the key modules of autonomous humanoid soccer robots (e.g., for vision, localization, and behavior control) in software-in-the-loop (SIL) experimen...
178
Voted
RTSS
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper, we study temperature-constrained hard realtime systems, where real-time guarantees must be met without exceeding safe temperature levels within the processor. Dynam...
152
Voted
SRDS
2006
IEEE
15 years 10 months ago
2006
IEEE
We consider the problem of recovering from failures of distributable threads with assured timeliness. When a node hosting a portion of a distributable thread fails, it causes orph...
127
click to vote
NSPW
2006
ACM
15 years 10 months ago
2006
ACM
What would a PKI look like if it were designed for implementability and deployability rather than strict adherence to a particular theoretical or mathematical model? This paper pr...
129
click to vote
ECRTS
2005
IEEE
15 years 10 months ago
2005
IEEE
Open real-time systems provide for co-hosting hard-, soft- and non-real-time applications. Microkernel-based designs in addition allow for these applications to be mutually protec...