Sciweavers

10718 search results - page 827 / 2144
» On the Circuit Implementation Problem
Sort
View
IJAHUC
2010
114views more  IJAHUC 2010»
15 years 6 months ago
Malugo: A peer-to-peer storage system
: We consider the problem of routing locality in peer-to-peer storage systems where peers store and exchange data among themselves. With the global information, peers will take the...
Yu-Wei Chan, Tsung-Hsuan Ho, Po-Chi Shih, Yeh-Chin...
ISVC
2010
Springer
15 years 6 months ago
A Framework for Visual and Haptic Collaboration in Shared Virtual Spaces
We propose a framework for visual and haptic collaboration in X3D/VRML shared virtual spaces. In this collaborative framework, two pipelines—visual and haptic—complement each o...
Lei Wei, Alexei Sourin, Herbert Stocker
JSAC
2010
77views more  JSAC 2010»
15 years 6 months ago
MMS: An autonomic network-layer foundation for network management
Abstract—Networks cannot be managed without communication among geographically distributed network devices and control agents. Unfortunately, computer networks today lack an auto...
Hemant Gogineni, Albert G. Greenberg, David A. Mal...
SPIN
2010
Springer
15 years 6 months ago
An Automata-Based Symbolic Approach for Verifying Programs on Relaxed Memory Models
This paper addresses the problem of verifying programs for the relaxed memory models implemented in modern processors. Specifically, it considers the TSO (Total Store Order) relax...
Alexander Linden, Pierre Wolper
WAIM
2010
Springer
15 years 6 months ago
V Locking Protocol for Materialized Aggregate Join Views on B-Tree Indices
Immediate materialized view maintenance with transactional consistency is highly desirable to support real-time decision making. Nevertheless, due to high deadlock rates, such main...
Gang Luo