Sciweavers

16 search results - page 2 / 4
» On the finite convergence of successive SDP relaxation metho...
Sort
View
SIAMSC
2010
116views more  SIAMSC 2010»
13 years 1 days ago
Optimized Schwarz Waveform Relaxation for the Primitive Equations of the Ocean
In this article we are interested in the derivation of efficient domain decomposition methods for the viscous primitive equations of the ocean. We consider the rotating 3d incompre...
Emmanuel Audusse, Pierre Dreyfuss, Benoit Merlet
SIAMNUM
2011
161views more  SIAMNUM 2011»
13 years 5 days ago
A Convergent Finite Volume Scheme for Diffusion on Evolving Surfaces
Abstract. A finite volume scheme for transport and diffusion problems on evolving hypersurfaces is discussed. The underlying motion is assumed to be described by a fixed, not ne...
Martin Lenz, Simplice Firmin Nemadjieu, Martin Rum...
CAV
2006
Springer
165views Hardware» more  CAV 2006»
13 years 9 months ago
Bounded Model Checking of Concurrent Data Types on Relaxed Memory Models: A Case Study
Many multithreaded programs employ concurrent data types to safely share data among threads. However, highly-concurrent algorithms for even seemingly simple data types are difficul...
Sebastian Burckhardt, Rajeev Alur, Milo M. K. Mart...
TOG
2008
104views more  TOG 2008»
13 years 5 months ago
Streaming multigrid for gradient-domain operations on large images
We introduce a new tool to solve the large linear systems arising from gradient-domain image processing. Specifically, we develop a streaming multigrid solver, which needs just tw...
Michael M. Kazhdan, Hugues Hoppe
COMPUTING
2008
174views more  COMPUTING 2008»
13 years 5 months ago
Multilevel algorithms for Rannacher-Turek finite element approximation of 3D elliptic problems
Generalizing the approach of a previous work [15] the authors present multilevel preconditioners for three-dimensional (3D) elliptic problems discretized by a family of Rannacher ...
Ivan Georgiev, Johannes Kraus, Svetozar Margenov