Bounding Resource Consumption with Gödel-Dummett Logics.

Dominique Larchey-Wendling

Published in: LPAR (2005)

Keyphrases

file system
resource consumption
data transfer
valued logic
upper bound
response time
resource allocation
classical logic
solution quality
single machine scheduling problem
processing times
scheduling algorithm
image quality
real time
query execution
visual quality
high speed
search space