606 search results - page 110 / 122 » Complexity Results for Checking Distributed Implementability |
ATAL
2006
Springer
15 years 3 months ago
2006
Springer
This paper provides a general mechanism and a solid theoretical basis for performing planning within Belief-Desire-Intention (BDI) agents. BDI agent systems have emerged as one of...
105
click to vote
IPPS
2007
IEEE
15 years 6 months ago
2007
IEEE
Due to the complexity associated with developing parallel applications, scientists and engineers rely on highlevel software libraries such as PETSc, ScaLAPACK and PESSL to ease th...
118
click to vote
GLOBECOM
2006
IEEE
15 years 5 months ago
2006
IEEE
Abstract—We consider the distributed estimation of an unknown vector signal in a resource constrained sensor network with a fusion center. Due to power and bandwidth limitations,...
110
Voted
PPOPP
2006
ACM
15 years 5 months ago
2006
ACM
Large-scale simulations and computational modeling using molecular dynamics (MD) continues to make significant impacts in the field of biology. It is well known that simulations...
102
click to vote
PPOPP
2006
ACM
15 years 5 months ago
2006
ACM
Recently there has been renewed interest in building reliable servers that support continuous application operation. Besides maintaining system state consistent after a failure, o...