Sciweavers

2008 search results - page 33 / 402
» Computing with Equations
Sort
View
COMPUTING
2004
91views more  COMPUTING 2004»
13 years 8 months ago
A Stabilized Three-field Formulation for Advection-diffusion Equations
In this paper we propose a new stabilized three-field formulation applied to the advection-diffusion equation. Using finite elements with SUPG stabilization in the interior of the...
G. Rapin, G. Lube
FUIN
2010
163views more  FUIN 2010»
13 years 6 months ago
Equational Reasoning on Mobile Ad Hoc Networks
We provide an equational theory for Restricted Broadcast Process Theory to reason about ad hoc networks. We exploit an extended algebra called Computed Network Theory to axiomatize...
Fatemeh Ghassemi, Wan Fokkink, Ali Movaghar
DAC
1999
ACM
14 years 10 months ago
An Efficient Lyapunov Equation-Based Approach for Generating Reduced-Order Models of Interconnect
In this paper we present a new algorithm for computing reduced-order models of interconnect which utilizes the dominant controllable subspace of the system. The dominant controlla...
Jing-Rebecca Li, Frank Wang, Jacob White
IPPS
2003
IEEE
14 years 2 months ago
Parallel Direct Solution of Linear Equations on FPGA-Based Machines
The efficient solution of large systems of linear equations represented by sparse matrices appears in many tasks. LU factorization followed by backward and forward substitutions i...
Xiaofang Wang, Sotirios G. Ziavras
COMPUTING
2004
80views more  COMPUTING 2004»
13 years 8 months ago
An Efficient Multigrid Solver based on Distributive Smoothing for Poroelasticity Equations
In this paper, we present a robust distributive smoother in a multigrid method for the system of poroelasticity equations. Within the distributive framework, we deal with a decoup...
R. Wienands, Francisco J. Gaspar, Francisco J. Lis...