Sciweavers

16513 search results - page 70 / 3303
» Numerical Analysis Methods
Sort
View
DATE
1997
IEEE
109views Hardware» more  DATE 1997»
13 years 12 months ago
Cartesian multipole based numerical integration for 3D capacitance extraction
Application of the hierarchical Schur algorithm to the boundary element method for 3D capacitance extraction shifts the speed bottleneck from inversion of the influence matrix to...
U. Geigenmüller, N. P. van der Meijs
SAS
1999
Springer
13 years 12 months ago
Polyhedral Analysis for Synchronous Languages
We define an operational semantics for the Signal language and design an analysis which allows to verify properties pertaining to the relation between values of the numeric and bo...
Frédéric Besson, Thomas P. Jensen, J...
ADBIS
1998
Springer
97views Database» more  ADBIS 1998»
13 years 12 months ago
Using Queries with Multi-Directional Functions for Numerical Database Applications
Object-oriented database management systems are often motivated by their support for new emerging application areas such as computer-aided design and analysis systems. The object-o...
Staffan Flodin, Kjell Orsborn, Tore Risch
ICA
2007
Springer
14 years 1 months ago
Comparative Speed Analysis of FastICA
FastICA is arguably one of the most widespread methods for independent component analysis. We focus on its deflation-based implementation, where the independent components are ext...
Vicente Zarzoso, Pierre Comon
SAS
2004
Springer
103views Formal Methods» more  SAS 2004»
14 years 1 months ago
A Scalable Nonuniform Pointer Analysis for Embedded Programs
Abstract. In this paper we present a scalable pointer analysis for embedded applications that is able to distinguish between instances of recursively defined data structures and e...
Arnaud Venet