Clánek ve sborníku konference

 
Fiedor, J., Krena, B., Letko, Z., Vojnar, T.: A Uniform Classification of Common Concurrency Errors, In: Proceedings of the 13th International Conference on Computer Aided Systems Theory, Universidad de Las Palmas de Canaria, ES, IUCTC, 2011, s. 326-327, ISBN 978-84-693-9560-8
Jazyk publikace:anglictina
Název publikace:A Uniform Classification of Common Concurrency Errors
Název (cs):Klasifikace castých chyb v paralelních programech
Strany:326-327
Sborník:Proceedings of the 13th International Conference on Computer Aided Systems Theory
Konference:Thirteen International Conference On Computer Aided Systems Theory
Místo vydání:Universidad de Las Palmas de Canaria, ES
Rok:2011
ISBN:978-84-693-9560-8
Vydavatel:Universidad de Las Palmas de Gran Canaria
Klícová slova
concurrency error, multi-threaded, detection techniques
Anotace
V poslední dobe získávají vícevláknové programy na popularite a prinásí s sebou i více chyb v synchronizaci vláken. Mnoho prací popisujících detekci techto chyb bylo publikováno v posledních letech. Mnoho z nich definuje detekované chyby pomocí konstrukcí, které se hodí pro dané detekcní techniky. Tento zpusob popisu ale prekvapive casto vedl k nepresným az zavádejícím definicím techto chyb. Tento clánek si klade za cíl správne definovat jednotlivé chyby v synchronizaci soucasných vícevláknových programu, zejména tech napsaných v jazyce Java, a také poskytnout prehled existujících technik pro jejich detekci.
BibTeX:
@INPROCEEDINGS{
   author = {Jan Fiedor and Bohuslav Krena and Zdenek Letko and Tomás
	Vojnar},
   title = {A Uniform Classification of Common Concurrency Errors},
   pages = {326--327},
   booktitle = {Proceedings of the 13th International Conference on Computer
	Aided Systems Theory},
   year = {2011},
   location = {Universidad de Las Palmas de Canaria, ES},
   publisher = {The Universidad de Las Palmas de Gran Canaria},
   ISBN = {978-84-693-9560-8},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=9821}
}