4615 search results - page 657 / 923 » Virtual Classes and Their Implementation |
195
click to vote
CUZA
2002
15 years 6 months ago
2002
In this paper we present a mechanism for serializing the execution-state of a distributed Java application that is implemented on a conventional Object Request Broker (ORB) archite...
175
click to vote
IJHPCA
2010
15 years 5 months ago
2010
We describe and evaluate a new, pipelined algorithm for large, irregular all-gather problems. In the irregular all-gather problem each process in a set of processes contributes in...
200
click to vote
ICFP
2005
ACM
16 years 6 months ago
2005
ACM
We present a foundation for a computational meta-theory of languages with bindings implemented in a computer-aided formal reasoning environment. Our theory provides the ability to...
207
click to vote
ASPLOS
2006
ACM
16 years 19 days ago
2006
ACM
Sketching is a software synthesis approach where the programmer develops a partial implementation — a sketch — and a separate specification of the desired functionality. The ...
195
click to vote
ICCV
2003
IEEE
16 years 8 months ago
2003
IEEE
Statistical background modelling and subtraction has proved to be a popular and effective class of algorithms for segmenting independently moving foreground objects out from a sta...