1580 search results - page 174 / 316 » Non-Interference Through Determinism |
INFOCOM
2006
IEEE
14 years 4 months ago
2006
IEEE
— The capacity of a power controlled wireless network can be changing due to user’s mobility, fading or shadowing effects. As a result, the quality of service (QOS) of users ac...
IPPS
2006
IEEE
14 years 4 months ago
2006
IEEE
We consider unicast-based pipelined broadcast schemes for clusters connected by multiple Ethernet switches. By splitting a large broadcast message into segments and broadcasting t...
IROS
2006
IEEE
14 years 4 months ago
2006
IEEE
— In this paper, a path following control strategy for lunar/planetary exploration rovers is described, taking into account slip motion of the rover. It is determined that the sl...
ACCV
2006
Springer
14 years 4 months ago
2006
Springer
Abstract. We present an alignment framework for object detection using a hierarchy of 3D polygonal models. One difficulty with alignment methods is that the high-dimensional transf...
ACL2
2006
ACM
14 years 4 months ago
2006
ACM
We have developed an extension of ACL2 that includes the implementation of hash-based association lists and function memoization; this makes some algorithms execute more quickly. ...