Login / Signup
A unifying formalism to support automated synthesis of SBSTs for embedded caches.
Stefano Di Carlo
Giulio Gambardella
Marco Indaco
Daniele Rolfo
Paolo Prinetto
Published in:
EWDTS (2011)
Keyphrases
</>
end users
fully automated
data sets
neural network
artificial intelligence
knowledge representation
knowledge management
logic programs
support systems
program synthesis