Result Details
An Executable Sequential Specification for Spark Aggregation
LENGÁL, O.; HONG, C.; CHEN, Y.; MU, S.; SINHA, N.; WANG, B. An Executable Sequential Specification for Spark Aggregation. Ithaca: 2017. 32 p.
Type
report
Language
English
Authors
Lengál Ondřej, doc. Ing., Ph.D., DITS (FIT)
Hong Chih-Duo
Chen Yu-Fang
Mu Shin-Cheng
Sinha Nishant
Wang Bow-Yaw, FIT (FIT)
Hong Chih-Duo
Chen Yu-Fang
Mu Shin-Cheng
Sinha Nishant
Wang Bow-Yaw, FIT (FIT)
URL
Published
2017
Pages
32
Place
Ithaca
BibTeX
@misc{BUT169471,
author="Ondřej {Lengál} and Chih-Duo {Hong} and Yu-Fang {Chen} and Shin-Cheng {Mu} and Nishant {Sinha} and Bow-Yaw {Wang}",
title="An Executable Sequential Specification for Spark Aggregation",
year="2017",
pages="32",
address="Ithaca",
url="https://arxiv.org/abs/1702.02439"
}
Files
Projects
Bezpečné a spolehlivé počítačové systémy, BUT, Vnitřní projekty VUT, FIT-S-17-4014, start: 2017-03-01, end: 2020-02-29, completed
IT4Innovations excellence in science, MŠMT, Národní program udržitelnosti II, LQ1602, start: 2016-01-01, end: 2020-12-31, completed
ROBUST - veRificatiOn and Bug hUnting for advanced SofTware, GACR, Standardní projekty, GA17-12465S, start: 2017-01-01, end: 2019-12-31, completed
IT4Innovations excellence in science, MŠMT, Národní program udržitelnosti II, LQ1602, start: 2016-01-01, end: 2020-12-31, completed
ROBUST - veRificatiOn and Bug hUnting for advanced SofTware, GACR, Standardní projekty, GA17-12465S, start: 2017-01-01, end: 2019-12-31, completed
Research groups
Departments