Login / Signup
Phase-change-memory-based storage elements for configurable logic.
Pierre-Emmanuel Gaillardon
M. Haykel Ben Jamaa
Marina Reyboz
Giovanni Beneventi
Fabien Clermidy
Luca Perniola
Ian O'Connor
Published in:
FPT (2010)
Keyphrases
</>
logic programming
data storage
storage space
storage requirements
classical logic
modal logic
storage and retrieval
sound and complete axiomatization
proof theory
automated reasoning
random access
logical framework
databases
computational properties
set theory
logic programs
genetic algorithm