Sciweavers

294 search results - page 2 / 59
» Concurrency and the Principle of Data Locality
Sort
View
ATVA
2004
Springer
135views Hardware» more  ATVA 2004»
14 years 1 months ago
Using Block-Local Atomicity to Detect Stale-Value Concurrency Errors
Data races do not cover all kinds of concurrency errors. This paper presents a data-ow-based technique to nd stale-value errors, which are not found by low-level and high-level d...
Cyrille Artho, Klaus Havelund, Armin Biere
CC
2010
Springer
190views System Software» more  CC 2010»
14 years 3 months ago
Is Reuse Distance Applicable to Data Locality Analysis on Chip Multiprocessors?
On Chip Multiprocessors (CMP), it is common that multiple cores share certain levels of cache. The sharing increases the contention in cache and memory-to-chip bandwidth, further h...
Yunlian Jiang, Eddy Z. Zhang, Kai Tian, Xipeng She...
SERVICES
2008
103views more  SERVICES 2008»
13 years 10 months ago
Grouping Distributed Stream Query Services by Operator Similarity and Network Locality
Distributed stream query services must simultaneously process a large number of complex, continuous queries with stringent performance requirements while utilizing distributed pro...
Sangeetha Seshadri, Bhuvan Bamba, Brian F. Cooper,...
AROBOTS
1998
104views more  AROBOTS 1998»
13 years 8 months ago
A Probabilistic Approach to Concurrent Mapping and Localization for Mobile Robots
This paper addresses the problem of building large-scale geometric maps of indoor environments with mobile robots. It poses the map building problem as a constrained, probabilistic...
Sebastian Thrun, Wolfram Burgard, Dieter Fox
CIDR
2009
133views Algorithms» more  CIDR 2009»
13 years 9 months ago
Principles for Inconsistency
Data consistency is very desirable because strong semantic properties make it easier to write correct programs that perform as users expect. However, there are good reasons why co...
Shel Finkelstein, Dean Jacobs, Rainer Brendle