1224 search results - page 10 / 245 » A Framework for Structured Distributed Object Computing |
CONCUR
1998
Springer
13 years 12 months ago
1998
Springer
Abstract. This paper introduces a compositional Hoare logics for reasoning about the correctness of systems composed of a dynamically evolving collection of processes (also called ...
PACT
2001
Springer
14 years 5 days ago
2001
Springer
In the framework of distributed object systems, this paper presents the concepts and an implementation of an overlapping mechanism between communication and computation. This mecha...
ICDCN
2011
Springer
12 years 11 months ago
2011
Springer
Distributed processing of real-world graphs is challenging due to their size and the inherent irregular structure of graph computations. We present HIPG, a distributed framework th...
CLUSTER
2001
IEEE
13 years 11 months ago
2001
IEEE
This paper describes a middleware that enables its target application to dynamically incorporate heterogeneous nodes of a cluster. It distributes the objects of the application ac...
ECCV
2010
Springer
14 years 24 days ago
2010
Springer
Abstract. We describe an efficient approach to construct shape models composed of contour parts with partially-supervised learning. The proposed approach can easily transfer parts ...