Assessing the Performance of Stateful Logic in 1-Selector-1-RRAM Crossbar Arrays.
Arjun TyagiShahar KvatinskyPublished in: ISCAS (2024)
Keyphrases
- classical logic
- logic programming
- modal logic
- automated reasoning
- data sets
- linear array
- information systems
- logical framework
- propositional dynamic logic
- deductive reasoning
- proof theory
- assessment process
- digital circuits
- scheduling algorithm
- high speed
- multi agent systems
- search algorithm
- search engine
- artificial intelligence
- real world
- neural network
- databases