![Parallel computing / Cilk / Task parallelism / OpenMP / X10 / Programming language / Ada / Unified Parallel C / C / Computing / Computer programming / Software engineering Parallel computing / Cilk / Task parallelism / OpenMP / X10 / Programming language / Ada / Unified Parallel C / C / Computing / Computer programming / Software engineering](https://www.pdfsearch.io/img/84f70539605cf7127dabf9d12b0bd10f.jpg)
| Document Date: 2011-01-15 11:59:59 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 |