| Document Date: 2014-07-05 17:14:07 Open Document File Size: 310,75 KBShare Result on Facebook
City Charlottesville / / Company Intel / / / Facility United Kingdom j.petke@ucl.ac.uk University of Virginia / University College London / / IndustryTerm software system / post-processing step / search space exploration / main solving algorithm / larger real world systems / greedy algorithm / main solver algorithm / multidonor software transplantation / software correctness / software behaviour / code bank / search space / software testing / software transplantation / improved software / / MarketIndex case 20 / CIT / case 100 / / Organization University of Virginia / University College London / London / / Product MiniSAT / / ProgrammingLanguage C++ / / ProvinceOrState Virginia / / Technology RAM / main solving algorithm / 2 Duo processor / greedy algorithm / transplantation / main solver algorithm / / URL http /
SocialTag |