Sciweavers

4800 search results - page 397 / 960
» OO Distributed Programming is Not Distributed OO Programming
Sort
View
IPPS
2008
IEEE
15 years 10 months ago
A deterministic multi-way rendezvous library for haskell
The advent of multicore processors requires mainstream concurrent programming languages with high level concurrency constructs and effective debugging techniques. Unfortunately, m...
Nalini Vasudevan, Satnam Singh, Stephen A. Edwards
IPPS
2006
IEEE
15 years 10 months ago
Support for adaptivity in ARMCI using migratable objects
Many new paradigms of parallel programming have emerged that compete with and complement the standard and well-established MPI model. Most notable, and successful, among these are...
Chao Huang, Chee Wai Lee, Laxmikant V. Kalé
IPPS
2006
IEEE
15 years 10 months ago
Bio-sequence database scanning on a GPU
Protein sequences with unknown functionality are often compared to a set of known sequences to detect functional similarities. Efficient dynamic programming algorithms exist for t...
Weiguo Liu, Bertil Schmidt, Gerrit Voss, Adrian Sc...
ERLANG
2006
ACM
15 years 10 months ago
Dryverl: a flexible Erlang/C binding compiler
This article introduces Dryverl, an Erlang/C binding code r. Dryverl aims at becoming the most abstract, open and efficient tool for implementing any Erlang/C bindings, as either...
Romain Lenglet, Shigeru Chiba
PPOPP
2006
ACM
15 years 10 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...