1550 search results - page 140 / 310 » Erlang for Concurrent Programming |
115
click to vote
ESOP
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Advanced multi-threaded programs apply concurrency concepts in sophisticated ways. For instance, they use fine-grained locking to increase parallelism and change locking...
137
click to vote
SPIN
2009
Springer
15 years 8 months ago
2009
Springer
While symmetry reduction has been established to be an important technique for reducing the search space in model checking, its application in concurrent software verification is ...
120
click to vote
POPL
2010
ACM
15 years 8 months ago
2010
ACM
A fully automatic, compiler-driven approach to parallelisation can result in unpredictable time and space costs for compiled code. On the other hand, a fully manual approach to pa...
111
click to vote
ISAAC
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. In a multicore transactional memory (TM) system, concurrent execution threads interact and interfere with each other through shared memory. The less interference a progra...
194
click to vote
ASPLOS
2009
ACM
16 years 2 months ago
2009
ACM
Multicore hardware is making concurrent programs pervasive. Unfortunately, concurrent programs are prone to bugs. Among different types of concurrency bugs, atomicity violation bu...