MatPIM: Accelerating Matrix Operations with Memristive Stateful Logic.
Orian LeitersdorfRonny RonenShahar KvatinskyPublished in: CoRR (2022)
Keyphrases
- logical operations
- matrix multiplication
- rows and columns
- logic programming
- singular value decomposition
- automated reasoning
- predicate logic
- proof theory
- multi valued
- learning algorithm
- classical logic
- publish subscribe
- singular values
- coefficient matrix
- computational properties
- logical framework
- linear algebra
- low rank
- peer to peer
- bayesian networks