Sciweavers

3436 search results - page 229 / 688
» Software Tools for Performance Modeling of Parallel Programs
Sort
View
RV
2010
Springer
171views Hardware» more  RV 2010»
15 years 5 months ago
Runtime Verification for Software Transactional Memories
Software transactional memories (STMs) promise simple and efficient concurrent programming. Several correctness properties have been proposed for STMs. Based on a bounded conflict ...
Vasu Singh
ICFP
1999
ACM
15 years 12 months ago
Calling Hell From Heaven and Heaven From Hell
The increasing popularity of component-based programming tools offer a big opportunity to designers of advanced programming languages, such as Haskell. If we can package our progr...
Sigbjorn Finne, Daan Leijen, Erik Meijer, Simon L....
ESCIENCE
2006
IEEE
16 years 1 months ago
A Middleware Framework for Maximum Likelihood Evaluation over Dynamic Grids
We have designed a maximum likelihood fitter using the actor model to distribute the computation over a heterogeneous network. The prototype implementation uses the SALSA program...
Wei-Jen Wang, Kaoutar El Maghraoui, John Cummings,...
HPDC
1993
IEEE
15 years 11 months ago
Programming a Distributed System Using Shared Objects
Building the hardware for a high-performance distributed computer system is a lot easier than building its software. In this paper we describe a model for programtributed systems ...
Andrew S. Tanenbaum, Henri E. Bal, M. Frans Kaasho...
EUROPAR
2008
Springer
15 years 9 months ago
Meta-programming Applied to Automatic SMP Parallelization of Linear Algebra Code
We describe a software solution to the problem of automatic parallelization of linear algebra code on multi-processor and multi-core architectures. This solution relies on the defi...
Joel Falcou, Jocelyn Sérot, Lucien Pech, Je...