| Document Date: 2008-05-01 19:00:48
Open Document File Size: 228,63 KBShare Result on Facebook
City Tucson / New York / / Company Intel / / Country United States / / Currency USD / / / Facility C Library / OpenSSL library / University of California / / IndustryTerm echo server / legacy software / multimedia software / lockset algorithm / web browser / x86 family processors / dynamic race detection algorithm / data sharing protocol / concurrent reference counting algorithm / external tool / block-based bzip2 compression algorithm / mainstream processors / call site / search files / lock-free algorithm / post-processing / real world software / simpler algorithm / dynamic race detection tools / dynamic lockset algorithm / / OperatingSystem Linux / / Organization University of California / Berkeley / EECS Department / / Person Zachary Anderson David Gay / / Position locked qualifier / reference-counting garbage collector for Java / collector / qualifier / private qualifier / C programmer / General / producer / dynamic qualifier / author / existing const qualifier / racy qualifier / writer / formal model for SharC / scheduler / Private / outermost qualifier / Locksmith / programmer / / Product SharC / / ProgrammingLanguage Cilk / Java / R / C / L / J / / ProvinceOrState California / Arizona / / RadioStation Core / / Technology concurrent reference counting algorithm / lock-free algorithm / Xeon processor / lockset algorithm / Linux / API / x86 family processors / data sharing protocol / operating system / encryption / block-based bzip2 compression algorithm / DNS / Java / dynamic race detection algorithm / simpler algorithm / Dom / dynamic lockset algorithm / mainstream processors / / URL http /
SocialTag |
SharC: Checking Data Sharing Strategies for Multithreaded C Zachary Anderson David Gay † University of California, Berkeley