| Document Date: 2013-05-12 14:18:02 Open Document File Size: 361,53 KBShare Result on Facebook
City Newport Beach / / Company Oracle / Linearizable / / Country United States / / Currency USD / / / Facility Multithreaded Programs Jacob Burnim George Necula Koushik Sen University of California / / IndustryTerm larger applications / online errata / multicore processors / parallel applications / well-tested and widely-used software / bank account / concurrent applications / parallel branchand-bound search / depth-first search / parallel branch-and-bound search / verification tools / parallel software / search space / exhaustive search / branch-and-bound search / transactional memory hardware / / Organization University of California / Berkeley / / Person Scott / Michael / George Necula Koushik / / / Position author / parallel head / systematic random scheduler / thread scheduler / scheduler / General / head / judge / programmer / / Product CalFuzzer / / ProgrammingLanguage Java / Java bytecode / / ProvinceOrState California / / RadioStation Core / / Technology Java / API / schedule Algorithm / ATM / checking algorithm / multicore processors / html / shared memory / Terms Algorithms / / URL http /
SocialTag |