2468 search results - page 466 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
144
click to vote
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
The beliefs of an agent reflecting her subjective view of the world constitute one of the main components of a BDI agent. In order to incorporate new information coming from other...
141
click to vote
CASES
2005
ACM
15 years 5 months ago
2005
ACM
Digital Signal Processing (DSP) is becoming increasingly widespread in portable devices. Due to harsh constraints on power, latency, and throughput in embedded environments, devel...
132
Voted
ATAL
2006
Springer
15 years 6 months ago
2006
Springer
This paper focuses on the Noisy Iterated Prisoner's Dilemma, a version of the Iterated Prisoner's Dilemma (IPD) in which there is a nonzero probability that a "coop...
128
click to vote
PPOPP
2010
ACM
15 years 10 months ago
2010
ACM
To fully exploit multicore processors, applications are expected to provide a large degree of thread-level parallelism. While adequate for low core counts and their typical worklo...
129
click to vote
CGO
2010
IEEE
15 years 8 months ago
2010
IEEE
Feedback-directed optimization (FDO) is effective in improving application runtime performance, but has not been widely adopted due to the tedious dual-compilation model, the difï...