For a Few Dollars More: Verified Fine-Grained Algorithm Analysis Down to LLVM.

Maximilian P. L. Haslbeck Peter Lammich

Published in: ACM Trans. Program. Lang. Syst. (2022)

Keyphrases

fine grained
coarse grained
dynamic programming
objective function
np hard
detection algorithm
learning algorithm
expectation maximization
optimal solution
computational complexity
pairwise
segmentation algorithm
tightly coupled
databases
space complexity
access control
probabilistic model