Predictive analysis for detecting serializability violations through Trace Segmentation - Sinha, A.; Malik, S.; Chao Wang; Gupta, A. (2011 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, 2011)
Keywords: Image edge detection; Indexes; Instruction sets; Java; Predictive models; Synchronization; Systematics