View Document Preview and Link Document Date: 2013-04-15 04:52:48 Open Document File Size: 189,53 KB Share Result on Facebook
City San Francisco / Stoller / New York / / Company IBM / McDermott / Microsoft / / Country United States / Canada / / / Facility University of Toronto / Java library / / IndustryTerm software engineering / heuristic search / multicore hardware / translation tool / Much state-of-the-art technology / concurrent software / heuristic-search / plan generation algorithms / concurrency testing tool / automated testing tools / heuristic search algorithm / search algorithm / / Organization University of Toronto / Toronto / Association for the Advancement of Artificial Copyright / Yale Center for Computational Vision and Control / Natural Sciences and Engineering Research Council of Canada / Planning Niloofar Razavi Azadeh Farzan Sheila A. McIlraith Department of Computer Science / / Person Sheila A. McIlraith / Coupledr / Morgan Kaufmann / Azadeh Farzan Sheila / / Position tool CT RIGGER / translator / SAT-based planner / heuristic search planner / FF planner / scheduler / particular heuristic-search planner / planner / / Product FF / Fast Forward ( FF) (Hoffmann 2001) / Fast Forward (FF) (Hoffmann 2001) / / ProgrammingLanguage Java / / ProvinceOrState South Dakota / New York / / PublishedMedium Fast Forward / IEEE Transactions on Software Engineering / / Technology Object-oriented Programming / artificial intelligence / FF heuristic search algorithm / search algorithm / Java / plan generation algorithms / Operating Systems / / URL www.aaai.org / http / SocialTag 
Predicting Atomicity Violations in Concurrent Programs via Planning Niloofar Razavi Azadeh Farzan Sheila A. McIlraith