1404 search results - page 16 / 281 » Increasing Concurrency in Databases Using Program Analysis |
ISSTA
2006
ACM
15 years 6 months ago
2006
ACM
A noise maker is a tool that seeds a concurrent program with conditional synchronization primitives (such as yield()) for the purpose of increasing the likelihood that a bug manif...
101
click to vote
POPL
2009
ACM
15 years 7 months ago
2009
ACM
Haskell has a rich set of synchronization primitives for implemented-state concurrency abstractions, ranging from the very high level (Software Transactional Memory) to the very l...
136
click to vote
DAGSTUHL
2001
15 years 1 months ago
2001
Debugging concurrent Java programs is a difficult task because of multiple control flows and inherent nondeterminism. It requires techniques not provided by traditional debuggers ...
ICTAC
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. We design a deadlock-free semantics for a concurrent, functional and imperative programming language where locks are implicitly and univocally associated with pointers. T...
224
click to vote
PADL
2009
Springer
16 years 28 days ago
2009
Springer
Analysis of biological data often involves large data sets and computationally expensive algorithms. Databases of biological data continue to grow, leading to an increasing demand ...