Emulation of Non-volatile Digital Logic for Batteryless Intermittent Computing.

Simone Ruffini Kasim Sinan Yildirim Davide Brunelli

Published in: DATE (2022)

Keyphrases

data storage
main memory
logic programming
file system
information retrieval
data sets
genetic algorithm
database systems
data structure
modal logic
digital media
logical framework
defeasible logic
predicate logic
digital forensics
linear logic