| Document Date: 2006-01-23 21:06:46
Open Document File Size: 284,94 KBShare Result on Facebook
City Snapshot / / Company IBM / Yuasa / / IndustryTerm particular collector algorithm / stop-the-world algorithm / correct algorithms / correct concurrent algorithms / software infrastructure / multiprocessor reference counting algorithm / parametric algorithm / abstract algorithm / concurrent collection algorithms / generic algorithm / correct marking algorithm / abstract algorithms / uni-processor / correct concurrent garbage collector algorithms / base algorithm / pure rescanning algorithm / correct initial algorithm / stop-the-world algorithms / unknown algorithms / atomic processing / derived algorithms / skeleton algorithm / correct algorithm / parametric collection algorithm / correct concurrent garbage collection algorithms / sensor applications / collector algorithms / potential algorithms / multi-mutator systems / garbage-collection algorithms / incremental and concurrent algorithms / online supplement / trusted computing base / formal systems / concurrent algorithm / abstract concurrent garbage collection algorithm / tion algorithms / collection algorithms / less precise algorithm / collection algorithm / precise algorithm / parametric framework constructing new algorithms / / Organization IS / Cambridge University / Ku Klux Klan / / Person Ai / Martin T. Vechev Eran Yahav David / David F. Bacon / Where / / Position collector / parametric collector / hardware-assisted collector / abstract collector / snapshot-based collector / copying garbage collector / Parametric Mark-and-Sweep Collector / Parametric Concurrent Collector / designer / Steele-YC collector / provably correct concurrent garbage 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 SETL / Java / ML / / ProvinceOrState C2 / / Technology virtual machine / correct algorithm / parametric collection algorithm / correct concurrent algorithms / base algorithm / correct algorithms / less precise algorithm / Dijkstra-style algorithm / transformed algorithm / Dijkstra-BC algorithm / newly derived algorithms / generic algorithm / skeleton 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 / particular collector algorithm / concurrent collection algorithms / resulting algorithms / two algorithms / presented algorithm / collector algorithms / parametric algorithm / two collection algorithms / correct concurrent garbage collector algorithms / resulting algorithm / Steele-D algorithm / 6.1 Existing Algorithms / 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 / on unifying the various collection algorithms / /
SocialTag |
Correctness-Preserving Derivation of Concurrent Garbage Collection Algorithms Martin T. Vechev Eran Yahav