An Executable Sequential Specification for Spark Aggregation.
Yu-Fang ChenChih-Duo HongOndrej LengálShin-Cheng MuNishant SinhaBow-Yaw WangPublished in: CoRR (2017)
Keyphrases
- formal specification
- process algebra
- attribute grammars
- high level
- control flow
- specification language
- data aggregation
- neural network
- sequential search
- aggregation operators
- multi dimensional
- formal methods
- conceptual model
- software engineering
- case study
- formal verification
- formal language
- reactive systems
- feature selection
- artificial intelligence
- data sets