1224 search results - page 10 / 245 » A Framework for Structured Distributed Object Computing |
CONCUR
1998
Springer
15 years 4 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 ...
94
Voted
PACT
2001
Springer
15 years 4 months 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...
180
click to vote
ICDCN
2011
Springer
14 years 3 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...
116
Voted
CLUSTER
2001
IEEE
15 years 4 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
15 years 5 months 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 ...