Two-terminal resistive switches (memristors) for memory and logic applications.
Wei LuKuk-Hwan KimTing ChangSiddharth GabaPublished in: ASP-DAC (2011)
Keyphrases
- logic programming
- memory space
- main memory
- random access memory
- modal logic
- memory usage
- random access
- memory requirements
- multi valued
- automated reasoning
- nonmonotonic logics
- computational properties
- classical logic
- limited memory
- predicate logic
- low memory
- memory size
- asynchronous circuits
- sound and complete axiomatization
- data sets
- computing power
- multi agent
- neural network
- databases