Sciweavers

147 search results - page 30 / 30
» A Framework for Regulation Comparison with Application to Ac...
Sort
View
PLDI
2010
ACM
13 years 9 months ago
Line-up: a complete and automatic linearizability checker
Modular development of concurrent applications requires threadsafe components that behave correctly when called concurrently by multiple client threads. This paper focuses on line...
Sebastian Burckhardt, Chris Dern, Madanlal Musuvat...
IJHPCA
2007
114views more  IJHPCA 2007»
13 years 4 months ago
An Approach To Data Distributions in Chapel
A key characteristic of today’s high performance computing systems is a physically distributed memory, which makes the efficient management of locality essential for taking adv...
R. E. Diaconescu, Hans P. Zima