Partial-order reduction for general state exploring algorithms.
Dragan BosnackiStefan LeueAlberto Lluch-LafuentePublished in: Int. J. Softw. Tools Technol. Transf. (2009)
Keyphrases
- theoretical justification
- previously studied
- special case
- computationally hard
- recently developed
- lower bound
- significant improvement
- computational cost
- times faster
- computational efficiency
- computationally efficient
- orders of magnitude
- optimization problems
- data mining algorithms
- database
- worst case
- video sequences
- data structure
- image processing
- information systems