| Document Date: 2010-09-22 11:53:59
Open Document File Size: 161,25 KBShare Result on Facebook
City New York / Toronto / / Company IBM / JdbF / Red Hat / / Country United States / Canada / Australia / / Currency USD / / Facility University of New South Wales / JVMTI library / JdbF library / / IndustryTerm parallel algorithms / query evaluation algorithms / real world applications / machinery / ownership type systems / realistic applications / software systems / multicore systems / real-world applications / heap probe algorithm / software quality tasks / search/index methods / real world software / correct and efficient sequential algorithm / heap traversal machinery / heap probe algorithms / computing / parallel algorithm / garbage collection algorithms / realworld applications / online memory leak detection / / NaturalFeature J. Islands / / OperatingSystem Red Hat Linux / VMs / / Organization Univ. of Copenhagen / University of New South Wales / U.S. Securities and Exchange Commission / / Person VAN D RUNEN / Bard Bloom / Eran Yahav Greta Yorsh / B OND / S ARASWAT / V / G ANAPATHY / V / Martin Vechev Eran Yahav Greta / / Position underlying collector / Assertion checkers General / collector / guard / Manager / parallel evaluator / underlying parallel garbage collector / garbage collector / evaluator / parallel garbage collector / tracing garbage collector / normal collector / programmer / / Product DaCapo benchmark suite / Linux / DaCapo / / ProgrammingLanguage Java / C / L / / ProvinceOrState New South Wales / Ontario / / PublishedMedium the PHALANX / / Region South Wales / / Technology virtual machine / Heap Query Evaluation Our parallel algorithms / query evaluation algorithms / 3-D / relational database / Linux / parallel algorithm / heap probe algorithms / parallel algorithms / Portability Our algorithms / load balancing / Java / heap probe algorithm / garbage collection algorithms / dom / animation / GUI / Production Virtual Machine Our algorithms / /
SocialTag |
PHALANX : Parallel Checking of Expressive Heap Assertions Martin Vechev