Publication Details
An Executable Sequential Specification for Spark Aggregation
HONG Chih-Duo, CHEN Yu-Fang, LENGÁL Ondřej, MU Shin-Cheng, SINHA Nishant and WANG Bow-Yaw. An Executable Sequential Specification for Spark Aggregation. Ithaca, 2017. Available from: https://arxiv.org/abs/1702.02439
Type
technical report
Language
english
Authors
Hong Chih-Duo (ASIN)
Chen Yu-Fang (ASIN)
Lengál Ondřej, Ing., Ph.D. (DITS FIT BUT)
Mu Shin-Cheng (ASIN)
Sinha Nishant (IBM)
Wang Bow-Yaw (ASIN)
Chen Yu-Fang (ASIN)
Lengál Ondřej, Ing., Ph.D. (DITS FIT BUT)
Mu Shin-Cheng (ASIN)
Sinha Nishant (IBM)
Wang Bow-Yaw (ASIN)
URL
Published
2017
Pages
32
Place
Ithaca, US
BibTeX
@TECHREPORT{FITPUB11335, 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 = 32, year = 2017, location = "Ithaca, US", language = "english", url = "https://www.fit.vut.cz/research/publication/11335" }