2875 search results - page 479 / 575 » Distributed Reactive Machines |
121
Voted
MFCS
2009
Springer
15 years 10 months 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...
121
Voted
ISSTA
2009
ACM
15 years 10 months 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...
140
Voted
DASFAA
2008
IEEE
15 years 10 months 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 ...
118
Voted
HPCA
2008
IEEE
15 years 10 months 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...
152
Voted
ICDCSW
2008
IEEE
15 years 10 months 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...