| Document Date: 2011-10-04 10:24:18
Open Document File Size: 329,00 KBShare Result on Facebook
City Counting / San Diego / / Company IBM / Yuasa / / Country United States / / Currency USD / / Facility Building Blocks / / IndustryTerm constrained algorithm / model-checking algorithm / search proceeds / correct algorithms / parametric concurrent collection algorithm / atomic algorithms / mark-and-sweep algorithms / nonatomic algorithms / search technique / search procedure / sweep collection algorithms / abstract algorithms / concurrent garbage collection algorithms / search algorithm / fine-grained synchronization algorithms / mutual exclusion algorithms / figures presenting algorithms / least atomic correct algorithms / correct and more lightweight algorithms / concurrent algorithms / correct algorithm / possible correct solutions / parametric collection algorithm / correct collection algorithms / non-trivial solutions / stopthe-world algorithm / coarse-grained atomic algorithm / collector algorithms / multi-mutator systems / least atomic algorithm / least atomic algorithms / garbage collection algorithms / search procedure looks / stopthe-world algorithms / search space / symbolic algorithm / collection algorithms / collection algorithm / less atomic algorithms / / OperatingSystem Linux / / Organization Cambridge University / U.S. Securities and Exchange Commission / Tel Aviv University / / Person Eran Yahav / Noam Rinetzky / Martin T. Vechev / David F. Bacon / / Position Atomic log-free mark-and-sweep collector / BB# C1 C2 C3 C4 BB# M1 M2 M3 M4 M5 M6 Collector / collector / Log-based Parametric Collector / General / non-atomic collector / 5C Collector / algorithm designer / author / 6E Collector / copying garbage collector / designer / parametric concurrent markand-sweep collector / counting-based collector / single collector / / Product M-16 / / ProgrammingLanguage SETL / Java / / ProvinceOrState California / / SportsEvent SKL / / Technology correct algorithm / 3.8 Ghz Xeon processor / mark-and-sweep algorithms / parametric collection algorithm / abstract algorithms / search algorithm / two nonatomic algorithms / sweep collection algorithms / coarse-grained algorithm / Linux / two least atomic correct algorithms / log-based parametric Mark-and-Sweep algorithm / correct collection algorithms / provably correct collection algorithms / 000 algorithms / six correct algorithms / discovered algorithms / Dijkstra algorithm / mutual exclusion algorithms / coarse-grained atomic algorithm / 2.1 Log-based Concurrent Collectors The algorithm / symbolic algorithm / resulting algorithm / Java / lightweight algorithms / Discovering Algorithms / concurrent garbage collection algorithms / garbage collection algorithms / least atomic correct algorithms / collection algorithm / collection algorithms / less atomic algorithms / least atomic algorithm / second algorithm / counting-based algorithms / two collector algorithms / same algorithm / model-checking algorithm / parametric concurrent collection algorithm / log-based algorithm / four algorithms / two least atomic algorithms / fine-grained synchronization algorithms / figures presenting algorithms / /
SocialTag |
CGCExplorer: A Semi-Automated Search Procedure for Provably Correct Concurrent Collectors Martin T. Vechev Cambridge University Eran Yahav