Sciweavers

540 search results - page 101 / 108
» Scheduling dynamic parallelism on accelerators
Sort
View
ICDCS
1995
IEEE
14 years 6 hour ago
Maintaining Consistency of Data in Mobile Distributed Environments
To deal with the frequent, foreseeable and variable disconnections that occur in a mobile environment, we introduce a exible, two-level consistency model. Semantically related or ...
Evaggelia Pitoura, Bharat K. Bhargava
OSDI
2000
ACM
13 years 9 months ago
Performance-Driven Processor Allocation
In current multiprogrammed multiprocessor systems, to take into account the performance of parallel applications is critical to decide an efficient processor allocation. In this pa...
Julita Corbalán, Xavier Martorell, Jes&uacu...
EUROPAR
2010
Springer
13 years 9 months ago
Hierarchical Work-Stealing
Abstract. We study the problem of dynamic load-balancing on hierarchical platforms. In particular, we consider applications involving heavy communications on a distributed platform...
Jean-Noël Quintin, Frédéric Wag...
CORR
2010
Springer
153views Education» more  CORR 2010»
13 years 8 months ago
Towards an Efficient Tile Matrix Inversion of Symmetric Positive Definite Matrices on Multicore Architectures
The algorithms in the current sequential numerical linear algebra libraries (e.g. LAPACK) do not parallelize well on multicore architectures. A new family of algorithms, the tile a...
Emmanuel Agullo, Henricus Bouwmeester, Jack Dongar...
PPOPP
2009
ACM
14 years 9 months ago
Formal verification of practical MPI programs
This paper considers the problem of formal verification of MPI programs operating under a fixed test harness for safety properties without building verification models. In our app...
Anh Vo, Sarvani S. Vakkalanka, Michael Delisi, Gan...