Generation of Verified Programs for In-Memory Computing.

Saman Fröhlich Rolf Drechsler

Published in: DSD (2022)

Keyphrases

learning algorithm
computer programs
generation process
information systems
case study
memory requirements
limited memory
associative memory
memory capacity
low memory
control program
memory size
automatic programming
memory usage
real time
data management
multi agent
database systems
machine learning
real world