2 papers
cs.OS2018
A Spin-based model checking for the simple concurrent program on a preemptive RTOS
Chen-Kai Lin, Ching-Chun, Huang +1
We adapt an existing preemptive scheduling model of RTOS kernel by eChronos from machine-assisted proof to Spin-based model checker. The model we constructed can be automatically v…
cs.DC2017
An Executable Sequential Specification for Spark Aggregation
Yu-Fang Chen, Chih-Duo Hong, Ondřej Lengál +3
Spark is a new promising platform for scalable data-parallel computation. It provides several high-level application programming interfaces (APIs) to perform parallel data aggregat…