12453 search results - page 115 / 2491 » Concurrent Data Structures |
115
click to vote
ICFEM
2010
Springer
15 years 15 days ago
2010
Springer
Despite the advancements of concurrency theory in the past decades, practical concurrent programming has remained a challenging activity. Fundamental problems such as data races an...
WDAG
2010
Springer
15 years 9 days ago
2010
Springer
In a synchronous queue, producers and consumers handshake to exchange data. Recently, new scalable unfair synchronous queues were added to the Java JDK 6.0 to support high performa...
123
click to vote
CONCURRENCY
2010
15 years 8 days ago
2010
SCALASCA is a performance toolset that has been specifically designed to analyze parallel application execution behavior on large-scale systems. It offers an incremental performan...
126
click to vote
ICTAC
2010
Springer
14 years 12 months ago
2010
Springer
We consider software verification of imperative programs by theorem proving in higher-order separation logic. Of particular interest are the difficulties of encoding and reasoning ...
114
click to vote
EDBT
2008
ACM
16 years 2 months ago
2008
ACM
Structured P2P systems have been developed for constructing applications at internet scale in cooperative environments and exhibit a number of desirable features such as scalabili...