| Document Date: 2011-10-04 10:22:58 Open Document File Size: 279,51 KBShare Result on Facebook
Company IBM / / / IndustryTerm mainstream software development / sizeable applications / dynamic analysis tool / detection algorithm / dynamic analysis algorithm / multi-core processors / / Organization Rice University / / Person Martin Vechev Eran Yahav / Raman Jisheng Zhao Vivek Sarkar / / Position candidate for runtime verification / programmer / / ProgrammingLanguage Cilk / C / Java / C++ / / Technology dynamic analysis algorithm / classical SP-bags algorithm / Java / detection algorithm / SP-bags algorithm / /
SocialTag |