Sciweavers

98 search results - page 9 / 20
» Efficient solution of systems of Boolean equations
Sort
View
100
Voted
SIAMADS
2010
63views more  SIAMADS 2010»
14 years 8 months ago
Time Integration and Steady-State Continuation for 2d Lubrication Equations
Lubrication equations describe many structuring processes of thin liquid films. We develop and apply a numerical framework suitable for their analysis employing a dynamical systems...
Philippe Beltrame, Uwe Thiele
SIAMSC
2008
173views more  SIAMSC 2008»
15 years 1 months ago
A Fast Iterative Method for Eikonal Equations
In this paper we propose a novel computational technique to solve the Eikonal equation. The proposed method manages the list of active nodes and iteratively updates the solutions ...
Won-Ki Jeong, Ross T. Whitaker
SIAMSC
2011
142views more  SIAMSC 2011»
14 years 8 months ago
Efficiency Based Adaptive Local Refinement for First-Order System Least-Squares Formulations
Abstract. In this paper, we propose new adaptive local refinement (ALR) strategies for firstorder system least-squares (FOSLS) finite element in conjunction with algebraic multi...
J. H. Adler, Thomas A. Manteuffel, Stephen F. McCo...
ISLPED
2010
ACM
158views Hardware» more  ISLPED 2010»
15 years 1 months ago
Temperature- and energy-constrained scheduling in multitasking systems: a model checking approach
The ongoing scaling of semiconductor technology is causing severe increase of on-chip power density and temperature in microprocessors. This has raised urgent requirement for both...
Weixun Wang, Xiaoke Qin, Prabhat Mishra
STOC
2009
ACM
152views Algorithms» more  STOC 2009»
15 years 8 months ago
Green's conjecture and testing linear-invariant properties
A system of linear equations in p unknowns Mx = b is said to have the removal property if every set S ⊆ {1, . . . , n} which contains o(np− ) solutions of Mx = b can be turned...
Asaf Shapira