Scalable Parallelization of Specification Mining using Distributed Computing
Mining specifications from logs of execution traces has attracted much research effort in recent years since the mined specifications, such as program invariants, temporal rules, association patterns, or various behavioral models, may be used to improve program documentation, comprehension, and veri...
Saved in:
Main Authors: | WANG, Shaowei, David LO, JIANG, Lingxiao, Maoz, Shahar, Budi, Aditya |
---|---|
格式: | text |
語言: | English |
出版: |
Institutional Knowledge at Singapore Management University
2015
|
主題: | |
在線閱讀: | https://ink.library.smu.edu.sg/sis_research/2831 |
標簽: |
添加標簽
沒有標簽, 成為第一個標記此記錄!
|
相似書籍
-
Distributed data management using mapreduce
由: Li, F., et al.
出版: (2014) -
Systems and Networking
由: HOU SONG
出版: (2011) -
Scalable Data Analysis on MapReduce-based Systems
由: WANG ZHENGKUI
出版: (2013) -
Dynamic Job Ordering and Slot Configurations for MapReduce Workloads
由: Tang, Shanjiang, et al.
出版: (2016) -
COSAC: A framework for combinatorial statistical analysis on cloud
由: Wang, Z., et al.
出版: (2014)