Sciweavers

10066 search results - page 1653 / 2014
» A Technique for Information System Integration
Sort
View
176
Voted
IPPS
2003
IEEE
16 years 4 days ago
So Many States, So Little Time: Verifying Memory Coherence in the Cray X1
This paper investigates a complexity-effective technique for verifying a highly distributed directory-based cache coherence protocol. We develop a novel approach called “witnes...
Dennis Abts, Steve Scott, David J. Lilja
195
Voted
DBISP2P
2003
Springer
113views Database» more  DBISP2P 2003»
16 years 2 days ago
Structuring Peer-to-Peer Networks Using Interest-Based Communities
Abstract. Interest-based communities are a natural arrangement of distributed systems that prune the search space and allow for better dissemination of information to participating...
Mujtaba Khambatti, Kyung Dong Ryu, Partha Dasgupta
177
Voted
EUROPAR
2003
Springer
16 years 2 days ago
Modeling Context-Aware Behavior by Interpreted ECA Rules
The software architecture of distributed systems is about to change due to new requirements of modern mobile devices. New network techniques, like ad-hoc radio communication or pee...
Wolfgang Beer, Volker Christian, Alois Ferscha, La...
PG
2002
IEEE
15 years 11 months ago
Augmenting Computer Graphics with Haptics for the Visualization of Vessel Networks
Current visualization methods of volume angiograms are limited in their ability to display vessel connectivity and depth information readily available in the data set. In this wor...
Dingrong Yi, Vincent Hayward
MOMM
2009
ACM
129views Communications» more  MOMM 2009»
15 years 11 months ago
Sharing large data collections between mobile peers
New directions in the provision of end-user computing experiences mean that we need to determine the best way to share data between small mobile computing devices. Partitioning la...
Brian Tripney, Christopher Foley, Richard Gourlay,...
« Prev « First page 1653 / 2014 Last » Next »