Sciweavers

PPOPP
2006
ACM
14 years 5 months ago
Proving correctness of highly-concurrent linearisable objects
We study a family of implementations for linked lists using finegrain synchronisation. This approach enables greater concurrency, but correctness is a greater challenge than for ...
Viktor Vafeiadis, Maurice Herlihy, Tony Hoare, Mar...
PPOPP
2006
ACM
14 years 5 months ago
Exploiting distributed version concurrency in a transactional memory cluster
We investigate a transactional memory runtime system providing scaling and strong consistency for generic C++ and SQL applications on commodity clusters. We introduce a novel page...
Kaloian Manassiev, Madalin Mihailescu, Cristiana A...
PPOPP
2006
ACM
14 years 5 months ago
POSH: a TLS compiler that exploits program structure
As multi-core architectures with Thread-Level Speculation (TLS) are becoming better understood, it is important to focus on TLS compilation. TLS compilers are interesting in that,...
Wei Liu, James Tuck, Luis Ceze, Wonsun Ahn, Karin ...
PPOPP
2006
ACM
14 years 5 months ago
Mobile MPI programs in computational grids
Utility computing is becoming a popular way of exploiting the potential of computational grids. In utility computing, users are provided with computational power in a transparent ...
Rohit Fernandes, Keshav Pingali, Paul Stodghill
PPOPP
2006
ACM
14 years 5 months ago
Global-view abstractions for user-defined reductions and scans
iew Abstractions for User-Defined Reductions and Scans iew Abstractions for User-Defined Reductions and Scans PPoPP March 29, 2006 Steve Deitz Brad Chamberlain David Callahan Larry...
Steven J. Deitz, David Callahan, Bradford L. Chamb...
PPOPP
2006
ACM
14 years 5 months ago
Hybrid transactional memory
Sanjeev Kumar, Michael Chu, Christopher J. Hughes,...
PPOPP
2006
ACM
14 years 5 months ago
Fast and transparent recovery for continuous availability of cluster-based servers
Recently there has been renewed interest in building reliable servers that support continuous application operation. Besides maintaining system state consistent after a failure, o...
Rosalia Christodoulopoulou, Kaloian Manassiev, Ang...
PPOPP
2006
ACM
14 years 5 months ago
Collective communication on architectures that support simultaneous communication over multiple links
Traditional collective communication algorithms are designed with the assumption that a node can communicate with only one other node at a time. On new parallel architectures such...
Ernie Chan, Robert A. van de Geijn, William Gropp,...
PPOPP
2006
ACM
14 years 5 months ago
Performance evaluation of adaptive MPI
Processor virtualization via migratable objects is a powerful technique that enables the runtime system to carry out intelligent adaptive optimizations like dynamic resource manag...
Chao Huang, Gengbin Zheng, Laxmikant V. Kalé...
PPOPP
2006
ACM
14 years 5 months ago
High-performance IPv6 forwarding algorithm for multi-core and multithreaded network processor
IP forwarding is one of the main bottlenecks in Internet backbone routers, as it requires performing the longest-prefix match at 10Gbps speed or higher. IPv6 forwarding further ex...
Xianghui Hu, Xinan Tang, Bei Hua