Author of the publication

Detecting harmful data races through parallel verification.

, , , , and . The Journal of Supercomputing, 71 (8): 2922-2943 (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

An Invariant Method of Fundamental Solutions for the Cauchy Problem in Two-Dimensional Isotropic Linear Elasticity., , and . J. Sci. Comput., 64 (1): 197-215 (2015)Evaluating OR/MS Journals via PageRank., , , and . Interfaces, 41 (4): 375-388 (2011)A critical-shaking neighborhood search for the yard allocation problem., and . European Journal of Operational Research, 174 (2): 1247-1259 (2006)The freight allocation problem with lane cost balancing constraint., , and . European Journal of Operational Research, 217 (1): 26-35 (2012)Effective algorithms of the Moore-Penrose inverse matrices for extreme learning machine., , , and . Intell. Data Anal., 19 (4): 743-760 (2015)Transportation Procurement with Seasonally Varying Shipper Demand and Volume Guarantees., , and . Operations Research, 56 (3): 758-771 (2008)Collaborative Technique for Concurrency Bug Detection., , , and . International Journal of Parallel Programming, 43 (2): 260-285 (2015)Fault-Tolerant Dynamic Rescheduling for Heterogeneous Computing Systems., , , and . J. Grid Comput., 13 (4): 507-525 (2015)Peer selection in mobile P2P networks based on AHP and GRA., , , , and . ICON, page 179-184. IEEE, (2012)Random Move Tabu Search for Freight Proportion Allocation Problem., , , and . ICTAI (2), page 307-314. IEEE Computer Society, (2008)978-0-7695-3440-4.