20807 search results - page 92 / 4162 » How to read a paper |
139
click to vote
MABS
2004
Springer
15 years 10 months ago
2004
Springer
The efficient simulation of multi-agent systems presents particular challenges which are not addressed by current parallel discrete event simulation (PDES) models and techniques. ...
151
click to vote
ROBOCUP
2004
Springer
15 years 10 months ago
2004
Springer
This paper presents a vision system for robotic soccer which was tested on Sony’s four legged robot Aibo. The input for the vision system are images of the camera and the sensor ...
121
click to vote
DSN
2002
IEEE
15 years 9 months ago
2002
IEEE
In this paper we present two protocols for asynchronous Byzantine Quorum Systems (BQS) built on top of reliable channels—one for self-verifying data and the other for any data. ...
133
click to vote
SIGMOD
1999
ACM
15 years 9 months ago
1999
ACM
Recovery can be extended to new domains at reduced logging cost by exploiting "logical" log operations. During recovery, a logical log operation may read data values fro...
139
click to vote
HPCA
1999
IEEE
15 years 9 months ago
1999
IEEE
Cache coherence protocols of current shared-memory multiprocessors are difficult to verify. Our previous work proposed an extension of Lamport's logical clocks for showing th...