C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Accurate LLVM IR to Binary CFGs Mapping for Simulation of Optimized Embedded Software.
Alessandro Cornaglia
Alexander Viehl
Oliver Bringmann
Published in:
SAMOS (2021)
Keyphrases
</>
embedded software
context free grammars
embedded systems
probabilistic graphical models
software architecture
factor graphs
linear models
development projects
artificial intelligence
information systems
case study
database systems
graphical models
pattern matching