| Document Date: 2012-04-01 10:27:41 Open Document File Size: 507,69 KBShare Result on Facebook
City Beijing / Ms .w / / Company Red Hat / GPU / Ge / Intel / / Country China / / Currency USD / / / IndustryTerm precise datarace detection algorithm / dynamic analysis algorithm / race detection algorithms / race detection algorithm / state-of-the art parallel race detection algorithm / sequential algorithm / detection algorithm / / MarketIndex set 15 / / OperatingSystem Red Hat Linux / / Organization Rice University / Technion / / Person Martin Vechev Eran Yahav / F . Otherwise / Leslie Lamport / Achild / Fn / Nlca / Raman Jisheng Zhao Vivek Sarkar / / Position writer / workstealing scheduler / General / programmer / / Product compareAndSet / Linux / 16way system / 16way / / ProgrammingLanguage Cilk / Java / C++ / / Technology precise datarace detection algorithm / SPbags algorithm / three algorithms / sequential algorithm / Fourier coefficient analysis LU Factorisation Successive over-relaxation IDEA encryption / 4.1 Shadow Memory Our algorithm / sequential All-Sets algorithm / 11 end Algorithms / state-of-the art parallel race detection algorithm / Java / DMHP algorithm / Linux / SP-hybrid algorithm / ESP-bags algorithm / 4.2 Algorithm / ESP-bags algorithms / SPD3 algorithms / dynamic analysis algorithm / simulation / race detection algorithm / shared memory / discovering analysis algorithms / detection algorithm / race detection algorithms / SP-bags algorithm / /
SocialTag |