Certifying cost annotations in compilers

Roberto M. Amadio Nicholas Ayache Yann Régis-Gianas Ronan Saillard

Published in: CoRR (2010)

Keyphrases

high cost
programming language
semantic annotation
artificial intelligence
cost sensitive
cost reduction
hardware and software
massively parallel
metadata
image annotation
real time
decision trees
total cost
computer architecture
minimal cost
cost savings
information retrieval