| Document Date: 2013-01-24 18:23:37 Open Document File Size: 675,74 KBShare Result on Facebook
City Houston / / Company MySQL / Google / ConAir / / Country United States / / Currency USD / / / Event Force Majeure / / Facility Different checkpoint / checkpoint Thread / University of Wisconsin / / IndustryTerm potential segmentation fault failure site / potential segmentation-fault site / potential failure site / software semantics / multi-threaded software / call site / likely-invariant inference tools / backward depth-first search / possible software failures / potential site / failure site / open-source applications / recoverable failure site / above algorithm / potential deadlock site / production-run software / deployed software / / OperatingSystem Linux / / Organization University of Wisconsin / / Position driver / programmer / / Product ConAir / / ProgrammingLanguage V / R / C / C++ / / ProvinceOrState Texas / / Technology above algorithm / Linux / 2.2 Algorithm / operating systems / /
SocialTag |