660 search results - page 18 / 132 » Improving AOR method for consistent linear systems |
MOC
1998
14 years 9 months ago
1998
We approximate the solution of initial boundary value problems for nonlinear parabolic equations. In space we discretize by finite element methods. The discretization in time is b...
VMCAI
2005
Springer
15 years 2 months ago
2005
Springer
Bounded model checking (BMC) is an automatic verification method that is based on a finite unfolding of the system’s transition relation. BMC has been successfully applied, in ...
PPOPP
2009
ACM
15 years 10 months ago
2009
ACM
In a previous paper we show how the FLAME methods and tools provide a solution to compute dense dense linear algebra operations on a multi-GPU platform with reasonable performance...
91
Voted
EUROCRYPT
2012
Springer
12 years 12 months ago
2012
Springer
Abstract. The goal of this paper is to further study the index calculus method that was first introduced by Semaev for solving the ECDLP and later developed by Gaudry and Diem. In...
103
click to vote
SAS
2010
Springer
14 years 7 months ago
2010
Springer
The efficiency of a points-to analysis is critical for several compiler optimizations and transformations, and has attracted considerable research attention. Despite several advanc...