2875 search results - page 479 / 575 » Distributed Reactive Machines |
151
click to vote
MFCS
2009
Springer
16 years 19 days ago
2009
Springer
Algorithmic mechanism design considers distributed settings where the participants, termed agents, cannot be assumed to follow the protocol but rather their own interests. The pro...
145
click to vote
ISSTA
2009
ACM
16 years 18 days ago
2009
ACM
This paper presents techniques for analyzing channel contract specifications in Microsoft Research’s Singularity operating system. A channel contract is a state machine that sp...
166
click to vote
DASFAA
2008
IEEE
16 years 17 days ago
2008
IEEE
In this paper, we design a local classification algorithm using implicit link analysis, considering the situation that the labeled and unlabeled data are drawn from two different ...
149
click to vote
HPCA
2008
IEEE
16 years 16 days ago
2008
IEEE
Real-world workloads rarely saturate multi-core processor. CPU C-states can be used to reduce power consumption during processor idle time. The key unsolved problem is: when and h...
182
click to vote
ICDCSW
2008
IEEE
16 years 16 days ago
2008
IEEE
Emergence of successful teleoperation applications requires the convergence of diverse domains like robotics, machine learning, sensing, actuation, control and communication. We e...