Page 1
Page 1
Domain Decomposition Methods for the Numerical Solution of Partial Differential Equations
Domain decomposition methods are divide and conquer methods for the parallel and computational solution of partial differential equations of elliptic or parabolic type. They include iterative algorithms for solving the discretized equations, techniques for non-matching grid discretizations and techniques for heterogeneous approximations. This book serves as an introduction to this subject, with emphasis on matrix formulations. The topics studied include Schwarz, substructuring, Lagrange multiplier and least squares-control hybrid formulations, multilevel methods, non-self adjoint problems, parabolic equations, saddle point problems (Stokes, porous media and optimal control), non-matching grid discretizations, heterogeneous models, fictitious domain methods, variational inequalities, maximum norm theory, eigenvalue problems, optimization problems and the Helmholtz scattering problem. Selected convergence theory is included.
Composition of embedded systems : Scientific and industrial issues ; 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers
This book discussed a range of challenges in embedded systems design that require further major advances in software and systems composition technology. The papers are organized in topical sections on model driven develo.
Applications of Specification and Design Languages for SoCs : Selected papers from FDL 2005
This book provides detailed insights into recent works dealing with a large spectrum of issues in system-on-chip design, namely: assertion-based design, mapping on network-on-chip architectures, use of C/C++/SystemC design methodologies, hardware/software integration, mixing heterogeneous models of computation, analog/mixed-signal/mixed-technology system design and verification, UML/XML-based synthesis of analog and mixed-signal systems, UML to VHDL mapping, UML-based performance modeling, model transformation and formal verification, real-time system models, and Model Driven Architecture.
