Unser Artikel "Exact Analysis of Horspool’s and Sunday’s Pattern Matching Algorithms with Probabilistic Arithmetic Automata" wird von uns auf der LATA 2010 in Trier vorgestellt.
Er enthält neue Ideen zur exakten Analyse der Laufzeit (Textzugriffe) der klassischen Pattern-Matching-Algorithmen des Boyer-Moore-Typs von Horspool und Sunday.
Ab sofort ist auch die Software "Horspool-Analyser" dazu verfügbar.