DADS 2nd level index page

Up to Two-level Index

model checking
model of computation
moderately exponential
monotone priority queue
monotonically decreasing
monotonically increasing
Monte Carlo algorithm
Moore machine
Morris-Pratt algorithm
move: see transition
move-to-front heuristic
move-to-root heuristic
MST: see minimum spanning tree
multi-commodity flow
multikey Quicksort
multilayer grid file
multiplication method
multiprocessor model
multi-set: see bag
multi suffix tree
multiway decision
multiway merge