603 search results - page 24 / 121 » concurrency 2010 |
98
Voted
ISSTA
2010
ACM
15 years 1 months ago
2010
ACM
The paper describes a generic, open-source infrastructure called SearchBestie (or S'Bestie for short) that we propose as a platform for experimenting with search-based techni...
131
Voted
CAV
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Concurrent data structures with fine-grained synchronization are notoriously difficult to implement correctly. The difficulty of reasoning about these implementations do...
113
Voted
CONCUR
2010
Springer
15 years 1 months ago
2010
Springer
Optimistic concurrency algorithms provide good performance for parallel programs but they are extremely hard to reason about. Program logics such as concurrent separation logic and...
ENTCS
1998
15 years 14 days ago
1998
We obtain a new formalism for concurrent object-oriented languages by extending Abadi and Cardelli's imperative object calculus with operators for concurrency from the -calc...
104
click to vote
HPDC
2010
IEEE
15 years 1 months ago
2010
IEEE
Hadoop is a reference software framework supporting the Map/Reduce programming model. It relies on the Hadoop Distributed File System (HDFS) as its primary storage system. Althoug...