Detail publikace

Mata: A Fast and Simple Finite Automata Library

FIEDOR Tomáš, HAVLENA Vojtěch, HOLÍK Lukáš, HRUŠKA Martin, CHOCHOLATÝ David, LENGÁL Ondřej a SÍČ Juraj. Mata: A Fast and Simple Finite Automata Library. In: Proceedings of TACAS'24. Luxembourgh: Springer Verlag, 2024, s. 130-151. ISSN 0302-9743. Dostupné z: https://link.springer.com/chapter/10.1007/978-3-031-57249-4_7
Název česky
Mata: Rychlá a jednoduchá knihovna pro konečné automaty
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Fiedor Tomáš, Ing., Ph.D. (UITS FIT VUT)
Havlena Vojtěch, Ing., Ph.D. (UITS FIT VUT)
Holík Lukáš, doc. Mgr., Ph.D. (UITS FIT VUT)
Hruška Martin, Ing. (UITS FIT VUT)
Chocholatý David, Bc. (FIT VUT)
Lengál Ondřej, Ing., Ph.D. (UITS FIT VUT)
Síč Juraj, Mgr. (UITS FIT VUT)
URL
Abstrakt

Tento článek přináší efektivní knihovnu pro práci s konečnými automaty Mata. Mata využívá jednoduché, ale efektivní datové struktury. Rozsáhlé experimentální vyhodnocení ukazuje, že Mata umožňuje rychlejší automatové operace než ostatní knihovny.

Rok
2024
Strany
130-151
Časopis
Lecture Notes in Computer Science, č. 14571, ISSN 0302-9743
Sborník
Proceedings of TACAS'24
Konference
European Joint Conferences on Theory and Practice of Software -- ETAPS'24 (TACAS'24), Centre for Security, Reliability and Trust (SnT), University of Luxembourg., LU
Vydavatel
Springer Verlag
Místo
Luxembourgh, LU
DOI
10.1007/978-3-031-57249-4_7
BibTeX 
@INPROCEEDINGS{FITPUB13199,
   author = "Tom\'{a}\v{s} Fiedor and Vojt\v{e}ch Havlena and Luk\'{a}\v{s} Hol\'{i}k and Martin Hru\v{s}ka and David Chocholat\'{y} and Ond\v{r}ej Leng\'{a}l and Juraj S\'{i}\v{c}",
   title = "Mata: A Fast and Simple Finite Automata Library",
   pages = "130--151",
   booktitle = "Proceedings of TACAS'24",
   journal = "Lecture Notes in Computer Science",
   number = 14571,
   year = 2024,
   location = "Luxembourgh, LU",
   publisher = "Springer Verlag",
   ISSN = "0302-9743",
   doi = "10.1007/978-3-031-57249-4\_7",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/13199"
}
Nahoru