Článek ve sborníku konference

HONG Chih-Duo, CHEN Yu-Fang, LENGÁL Ondřej, MU Shin-Cheng, SINHA Nishant a WANG Bow-Yaw. An Executable Sequential Specification for Spark Aggregation. In: Proceedings of NETYS'17. Heidelberg: Springer Verlag, 2017, s. 421-438. ISSN 0302-9743.
Jazyk publikace:angličtina
Název publikace:An Executable Sequential Specification for Spark Aggregation
Název (cs):Spustitelná sekvenční specifikace pro agregaci v prostředí Spark
Strany:421-438
Sborník:Proceedings of NETYS'17
Konference:The 5th international conference on networked systems
Místo vydání:Heidelberg, DE
Rok:2017
Časopis:Lecture Notes in Computer Science, č. 10299, DE
ISSN:0302-9743
DOI:10.1007/978-3-319-59647-1_31
Vydavatel:Springer Verlag
Klíčová slova

Data Parallel Computation, Functional Specification, Requirements, Verification, Spark
Anotace
Tato předkládaná práce zkoumá důležitý problém deterministické agregace v distribuovaném prostředí Spark.
BibTeX:
@INPROCEEDINGS{
   author = {Chih-Duo Hong and Yu-Fang Chen and Ond{\v{r}}ej
	Leng{\'{a}}l and Shin-Cheng Mu and Nishant Sinha
	and Bow-Yaw Wang},
   title = {An Executable Sequential Specification for Spark
	Aggregation},
   pages = {421--438},
   booktitle = {Proceedings of NETYS'17},
   journal = {Lecture Notes in Computer Science},
 number = 10299,
   year = 2017,
   location = {Heidelberg, DE},
   publisher = {Springer Verlag},
   ISSN = {0302-9743},
   doi = {10.1007/978-3-319-59647-1_31},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php.cs?id=11330}
}

Vaše IPv4 adresa: 35.175.200.4