Sciweavers

608 search results - page 68 / 122
» An Experimental Validation of the PRO Model for Parallel and...
Sort
View
SPAA
2005
ACM
14 years 1 months ago
Efficient algorithms for verifying memory consistency
One approach in verifying the correctness of a multiprocessor system is to show that its execution results comply with the memory consistency model it is meant to implement. It ha...
Chaiyasit Manovit, Sudheendra Hangal
CCGRID
2008
IEEE
14 years 2 months ago
Deploying on the Grid with DeployWare
In this paper, we present DeployWare to address the deployment of distributed and heterogeneous software systems on large scale infrastructures such as grids. Deployment of softwa...
Areski Flissi, Jérémy Dubus, Nicolas...
DCOSS
2010
Springer
13 years 7 months ago
Design and Implementation of a Robust Sensor Data Fusion System for Unknown Signals
In this work, we present a robust sensor fusion system for exploratory data collection, exploiting the spatial redundancy in sensor networks. Unlike prior work, our system design c...
Younghun Kim, Thomas Schmid, Mani B. Srivastava
PODS
1998
ACM
152views Database» more  PODS 1998»
13 years 12 months ago
A Cost Model for Similarity Queries in Metric Spaces
We consider the problem of estimating CPU (distance computations) and I/O costs for processing range and k-nearest neighbors queries over metric spaces. Unlike the specific case ...
Paolo Ciaccia, Marco Patella, Pavel Zezula
HPCC
2009
Springer
14 years 8 days ago
On the Performance of Commit-Time-Locking Based Software Transactional Memory
Compared with lock-based synchronization techniques, Software Transactional Memory (STM) can significantly improve the programmability of multithreaded applications. Existing res...
Zhengyu He, Bo Hong