1357 search results - page 98 / 272 » Compositional analysis for linear systems |
PARA
2004
Springer
14 years 3 months ago
2004
Springer
We describe some extensions to Parallel Sparse BLAS (PSBLAS), a library of routines providing basic Linear Algebra operations needed to build iterative sparse linear system solvers...
SC
1995
ACM
1995
ACM
Parallel Implementations of the Power System Transient Stability Problem on Clusters of Workstations
14 years 1 months ago
Power system transient stability analysis computes the response of the rapidly changing electrical components of a power system to a sequence of large disturbances followed by ope...
GIS
2007
ACM
14 years 11 months ago
2007
ACM
This paper presents an approach to visualize and analyze 3D building information models within virtual 3D city models. Building information models (BIMs) formalize and represent d...
JLP
2008
13 years 10 months ago
2008
We demonstrate a method for describing data-flow analyses based program optimizations as compositional type systems with a transformation component. Analysis results are presented...
CUZA
2002
13 years 10 months ago
2002
This paper presents Process Algebra for Predictible Control Systems (PAPCS) as a model for specifying and analysis of concurrent, time and resource dependent, distributed control s...