Sciweavers

1615 search results - page 155 / 323
» Distributed Forward Checking
Sort
View
117
Voted
AP2PC
2003
Springer
15 years 7 months ago
P2P MetaData Search Layers
Distributed Hashtables (DHTs) provide a scalable method of associating file-hashes with a particular location in a distributed network environment. Modifying DHTs directly to suppo...
Sam Joseph
VISUALIZATION
2000
IEEE
15 years 6 months ago
A flow-guided streamline seeding strategy
This paper presents a seed placement strategy for streamlines based on flow features in the dataset. The primary goal of our seeding strategy is to capture flow patterns in the ...
Vivek Verma, David T. Kao, Alex Pang
143
Voted
IPPS
2010
IEEE
14 years 11 months ago
Efficient hardware support for the Partitioned Global Address Space
We present a novel architecture of a communication engine for non-coherent distributed shared memory systems. The shared memory is composed by a set of nodes exporting their memory...
Holger Fröning, Heiner Litz
CCGRID
2005
IEEE
15 years 8 months ago
Version vector protocols implementing session guarantees
This paper analyses different protocols of session guarantees. Session guarantees (also known as client-centric consistency models) are one of the class of consistency models of r...
Anna Kobusinska, Cezary Sobaniec, Marek Libuda, Da...
CONCUR
2004
Springer
15 years 8 months ago
Verifying Finite-State Graph Grammars: An Unfolding-Based Approach
We propose a framework where behavioural properties of finite-state systems modelled as graph transformation systems can be expressed and verified. The technique is based on the ...
Paolo Baldan, Andrea Corradini, Barbara König