Static Analysis of Current Limiting Techniques for Accurate Memristor Programming.

Tommaso Addabbo Riccardo Moretti

Published in: ISCAS (2023)

Keyphrases

database systems
static analysis
dynamic analysis
databases
database
quantum mechanics
source code
java card
query processing
symbolic execution
programming language
malicious code
data sets
test generation
regular expressions
pattern matching
genetic algorithm