68 search results - page 4 / 14 » A Parallel Implementation of the Block Preconditioned GCR Me... |
112
click to vote
CONCUR
1991
Springer
15 years 1 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...
IPPS
1995
IEEE
15 years 1 months ago
1995
IEEE
The linear systems associated with large, sparse, symmetric, positive definite matrices are often solved iteratively using the preconditioned conjugate gradient method. We have d...
CCGRID
2009
IEEE
14 years 7 months ago
2009
IEEE
Data streaming management and scheduling is required by many grid computing applications, especially when the volume of data to be processed is extremely high while available stor...
ISSAC
2007
Springer
15 years 3 months ago
2007
Springer
Through the use of a new disk-based method for enumerating very large orbits, condensation for orbits with tens of billions of elements can be performed. The algorithm is novel in...
100
Voted
HIPC
2004
Springer
15 years 2 months ago
2004
Springer
Parasitic extraction techniques are used to estimate signal delay in VLSI chips. Inductance extraction is a critical component of the parasitic extraction process in which on-chip ...