148 search results - page 17 / 30 » Exploiting Parallelism for Hard Problems in Abstract Argumen... |
IPPS
2008
IEEE
15 years 5 months ago
2008
IEEE
Abstract— The use of many distributed, heterogeneous resources as a large collective platform offers great potential. A key issue for these grid platforms is middleware scalabili...
PODC
2004
ACM
15 years 4 months ago
2004
ACM
We study a representative task allocation problem called shortest paths: Let G be a graph in which the edges are owned by self interested agents. The cost of each edge is privatel...
104
click to vote
DCOSS
2008
Springer
15 years 14 days ago
2008
Springer
Energy is one of the most crucial aspects in real deployments of mobile sensor networks. As a result of scarce resources, the duration of most real deployments can be limited to ju...
108
click to vote
GRID
2007
Springer
14 years 10 months ago
2007
Springer
Combining Grid and P2P technologies can be exploited to provide high-level data sharing in large-scale distributed environments. However, this combination must deal with two hard p...
CADE
2011
Springer
13 years 10 months ago
2011
Springer
Abstract. Sledgehammer is a component of Isabelle/HOL that employs firstorder automatic theorem provers (ATPs) to discharge goals arising in interactive proofs. It heuristically s...