Login / Signup

Design of a parallel linear algebra library for verified computation.

Jürgen Wolff von Gudenberg
Published in: Reliab. Comput. (1995)
Keyphrases
  • linear algebra
  • computer architecture
  • parallel computers
  • image processing
  • sparse matrices
  • image segmentation
  • image analysis
  • computer systems
  • power consumption
  • singular value decomposition