In-memory computing using paths-based logic and heterogeneous components.
Alvaro VelasquezSumit Kumar JhaPublished in: DATE (2018)
Keyphrases
- building blocks
- memory requirements
- classical logic
- logic programming
- shortest path
- information systems
- associative memory
- memory usage
- first order logic
- random access memory
- predicate logic
- random access
- computing power
- automated reasoning
- operating system
- logic programs
- data management
- search algorithm
- bayesian networks