Login / Signup
Using polyhedral techniques to tighten WCET estimates of optimized code: A case study with array contraction.
Thomas Lefeuvre
Imen Fassi
Christoph Cullmann
Gernot Gebhard
Emin-Koray Kasnakli
Isabelle Puaut
Steven Derrien
Published in:
DATE (2018)
Keyphrases
</>
source code
databases
case study
line drawings
programmable logic
joint estimation
belief change
data structure
upper bound
high speed
objective function
convex hull
belief revision
branch and bound algorithm
image sequences
search engine
static analysis
artificial intelligence
real time