Sciweavers

3779 search results - page 30 / 756
» Linear Consistency Testing
Sort
View
DAIS
2003
14 years 11 months ago
A Variable Cache Consistency Protocol for Mobile Systems Using Time Locks
Abstract. By locally caching data, mobile hosts can operate while disconnected from the central server, however, consistency of data becomes more difficult to maintain. In this pap...
Abhinav Vora, Zahir Tari, Peter Bertók
ASPLOS
2010
ACM
15 years 4 months ago
Specifying and dynamically verifying address translation-aware memory consistency
Computer systems with virtual memory are susceptible to design bugs and runtime faults in their address translation (AT) systems. Detecting bugs and faults requires a clear speci...
Bogdan F. Romanescu, Alvin R. Lebeck, Daniel J. So...
JDCTA
2010
161views more  JDCTA 2010»
14 years 4 months ago
A Globally Consistent Solution to Multiview Image Registration
Multiview image registration is to compute the globally consistent transformations of a sequence of images. Due to various uncertainties, multiview image registration is considere...
Zezhong Xu
CDC
2008
IEEE
154views Control Systems» more  CDC 2008»
15 years 4 months ago
Distributed calculation of linear functions in noisy networks via linear iterations
— Given a fixed network where each node has some given initial value, and under the constraint that each node receives noisy transmissions from its immediate neighbors, we provi...
Shreyas Sundaram, Christoforos N. Hadjicostis
CIDR
2011
230views Algorithms» more  CIDR 2011»
14 years 1 months ago
Consistency Analysis in Bloom: a CALM and Collected Approach
Distributed programming has become a topic of widespread interest, and many programmers now wrestle with tradeoffs between data consistency, availability and latency. Distributed...
Peter Alvaro, Neil Conway, Joe Hellerstein, Willia...