1163 search results - page 196 / 233 » Concurrent Subspaces Analysis |
142
click to vote
POPL
2012
ACM
13 years 11 months ago
2012
ACM
We present an analysis which takes as its input a sequential program, augmented with annotations indicating potential parallelization opportunities, and a sequential proof, writte...
250
click to vote
SIGMOD
2007
ACM
16 years 3 months ago
2007
ACM
Distributed Hash Tables (DHTs) provide a scalable solution for data sharing in P2P systems. To ensure high data availability, DHTs typically rely on data replication, yet without ...
146
Voted
EUROSYS
2010
ACM
16 years 19 days ago
2010
ACM
Debugging real systems is hard, requires deep knowledge of the code, and is time-consuming. Bug reports rarely provide sufficient information, thus forcing developers to turn int...
155
Voted
EUROSYS
2010
ACM
16 years 19 days ago
2010
ACM
Bugs in concurrent programs are extremely difficult to find and fix during testing. In this paper, we propose Kivati, which can efficiently detect and prevent atomicity violat...
156
Voted
CONCUR
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Modelling is becoming a necessity in studying biological signalling pathways, because the combinatorial complexity of such systems rapidly overwhelms intuitive and qualit...