Sciweavers

8669 search results - page 55 / 1734
» Computing matrix representations
Sort
View
DAC
1995
ACM
13 years 11 months ago
Efficient Steady-State Analysis Based on Matrix-Free Krylov-Subspace Methods
Ricardo Telichevesky, Kenneth S. Kundert, Jacob Wh...
FLAIRS
2001
13 years 9 months ago
Evolutionary Search for Matrix Multiplication Algorithms
This paperaddresses the problemof algorithm discovery, via evolutionarysearch, in the context of matrix multiplication. Thetraditional multiplicationalgorithm requiresO(n3) multip...
John F. Kolen, Phillip Bruce
AMAST
2008
Springer
13 years 9 months ago
Long-Run Cost Analysis by Approximation of Linear Operators over Dioids
Abstract. We present a static analysis technique for modeling and approximating the long-run resource usage of programs. The approach is based on a quantitative semantic framework ...
David Cachera, Thomas P. Jensen, Arnaud Jobin, Pas...