Login / Signup
Counterexamples and Proof Loophole for the C/C++ to POWER and ARMv7 Trailing-Sync Compiler Mappings.
Yatin A. Manerkar
Caroline Trippel
Daniel Lustig
Michael Pellauer
Margaret Martonosi
Published in:
CoRR (2016)
Keyphrases
</>
programming language
power consumption
data mining
neural network
theorem proving
theorem prover
software engineering
general purpose
highly optimized
database
power distribution
schema mappings
software systems
source code
query language
database systems
artificial intelligence
real time