1615 search results - page 303 / 323 » Distributed Forward Checking |
164
Voted
IPPS
2005
IEEE
16 years 9 days ago
2005
IEEE
The InfiniBandTM Architecture (IBA) is a new promising I/O communication standard positioned for building clusters and System Area Networks (SANs). However, the IBA specification ...
203
Voted
ATAL
2005
Springer
16 years 8 days ago
2005
Springer
Rational strategic reasoning is the process whereby an agent reasons about the best strategy to adopt in a given multi-agent scenario, taking into account the likely behaviour of ...
188
Voted
ATAL
2005
Springer
16 years 8 days ago
2005
Springer
In this paper we combine existing work in the area of social laws with a framework for reasoning about knowledge in multi-agent systems. The unifying framework in which this is do...
139
click to vote
SPAA
2004
ACM
16 years 4 days ago
2004
ACM
A key capability of data-race detectors is to determine whether one thread executes logically in parallel with another or whether the threads must operate in series. This paper pr...
214
Voted
IPTPS
2004
Springer
16 years 2 days ago
2004
Springer
— Peer-to-peer computing, the harnessing of idle compute cycles throughout the Internet, offers exciting new research challenges in the converging domains of networking and distr...