Login / Signup
Towards resource-certified software: a formal cost model for time and its application to an image-processing example.
Armelle Bonenfant
Zezhi Chen
Kevin Hammond
Greg Michaelson
Andrew M. Wallace
Iain Wallace
Published in:
SAC (2007)
Keyphrases
</>
cost model
image processing
complex queries
query optimization
query processing
query execution
regular expressions
range queries
parallel execution
query cost
join algorithms
nearest neighbor search
query optimizer
spatial join
query optimizers
horizontal fragmentation
object oriented
xml data
data mining