A new ALU architecture design using reversible logic.
Arindam BanerjeeDebesh Kumar DasPublished in: ISED (2016)
Keyphrases
- markov chain
- logic programming
- cellular automata
- modal logic
- sound and complete axiomatization
- defeasible logic
- classical logic
- floating point
- machine learning
- automated reasoning
- multi valued
- epistemic logic
- image sequences
- computer vision
- social networks
- genetic algorithm
- computational properties
- formal theory
- real time