BSPL: Balanced Static Power Logic.
Bijan FadaeiniaThorben MoosAmir MoradiPublished in: IACR Cryptol. ePrint Arch. (2020)
Keyphrases
- modal logic
- power consumption
- logic programming
- databases
- logical framework
- multi valued
- defeasible logic
- computational properties
- automated reasoning
- predicate logic
- website
- genetic algorithm
- formal theory
- deontic logic
- asynchronous circuits
- logic synthesis
- chip design
- computational power
- dynamic analysis
- database
- search algorithm
- case study
- artificial intelligence
- machine learning
- real time