192 search results - page 16 / 39 » Incrementalization across object abstraction |
76
Voted
ATAL
2010
Springer
14 years 10 months ago
2010
Springer
We present a new approach for finding generalized contingent plans with loops and branches in situations where there is uncertainty in state properties and object quantities, but ...
CP
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Invariants that incrementally maintain the value of expresder assignments to their variables are a natural abstraction to build high-level local search algorithms. But th...
CJ
2010
14 years 7 months ago
2010
A concurrent object is an object that can be concurrently accessed by several processes. Sequential consistency is a consistency criterion for such objects. Informally, it states ...
HPDC
1998
IEEE
15 years 1 months ago
1998
IEEE
In this paper, we argue for the power of providing a common set of OS services to wide area applications, including mechanisms for resource discovery, a global namespace, remote p...
ICNS
2006
IEEE
15 years 3 months ago
2006
IEEE
The Globus Toolkit is properly configured open source software for setting up grid nodes across multiple heterogeneous platforms. The process of grid enabling a machine is a long ...