6279 search results - page 897 / 1256 » Objects as session-typed processes |
218
click to vote
PVM
2009
Springer
16 years 2 months ago
2009
Springer
The objective of this research is to convert ordinary idle PCs into virtual clusters for executing parallel applications. The paper introduces VolpexMPI that is designed to enable ...
230
click to vote
MM
2009
ACM
16 years 2 months ago
2009
ACM
Similarity search is widely used in multimedia retrieval systems to find the most similar ones for a given object. Some similarity measures, however, are not metric, leading to e...
206
click to vote
EDBT
2010
ACM
16 years 2 months ago
2010
ACM
The wide adaptation of GPS and cellular technologies has created many applications that collect and maintain large repositories of data in the form of trajectories. Previous work ...
185
click to vote
CDC
2008
IEEE
16 years 2 months ago
2008
IEEE
— In this paper we design coordination policies for a routing problem requiring human-assisted classification of targets through analysis of information gathered on-site by auto...
215
click to vote
DSRT
2008
IEEE
16 years 2 months ago
2008
IEEE
This paper describes a new property checking approach in order to enhance the diagnosis ability of an electronic embedded system, included in an automotive application. We conside...