• Paramils

  • Referenced in 86 articles [sw00678]
  • describe the results of a comprehensive experimental evaluation of our methods, based on the configuration...
  • DIRECT

  • Referenced in 65 articles [sw03054]
  • several key sources of inefficiency, and experimentally evaluate a number of improvements in the latest...
  • SURF

  • Referenced in 183 articles [sw29761]
  • steps. The paper presents experimental results on a standard evaluation set, as well...
  • PHAT

  • Referenced in 39 articles [sw08780]
  • efficient manipulations. We show in experimental evaluations that the choice of a suitable representation...
  • Quaffle

  • Referenced in 66 articles [sw07278]
  • Quaffle: Quantified Boolean Formula Evaluator with Learning Quaffle is an experimental QBF solver. The idea ... each file. The code is experimental and for algorithm evaluation only. It should compile under...
  • Maude-NPA

  • Referenced in 33 articles [sw12159]
  • also provide completeness proofs, and experimental evaluations of their effect on the performance of Maude...
  • TSFC

  • Referenced in 24 articles [sw20272]
  • also efficiently traverses complicated expressions, and experimental evaluation demonstrates good compile-time performance even...
  • Krimp

  • Referenced in 19 articles [sw28422]
  • task we introduce the Krimp algorithm. Experimental evaluation shows that typically only hundreds of itemsets...
  • SeaHorn

  • Referenced in 19 articles [sw18274]
  • SeaHorn are demonstrated by an extensive experimental evaluation using benchmarks from SV-COMP...
  • semprop

  • Referenced in 18 articles [sw28383]
  • give the results of an experimental evaluation of the system on a number of practical...
  • CAQE

  • Referenced in 16 articles [sw25922]
  • solver called CAQE. The experimental evaluation shows that CAQE has competitive performance compared to current...
  • HordeSat

  • Referenced in 14 articles [sw16712]
  • interleaved communication and search. par We experimentally evaluated it using all the benchmark problems from...
  • CONTSID

  • Referenced in 36 articles [sw14945]
  • user with a platform for testing and evaluating these data-based modelling techniques. The CONTSID ... lets the user analyse the experimental data, identify and evaluate models in an easy...
  • GPUVerify

  • Referenced in 11 articles [sw11260]
  • method in the GPUVerify tool and experimentally evaluated it by comparing the tool with...
  • GeneRank

  • Referenced in 17 articles [sw27064]
  • algorithm provides an alternative method of evaluating microarray experimental results which combines prior knowledge about...
  • Proteus

  • Referenced in 10 articles [sw10080]
  • corresponding SAT solver. Our experimental evaluation used an instance of Proteus that involved four...
  • PlanMine

  • Referenced in 9 articles [sw01592]
  • real-world planning systems. We experimentally evaluate the rules discovered by PlanMine, and show that...
  • PowerGraph

  • Referenced in 9 articles [sw17478]
  • provide a detailed analysis and experimental evaluation comparing PowerGraph to two popular graph-parallel systems...
  • htd

  • Referenced in 9 articles [sw21112]
  • specifics of htd together with an experimental evaluation underlining the effectiveness and efficiency...
  • SE-Sync

  • Referenced in 9 articles [sw40678]
  • produce our algorithm, SE-Sync. Experimental evaluation on a variety of simulated and real-world...