Článek v časopise

ABDULLA Parosh A., HAZIZA Frédéric, HOLÍK Lukáš, JONSSON Bengt a REZINE Ahmed. An integrated specification and verification technique for highly concurrent data structures for highly concurrent data structures. International Journal on Software Tools for Technology Transfer. 2017, roč. 5, č. 19, s. 549-563. ISSN 1433-2779. Dostupné z: https://link.springer.com/article/10.1007/s10009-016-0415-4
Jazyk publikace:angličtina
Název publikace:An integrated specification and verification technique for highly concurrent data structures for highly concurrent data structures
Název (cs):Integrovaná verifikační a specifikační technika pro ověřování linearizability paralelních ukazatelových programů
Strany:549-563
Místo vydání:DE
Rok:2017
URL:https://link.springer.com/article/10.1007/s10009-016-0415-4
Časopis:International Journal on Software Tools for Technology Transfer, roč. 5, č. 19, DE
ISSN:1433-2779
DOI:10.1007/s10009-016-0415-4
Klíčová slova
verification, linearisability, pointers 
Anotace
Prezentujeme techniku pro ověřování linearizability silně paralelních ukazatelových programů implementujících datové struktury jako zásobníky a fronty.
BibTeX:
@ARTICLE{
   author = {A. Parosh Abdulla and Fr{\'{e}}d{\'{e}}ric Haziza and
	Luk{\'{a}}{\v{s}} Hol{\'{i}}k and Bengt Jonsson and Ahmed
	Rezine},
   title = {An integrated specification and verification technique for
	highly concurrent data structures for highly concurrent data
	structures},
   pages = {549--563},
   journal = {International Journal on Software Tools for Technology
	Transfer},
   volume = {5},
   number = {19},
   year = {2017},
   ISSN = {1433-2779},
   doi = {10.1007/s10009-016-0415-4},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php.cs?id=11541}
}

Vaše IPv4 adresa: 54.224.150.24
Přepnout na IPv6 spojení

DNSSEC [dnssec]