Clánek ve sborníku konference

 
Bozga, M., Iosif, R., Konecný, F.: Fast Acceleration of Ultimately Periodic Relations, In: Computer Aided Verification, Berlin, DE, Springer, 2010, s. 227-242, ISBN 978-3-642-14294-9
Jazyk publikace:anglictina
Název publikace:Fast Acceleration of Ultimately Periodic Relations
Název (cs):Akcelerace periodických relací
Strany:227-242
Sborník:Computer Aided Verification
Konference:22nd International Conference on Computer-Aided Verification
Rada knih:Lecture Notes in Computer Science 6174
Místo vydání:Berlin, DE
Rok:2010
ISBN:978-3-642-14294-9
Vydavatel:Springer Verlag
URL:http://www.fit.vutbr.cz/~ikonecny/pubs/CAV10.pdf [PDF]
URL:http://www.fit.vutbr.cz/~ikonecny/pubs/CAV10.ps [PS]
Klícová slova
akcelerace, systémy s cítaci, relace diferencních mezí, oktagonální relace, afinní relace konecných monoidu
Anotace
Výpocet tranzitivních uzáveru relací nad celými císly je klícem pro nalezení presných invariantu programu s celocíselnými promennými. Tento clánek popisuje efektivní algoritmus pro výpocet tranzitivního uzáveru pro tyto trídy relací: relace diferencních mezí, oktagonální relace, a afinní relace konecných monoidu. Z teoretického hlediska práce prinásí sjednocující resení problému akcelerace pro tyto tri trídy. Z praktického hlediska nová metoda prinásí zrychlení az o ctyri rády oproti predchozí metode a je tudíz slibným prístupem pro verifikaci programu s celocíselnými promennými.
BibTeX:
@INPROCEEDINGS{
   author = {Marius Bozga and Radu Iosif and Filip Konecný},
   title = {Fast Acceleration of Ultimately Periodic Relations},
   pages = {227--242},
   booktitle = {Computer Aided Verification},
   series = {Lecture Notes in Computer Science 6174},
   year = {2010},
   location = {Berlin, DE},
   publisher = {Springer Verlag},
   ISBN = {978-3-642-14294-9},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=9278}
}