2019 search results - page 111 / 404 » Programming with Shared Data Abstractions |
178
click to vote
POPL
2006
ACM
15 years 10 months ago
2006
ACM
Concurrency-related bugs may happen when multiple threads access shared data and interleave in ways that do not correspond to any sequential execution. Their absence is not guaran...
ISPA
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. In a hybrid peer-to-peer environment, clients can either directly download data from their server, or share data with each other. In order to create incentives for client...
GISCIENCE
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Across the globe individuals and organizations are creating geographic data work products with little ability to efficiently or effectively make known and share those dig...
CONCUR
2004
Springer
15 years 3 months ago
2004
Springer
We present a trace semantics for a language of parallel programs which share access to mutable data. We introduce a resource-sensitive logic for partial correctness, based on a re...
STACS
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. The sharing of content by communities of users (e.g., scientists) in a P2P context remains cumbersome. We argue that main reasons for this is the lack of calculus and alg...