Sciweavers

4586 search results - page 452 / 918
» Computing stable models in parallel
Sort
View
CIKM
2010
Springer
15 years 4 months ago
Adaptive query execution for data management in the cloud
A major component of many cloud services is query processing on data stored in the underlying cloud cluster. The traditional techniques for query processing on a cluster are those...
Adrian Daniel Popescu, Debabrata Dash, Verena Kant...
CCGRID
2001
IEEE
15 years 10 months ago
View-Based Consistency and Its Implementation
This paper proposes a novel View-based Consistency model for Distributed Shared Memory. A view is a set of ordinary data objects that a processor has the right to access in a data...
Zhiyi Huang, Stephen Cranefield, Martin K. Purvis,...
EDOC
2005
IEEE
16 years 13 days ago
An Aspect Oriented Model Driven Framework
In model driven development (MDD), specifying transformations between models at various levels of ion can be a complex task. Specifying transformations for pervasive system featur...
Devon M. Simmonds, Raghu Reddy, Robert B. France, ...
SAC
2010
ACM
16 years 4 days ago
Haptic manipulation of rational parametric planar cubics using shape constraints
In this paper, we show how to deform a planar rational cubic based on a local interpolation constraint while retaining the qualitative shape of the curve. An impedance-type, paral...
Christoph Fünfzig, Philippe Thomin, Gudrun Al...
IPPS
2008
IEEE
16 years 1 months ago
A deterministic multi-way rendezvous library for haskell
The advent of multicore processors requires mainstream concurrent programming languages with high level concurrency constructs and effective debugging techniques. Unfortunately, m...
Nalini Vasudevan, Satnam Singh, Stephen A. Edwards