Login / Signup

A unifying formalism to support automated synthesis of SBSTs for embedded caches.

Stefano Di CarloGiulio GambardellaMarco IndacoDaniele RolfoPaolo 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