View Document Preview and Link
Document Date: 2011-10-04 10:24:34 Open Document File Size: 294,98 KB Share Result on Facebook
City Austin / New Orleans / Atlanta / Diego / Jersey City / San Diego / / Company IBM / Application-Based Systems / Hertz / Embedded Systems / R. A. Trading / Yuasa / / Country United States / / Currency USD / / Event Company Expansion / Reorganization / / Facility Salzburg Carnegie Mellon University University of Cambridge ABSTRACT / ANALYSIS AND VISUALIZATION Complex / / IndustryTerm software system / real-time system / hard-real-time systems / realtime systems / stock hardware / correct algorithms / correct concurrent algorithms / real-time programming methodologies / storage management / real-time guarantee / real-time garbage collector / snapshot-atthe-beginning algorithm / virtual machine product / online analysis / correct real-time garbage collector / stack processing / software components / real-time collection / real-time garbage collection / snapshot algorithms / real-time sys / provable algorithm / finalizer processing / real-time guarantees / ultimate algorithm / soft-real-time systems / real-time programming / atomic root processing / server-class systems / software increases / trace visualization tool / telecommunications / non-real-time portions / snapshot-at-the-beginning algorithm / realtime software / buffer processing / wait-free algorithm / Work-based algorithms / software sound generators / incremental and concurrent algorithms / trusted computing base / incrementalupdate algorithms / software engineering mean / real-time systems / off-line statistical analysis tools / real-time concurrent garbage collector / / OperatingSystem Fork / / Organization Carnegie Mellon University University / Universitat / / Person Mark Stoodley / Bob Blainey / Pat Dubroy / Rajan / V / Tom Henzinger / Martin T. Vechev Universita / T. Rajan Eran Yahav / En-Kuang Lung / Greg Porpora / Christoph M. Kirsch Daniel Spoonhower Martin / Matthias Hauswirth Christoph / Mike Fulton / / Position provably correct real-time garbage collector / specialized garbage collector / collector / real-time garbage collector for Java / real-time concurrent garbage collector / allocation rate Collector / Provable Real-time Bounds Our collector / producer / pure copying collector / Time-Based Scheduling Our collector / designer / garbage collector / Read Barrier Our collector / METRONOME COLLECTOR / underlying scheduler / systems and embedded systems General / real-time collector / incremental collector / scheduler / real-time garbage collector / programmer / single collector / / ProgrammingLanguage Java / Lisp / Erlang / R / / ProvinceOrState Texas / New Jersey / Louisiana / Utah / California / Georgia / / TVStation WCET / / Technology Java system / Functional Programming / virtual machine / correct concurrent algorithms / correct algorithms / ultimate algorithm / wait-free algorithm / previous algorithms / Work-based algorithms / 1 GHz processor / Metronome algorithm / operating system / Operating Systems / snapshot-atthe-beginning algorithm / one processor / load balancing / Java / incrementalupdate algorithms / last processor / incremental and concurrent algorithms / one algorithm / snapshot-at-the-beginning algorithm / snapshot algorithms / / SocialTag