-
1.METHODS AND SYSTEMS TO IDENTIFY AND REPRODUCE CONCURRENCY VIOLATIONS IN MULTI-THREADED PROGRAMS 审中-公开
Title translation: 方法和系统用于在多线程程序识别和回放竞争的交通违法行为公开(公告)号:EP2795466A4
公开(公告)日:2015-09-23
申请号:EP11878226
申请日:2011-12-21
Applicant: INTEL CORP
Inventor: GOTTSCHLICH JUSTIN , POKAM GILLES , PEREIRA CRISTIANO , HA JUNGWOO
CPC classification number: G06F11/3632 , G06F9/3851 , G06F9/3861 , G06F9/4881 , G06F11/3644 , G06F11/3648 , G06F11/366