1710 search results - page 49 / 342 » Parallelism in Structured Newton Computations |
135
click to vote
BIRTHDAY
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Loops and other unbound control structures constitute a major bottleneck in formal software verification, because correctness proofs over such control structures generall...
113
Voted
EUROPAR
2001
Springer
15 years 8 months ago
2001
Springer
For the solution of the SID (Symmetric InDefinite) linear systems, the use of the GLS (Generalized Least-Squares) polynomial preconditioner can improve the execution efficiency of...
124
Voted
ICPPW
2003
IEEE
15 years 8 months ago
2003
IEEE
In this paper a simple but effective approach for parallelization of cellular neural networks for image processing is developed. Digital gray-scale images were used to evaluate th...
130
click to vote
IPPS
1999
IEEE
15 years 7 months ago
1999
IEEE
This paper formalizes the concept of Collective Intelligence (C-I). Application of the Random PROLOG Processor (RPP) has allowed us to model the phenomenon of C-I in social structu...
118
click to vote
IPPS
2008
IEEE
15 years 10 months ago
2008
IEEE
Despite the computing power of emerging technologies, predicting long RNA secondary structures with thermodynamics-based methods is still infeasible, especially if the structures ...