Sciweavers

1383 search results - page 113 / 277
» Computational Mechanisms for Distributed Requirements Engine...
Sort
View
IPPS
2007
IEEE
15 years 11 months ago
CCA-LISI: On Designing A CCA Parallel Sparse Linear Solver Interface
Sparse linear solvers account for much of the execution time in many high-performance computing (HPC) applications, and not every solver works on all problems. Hence choosing a su...
Fang Liu, Randall Bramley
ICPPW
2006
IEEE
15 years 10 months ago
Multiple Flows of Control in Migratable Parallel Programs
Many important parallel applications require multiple flows of control to run on a single processor. In this paper, we present a study of four flow-of-control mechanisms: proces...
Gengbin Zheng, Laxmikant V. Kalé, Orion Sky...
PODC
2003
ACM
15 years 10 months ago
Automatic discovery of mutual exclusion algorithms
We present a methodology for automatic discovery of synchronization algorithms. We built a tool and used it to automatically discover hundreds of new algorithms for the well-known ...
Yoah Bar-David, Gadi Taubenfeld
GRID
2004
Springer
15 years 10 months ago
From Sandbox to Playground: Dynamic Virtual Environments in the Grid
Much experience has been gained with the protocols and mechanisms needed for discovery and allocation of remote computational resources. However, the preparation of a remote compu...
Katarzyna Keahey, Karl Doering, Ian T. Foster
SSDBM
2003
IEEE
160views Database» more  SSDBM 2003»
15 years 10 months ago
The Virtual Data Grid: A New Model and Architecture for Data-Intensive Collaboration
It is now common to encounter communities engaged in the collaborative analysis and transformation of large quantities of data over extended time periods. We argue that these comm...
Ian T. Foster