• CPAchecker

  • Referenced in 54 articles [sw07408]
  • explicit-state analysis and predicate analysis. (Competition contribution). CPAchecker is an open-source framework ... based on the concepts of configurable program analysis (CPA). We submit a CPAchecker configuration that...
  • DLV2

  • Referenced in 22 articles [sw33094]
  • capabilities. An empirical analysis conducted on benchmarks from past ASP competitions shows that DLV2 outperforms...
  • flexclust

  • Referenced in 27 articles [sw04583]
  • analysis supporting arbitrary distance measures and centroid computation. Further cluster methods include hard competitive learning ... centroids, ...), and bootstrap methods for the analysis of cluster stability...
  • Velodrome

  • Referenced in 5 articles [sw08925]
  • performance and coverage of our analysis is competitive with earlier incomplete dynamic analyses for atomicity...
  • SWIFFT

  • Referenced in 48 articles [sw11588]
  • confusion.” We provide a detailed security analysis of concrete instantiations, and give a high-performance ... algorithm. The throughput of our implementation is competitive with that of SHA-256, with additional...
  • SingleTrack

  • Referenced in 7 articles [sw09883]
  • prototype implementation of this analysis. SingleTrack’s performance is competitive with prior atomicity checkers...
  • List Update Algorithms

  • Referenced in 1 article [sw28789]
  • analysis of a number of classical algorithms for the list update problem: 2-competitiveness ... chapters of Online Computation and Competitive Analysis by Borodin and El-Yaniv. For an informal...
  • MPA

  • Referenced in 5 articles [sw41899]
  • winners of CEC 2017 competition. The statistical post hoc analysis revealed that...
  • nuXmv

  • Referenced in 28 articles [sw18526]
  • optimized in terms of performance to be competitive with the state of the art. nuXmv ... several extensions to cope with requirements analysis, contract based design, model checking of hybrid systems...
  • CAMERA

  • Referenced in 6 articles [sw30339]
  • gene correlation. Competitive gene set tests are commonly used in molecular pathway analysis to test...
  • STAN

  • Referenced in 38 articles [sw03348]
  • Graphplan, competed in the first international planning competition at AIPS’98 and demonstrated interesting performance ... also always exploited a parallel domain analysis system, TIM, which can be used...
  • SensoMineR

  • Referenced in 4 articles [sw11608]
  • Data Analysis. Sensory analysis is both a very lively and competitive field as can testify...
  • QuickHeapsort

  • Referenced in 11 articles [sw20695]
  • analysis of the partition-phases and the analysis of the heap-phases. This enables ... Moreover, the computer experiments establish QuickHeapsort as competitive with Quicksort in terms of running time...
  • friedsIndex

  • Referenced in 1 article [sw26675]
  • friedsIndex: Statistical Analysis of Insect Mating Competitiveness Experiments. friedsIndex is an R package providing...
  • PyLUSAT

  • Referenced in 1 article [sw39355]
  • process of suitability analysis. All these properties make PyLUSAT a competitive alternative solution for urban...
  • AREA

  • Referenced in 2 articles [sw37938]
  • extensive sensitivity analysis demonstrate that the proposed algorithm is competitive and robust across different types...
  • ForwardDiff

  • Referenced in 19 articles [sw16106]
  • forward-mode automatic differentiation (AD) featuring performance competitive with low-level languages like C++. Unlike ... fields such as astronomy, optimization, finite element analysis, and statistics. This document is an extended...
  • VULCAN

  • Referenced in 1 article [sw07801]
  • foundry analysis. Because of the great pressure provoked by today’s global competition and demand ... competitive environment? Only computer simulations, by defining a digital model where to perform analysis, before...
  • ROSEFW-RF

  • Referenced in 3 articles [sw23974]
  • analyze the decisions made during the competition showing an extensive experimental study that characterize ... working of our methodology. From this analysis we can conclude that this approach is very...
  • Ultimate Automizer

  • Referenced in 4 articles [sw07407]
  • Ultimate automizer with smtinterpol. (Competition contribution) Ultimate automizer is an automatic software verification tool ... uses nested interpolants in its interprocedural program analysis. The interpolating SMT solver SMTInterpol is used...