Sciweavers

1492 search results - page 8 / 299
» Concurrent programming in VISO
Sort
View
OOPSLA
2010
Springer
13 years 5 months ago
Concurrent programming with revisions and isolation types
Sebastian Burckhardt, Alexandro Baldassin, Daan Le...
SIGOPS
2010
71views more  SIGOPS 2010»
13 years 5 months ago
Scalable concurrent hash tables via relativistic programming
Josh Triplett, Paul E. McKenney, Jonathan Walpole
TACAS
2010
Springer
156views Algorithms» more  TACAS 2010»
13 years 5 months ago
Preemption Sealing for Efficient Concurrency Testing
The choice of where a thread scheduling algorithm preempts one thread in order to execute another is essential to reveal concurrency errors such as atomicity violations, livelocks,...
Thomas Ball, Sebastian Burckhardt, Katherine E. Co...
JFP
2000
91views more  JFP 2000»
13 years 7 months ago
Uniform confluence in concurrent computation
Indeterminism is typical for concurrent computation. If several concurrent actors compete for the same resource then at most one of them may succeed, whereby the choice of the suc...
Joachim Niehren