Results 1 to 20 of 744
Sort by:

  • 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...