Formal Methods for High-Performance Linear Algebra Libraries.
John A. GunnelsRobert A. van de GeijnPublished in: The Architecture of Scientific Software (2000)
Keyphrases
- linear algebra
- formal methods
- parallel computers
- knowledge based systems
- singular value decomposition
- formal specification
- model checking
- artificial intelligence
- image processing
- computer architecture
- software engineering
- relational databases
- sparse matrices
- computer vision
- databases
- formal specification language
- development lifecycle
- modeling language
- black box
- knowledge acquisition
- high dimensional
- computer science
- pattern recognition
- machine learning