2303 search results - page 24 / 461 » Interior-Point Methods in Parallel Computation |
CONCUR
1991
Springer
13 years 11 months ago
1991
Springer
Abstract. A syntax-directed formal system for the development of totally correct programs with respect to an (unfair) shared-state parallel programming language is proposed. The pr...
GPC
2008
Springer
13 years 8 months ago
2008
Springer
In a computational grid environment, a common practice is try to allocate an entire parallel job onto a single participating site. Sometimes a parallel job, upon its submission, ca...
CAP
2010
13 years 2 months ago
2010
Binary Decision Diagrams (BDDs) are widely used in formal verification. They are also widely known for consuming large amounts of memory. For larger problems, a BDD computation wi...
ICCS
2005
Springer
14 years 1 months ago
2005
Springer
We revisit and use the dependence transformation method to generate parallel algorithms suitable for cluster and grid computing. We illustrate this method in two applications: to o...
ICDM
2009
IEEE
14 years 2 months ago
2009
IEEE
—We describe parallel methods for solving large-scale, high-dimensional, sparse least-squares problems that arise in machine learning applications such as document classificatio...