Detail publikace

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. In Proceedings of NETYS'17. Lecture Notes in Computer Science. Heidelberg: Springer Verlag, 2017. p. 421-438. ISSN: 0302-9743.
Název česky
Spustitelná sekvenční specifikace pro agregaci v prostředí Spark
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Lengál Ondřej, Ing., Ph.D. (UITS)
Hong Chih-Duo
Chen Yu-Fang
Mu Shin-Cheng (FIT)
Sinha Nishant (FIT)
Wang Bow-Yaw (FIT)
Klíčová slova

Data Parallel Computation, Functional Specification, Requirements, Verification, Spark

Abstrakt

Tato předkládaná práce zkoumá důležitý problém deterministické agregace v distribuovaném prostředí Spark.

Rok
2017
Strany
421–438
Časopis
Lecture Notes in Computer Science, č. 10299, ISSN 0302-9743
Sborník
Proceedings of NETYS'17
Konference
The 5th international conference on networked systems, Marrakech, MA
Vydavatel
Springer Verlag
Místo
Heidelberg
DOI
10.1007/978-3-319-59647-1_31
EID Scopus
2-s2.0-85019719038
BibTeX 
@inproceedings{BUT146257,
  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",
  booktitle="Proceedings of NETYS'17",
  year="2017",
  journal="Lecture Notes in Computer Science",
  number="10299",
  pages="421--438",
  publisher="Springer Verlag",
  address="Heidelberg",
  doi="10.1007/978-3-319-59647-1\{_}31",
  issn="0302-9743",
  url="https://www.fit.vut.cz/research/publication/11330/"
}
Nahoru