LIMITA: Logic-in-Memory Primitives for Imprecise Tolerant Applications.
Ali ZareiFarshad SafaeiPublished in: IEEE Trans. Circuits Syst. I Regul. Pap. (2021)
Keyphrases
- memory requirements
- modal logic
- memory usage
- building blocks
- multi valued
- logic programming
- computing power
- computational properties
- random access memory
- database
- proof theory
- low memory
- formal theory
- predicate logic
- limited memory
- memory space
- automated reasoning
- high level
- logical framework
- set theory
- low level
- asynchronous circuits
- computational complexity
- data streams