Author of the publication

Identifying Repeated Interleavings to Improve the Efficiency of Concurrency Bug Detection.

, , and . ICA3PP (4), volume 9531 of Lecture Notes in Computer Science, page 175-188. Springer, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

RaceChecker: Efficient Identification of Harmful Data Races., , , , and . PDP, page 78-85. IEEE Computer Society, (2015)Iaso: an autonomous fault-tolerant management system for supercomputers., , , , , , , , and . Frontiers of Computer Science, 8 (3): 378-390 (2014)Self-Adaptive Power Management of Idle Nodes in Large Scale Systems., , , and . IJNGC, (2013)Dynamic Self-Adaptive Replica Location Method in Data Grids., , , , and . CLUSTER, page 442-445. IEEE Computer Society, (2003)Self-adaptive management of the sleep depths of idle nodes in large scale systems to balance between energy consumption and response times., , , and . CloudCom, page 633-639. IEEE Computer Society, (2012)Hierarchical Conflict Detection for Cluster's Transactional Memory., and . NCM, page 505-507. IEEE Computer Society, (2009)CPTIAS: a new fast PKI authentication scheme based on certificate path trust index., , and . J. Ambient Intelligence and Humanized Computing, 6 (6): 721-731 (2015)A cell state splitter and differentiation wave working-model for embryonic stem cell development and somatic cell epigenetic reprogramming., , and . Biosystems, 109 (3): 390-396 (2012)Understanding the Impact of BPRAM on Incremental Checkpoint., , , , and . IEICE Transactions, 96-D (3): 663-672 (2013)Theoretical Model for Estimating the Scaling Error of the Two-Band Ratio of Red to Near-Infrared in Inhomogeneous Pixels: Simulation Using a Moving Window., , and . IEEE J Sel. Topics in Appl. Earth Observ. and Remote Sensing, 4 (4): 877-881 (2011)