Sciweavers

6939 search results - page 644 / 1388
» Algorithm Engineering for Parallel Computation
Sort
View
PODC
2010
ACM
15 years 10 months ago
On maintaining multiple versions in STM
An effective way to reduce the number of aborts in software transactional memory (STM) is to keep multiple versions of transactional objects. In this paper, we study inherent prop...
Dmitri Perelman, Rui Fan, Idit Keidar
CONCUR
2008
Springer
15 years 8 months ago
Completeness and Nondeterminism in Model Checking Transactional Memories
Software transactional memory (STM) offers a disciplined concurrent programming model for exploiting the parallelism of modern processor architectures. This paper presents the firs...
Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh
CLOUDCOM
2010
Springer
15 years 4 months ago
Applying Twister to Scientific Applications
Many scientific applications suffer from the lack of a unified approach to support the management and efficient processing of large-scale data. The Twister MapReduce Framework, whi...
Bingjing Zhang, Yang Ruan, Tak-Lon Wu, Judy Qiu, A...
CSC
2010
15 years 4 months ago
Accuracy of the Immersed Boundary Method in Fixed-Point Arithmetic
Abstract-- The immersed boundary (IB) method is an algorithm for simulating elastic structures immersed in a fluid. The IB method can be used, for example, to simulate blood flow i...
Gabor Ferencz, Eric Peskin, Charles Peskin
167
Voted
ESCIENCE
2006
IEEE
16 years 26 days ago
Worqbench: An Integrated Framework for e-Science Application Development
With the proliferation of Grid computing, potentially vast computational resources are available for solving complex problems in science and engineering. However, writing, deployi...
Donny Kurniawan, David Abramson