Článek ve sborníku konference

BOZGA Marius, IOSIF Radu a KONEČNÝ Filip. Fast Acceleration of Ultimately Periodic Relations. In: Computer Aided Verification. Berlin: Springer Verlag, 2010, s. 227-242. ISBN 978-3-642-14294-9.
Jazyk publikace:angličtina
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
Řada 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íčová slova
akcelerace, systémy s čítači, relace diferenčních mezí, oktagonální relace, afinní relace konečných monoidů
Anotace
Výpočet tranzitivních uzávěrů relací nad celými čísly je klíčem pro nalezení přesných invariantů programů s celočíselnými proměnnými. Tento článek popisuje efektivní algoritmus pro výpočet tranzitivního uzávěru pro tyto třídy relací: relace diferenčních mezí, oktagonální relace, a afinní relace konečných monoidů. Z teoretického hlediska práce přináší sjednocující řešení problému akcelerace pro tyto tři třídy. Z praktického hlediska nová metoda přináší zrychlení až o čtyři řády oproti předchozí metodě a je tudíž slibným přístupem pro verifikaci programů s celočíselnými proměnnými.
BibTeX:
@INPROCEEDINGS{
   author = {Marius Bozga and Radu Iosif and Filip
	Kone{\v{c}}n{\'{y}}},
   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.cs?id=9278}
}

Vaše IPv4 adresa: 18.234.236.14
Přepnout na https