Sciweavers

214 search results - page 2 / 43
» toms 2010
Sort
View
TOMS
2010
50views more  TOMS 2010»
13 years 3 months ago
Rectangular full packed format for cholesky's algorithm: factorization, solution, and inversion
Fred G. Gustavson, Jerzy Wasniewski, Jack Dongarra...
TOMS
2010
75views more  TOMS 2010»
13 years 3 months ago
Computing correctly rounded integer powers in floating-point arithmetic
Peter Kornerup, Christoph Quirin Lauter, Vincent L...
TOMS
2010
56views more  TOMS 2010»
13 years 3 months ago
Adaptive Projection Subspace Dimension for the Thick-Restart Lanczos Method
Ichitaro Yamazaki, Zhaojun Bai, Horst D. Simon, Li...
ENTCS
2007
168views more  ENTCS 2007»
13 years 5 months ago
Bytecode Rewriting in Tom
In this paper, we present a term rewriting based library for manipulating Java bytecode. We define a mapping from bytecode programs to algebraic terms, and we use Tom, an extensi...
Emilie Balland, Pierre-Etienne Moreau, Antoine Rei...