Ing. Zdeněk Letko, Ph.D.

LETKO Zdeněk. An Architecture for Self-Healing of Data Races and Atomicity Violations for Java. In: Proceedings of the 14th Conference STUDENT EEICT 2008. Brno: Vysoké učení technické v Brně, 2008, s. 256-258. ISBN 978-80-214-3615-2.
Jazyk publikace:angličtina
Název publikace:An Architecture for Self-Healing of Data Races and Atomicity Violations for Java
Název (cs):Architektura pro samoopravování časově závislých chyb nad daty a nesprávné atomicity programů v jazyce Java
Strany:256-258
Sborník:Proceedings of the 14th Conference STUDENT EEICT 2008
Konference:Student EEICT 2008
Řada knih:Volume 2
Místo vydání:Brno, CZ
Rok:2008
ISBN:978-80-214-3615-2
Vydavatel:Vysoké učení technické v Brně
Klíčová slova
data race, atomicity violation, dynamic analysis, software testing, formal verification, Java, healing
Anotace
Časově závislé chyby nad daty a chybná atomicita jsou častým problémem vícevláknových aplikací. Tento příspěvek popisuje technologii, která je schopna detekovat oba tyto problémy a včas ovlivnit vykonávání programu tak, aby k chybě nedošlo. Architektura je založena na dynamické analýze vykonávání programu.
BibTeX:
@INPROCEEDINGS{
   author = {Zden{\v{e}}k Letko},
   title = {An Architecture for Self-Healing of Data Races and
	Atomicity Violations for Java},
   pages = {256--258},
   booktitle = {Proceedings of the 14th Conference STUDENT EEICT 2008},
   series = {Volume 2},
   year = {2008},
   location = {Brno, CZ},
   publisher = {Brno University of Technology},
   ISBN = {978-80-214-3615-2},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php.cs?id=8689}
}

Vaše IPv4 adresa: 54.92.148.165