Přístupnostní navigace
E-application
Search Search Close
Publication detail
LENGÁL, O. HONG, C. CHEN, Y. MU, S. SINHA, N. WANG, B.
Original Title
An Executable Sequential Specification for Spark Aggregation
Type
report
Language
English
Authors
LENGÁL, O.; HONG, C.; CHEN, Y.; MU, S.; SINHA, N.; WANG, B.
Released
13. 2. 2017
Location
Ithaca
Pages count
32
URL
https://arxiv.org/abs/1702.02439
BibTex
@techreport{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", address="Ithaca", pages="32", url="https://arxiv.org/abs/1702.02439" }