| Document Date: 2011-10-04 10:24:16
Open Document File Size: 238,59 KBShare Result on Facebook
City Snapshot / Ottawa / / Company IBM / Yuasa / / Country Canada / / Currency USD / / / IndustryTerm correct algorithms / parametric concurrent collection algorithm / correct concurrent algorithms / software infrastructure / multiprocessor reference counting algorithm / incorrect algorithm / real-time applications / parametric algorithm / abstract algorithm / concurrent collection algorithms / generic algorithm / correct marking algorithm / classical algorithms / abstract algorithms / uni-processor / base algorithm / pure rescanning algorithm / concurrent algorithms / atomic processing / unknown algorithms / derived algorithms / correct algorithm / parametric collection algorithm / correct concurrent garbage collection algorithms / sensor applications / potential algorithms / garbage-collection algorithms / online supplement / incremental and concurrent algorithms / trusted computing base / target systems / abstract concurrent garbage collection algorithm / less precise algorithm / tion algorithms / collection algorithms / collection algorithm / precise algorithm / parametric framework constructing new algorithms / / Organization IS / Cambridge University / U.S. Securities and Exchange Commission / / Person Ai / David F. Bacon / Where / Martin T. Vechev Eran Yahav David / / Position collector / parametric collector / hardware-assisted collector / abstract collector / snapshot-based collector / General / copying garbage collector / Parametric Mark-and-Sweep Collector / Parametric Concurrent Collector / designer / Steele-YC collector / rescanning collector / mutator/collector / multiprocessor collector / concurrent collector / Apex collector / parametric concurrent markand-sweep collector / counting-based collector / Steele-style collector / / Product M-16 / / ProgrammingLanguage Java / ML / / ProvinceOrState C2 / Ontario / / Technology 6.1 Classical Algorithms / virtual machine / correct algorithm / parametric collection algorithm / correct concurrent algorithms / base algorithm / classical algorithms / correct algorithms / less precise algorithm / known algorithms / Dijkstra-style algorithm / transformed algorithm / Dijkstra-BC algorithm / newly derived algorithms / generic algorithm / abstract algorithm / Apex algorithm / garbage-collection algorithms / Steele-BC algorithm / correct marking algorithm / correct concurrent garbage collection algorithms / pre-existing algorithms / previously unknown algorithms / snapshot-based algorithm / concurrent collection algorithms / resulting algorithms / two algorithms / presented algorithm / parametric algorithm / two collection algorithms / Apex Algorithm The Apex algorithm / incorrect algorithm / resulting algorithm / Steele-D algorithm / Steele algorithm / pure rescanning algorithm / Java / three existing algorithms / collection algorithm / derived algorithms / incremental and concurrent algorithms / existing algorithms / one algorithm / multiprocessor reference counting algorithm / collection algorithms / tion algorithms / instantiated algorithms / abstract concurrent garbage collection algorithm / Steele-style algorithm / Steele-like algorithm / parametric concurrent collection algorithm / on unifying the various collection algorithms / /
SocialTag |
Correctness-Preserving Derivation of Concurrent Garbage Collection Algorithms Martin T. Vechev Eran Yahav