4143 search results - page 539 / 829 » A theory of distributed aspects |
174
click to vote
SPAA
2005
ACM
16 years 11 days ago
2005
ACM
One approach in verifying the correctness of a multiprocessor system is to show that its execution results comply with the memory consistency model it is meant to implement. It ha...
165
Voted
SPAA
2005
ACM
16 years 11 days ago
2005
ACM
This paper shows for the first time that elimination, a scaling technique formerly applied only to counters and LIFO structures, can be applied to FIFO data structures, specific...
181
click to vote
ATAL
2005
Springer
16 years 11 days ago
2005
Springer
State estimation consists of updating an agent’s belief given executed actions and observed evidence to date. In single agent environments, the state estimation can be formalize...
173
click to vote
GECCO
2005
Springer
16 years 10 days ago
2005
Springer
In this study, we introduce two improved assessment metrics of multiobjective optimizers, Nondominated Ratio and Spacing Distribution, and analyze their rationality and validity. ...
173
click to vote
NOSSDAV
2005
Springer
16 years 9 days ago
2005
Springer
We are concerned with the fundamental problem of event ordering in multiplayer peer-to-peer games. Event ordering, even without faults, requires all-to-all message passing with at...