View Document Preview and Link Document Date: 2013-05-12 14:32:05 Open Document File Size: 514,21 KB Share Result on Facebook
Company NEC / Sun Microsystems / NVIDIA / Oracle / Nokia / Samsung / Intel / Microsoft / / / Facility University of California / / IndustryTerm parallel search algorithm / combinatorial search problem / prototype tool / parallel applications / proposed inference algorithm / runtime conflict serializability checking algorithm / inference algorithm / manycore processors / runtime checking algorithm / above runtime conflict serializability checking algorithm / less optimal solutions / minimal such solution / final solution / parallel software / specification inference algorithm / sound algorithm / conflict-serializability algorithm / / Organization University of California / National Science Foundation / Par Lab / Parallelism Correctness Jacob Burnim Tayfun Elmas George Necula Koushik Sen EECS Department / Department of Defense / / Person Jacob Burnim Tayfun Elmas George / / Position author / representative / last author / programmer / / Product NDSeq / N D ETERMIN / Shure E2c Headphone/Headset / / ProgrammingLanguage Java / / Technology proposed inference algorithm / parallel search algorithm / specification inference algorithm / conflict-serializability algorithm / NDSeq specification inference algorithm / Java / manycore processors / sound algorithm / runtime checking algorithm / runtime conflict serializability checking algorithm / inference algorithm / above runtime conflict serializability checking algorithm / / URL http / SocialTag 
NDetermin: Inferring Nondeterministic Sequential Specifications for Parallelism Correctness Jacob Burnim Tayfun Elmas George Necula