• Coq/SSReflect

  • Referenced in 66 articles [sw09360]
  • which leverages the higher-order nature of Coq’s underlying logic to provide effective automation...
  • Condor-G

  • Referenced in 49 articles [sw09651]
  • exploited effectively in an aggregated form. We present the Condor-G system, which leverages software...
  • CONTRAlign

  • Referenced in 4 articles [sw08305]
  • rigorous cross-validated testing, CONTRAlign effectively leverages weak biological signals in sequence alignment: using CONTRAlign ... hand-tuned aligners are unable to exploit effectively. Furthermore, when known secondary structure and solvent...
  • PySP

  • Referenced in 18 articles [sw04921]
  • effective heuristic for obtaining approximate solutions to multi-stage stochastic programs. By leveraging the combination...
  • DynaMine

  • Referenced in 4 articles [sw33951]
  • mining and dynamic analysis techniques leveraged in DynaMine proves effective for both discovering new application...
  • pFaces

  • Referenced in 3 articles [sw30630]
  • performance computing platforms can be leveraged to mitigate the effects of the state-explosion problem...
  • FloatX

  • Referenced in 1 article [sw33682]
  • framework to investigate the effect of leveraging customized floating-point formats in numerical applications. FloatX...
  • Maxwell

  • Referenced in 5 articles [sw23881]
  • their effects on the drive circuit and control system design. By leveraging Maxwell’s advanced...
  • iBP

  • Referenced in 5 articles [sw30618]
  • leverages existing knowledge of protein structures in order to reduce the size of the effective...
  • COFFIN

  • Referenced in 8 articles [sw04881]
  • training strategy for linear SVMs that effectively allows the use of on demand computed kernel ... linear training and prediction effort this framework leverages SVM applications to truly large-scale problems...
  • SeaHorn

  • Referenced in 14 articles [sw18274]
  • allow different levels of precision, (c) leverages the state-of-the-art in software model ... experimenting with new software verification techniques. The effectiveness and scalability of SeaHorn are demonstrated...
  • CoVaC

  • Referenced in 7 articles [sw21472]
  • transformations performed by optimizing compilers. To leverage existing program analysis techniques, we reduce the equivalence ... show how the approach can be effectively used for checking equivalence of consonant (i.e., structurally...
  • gma

  • Referenced in 2 articles [sw26339]
  • confounding effect through a nonzero correlation parameter. Under the two-level model, by leveraging...
  • CogDL

  • Referenced in 2 articles [sw37740]
  • leverage the advantages of PyTorch to implement their own models. Furthermore, we demonstrate the effectiveness...
  • FLAME

  • Referenced in 1 article [sw36879]
  • groups. We leverage these high quality matches to estimate conditional average treatment effects (CATEs...
  • MOCDroid

  • Referenced in 0 articles [sw23484]
  • this paper, we leverage third-party calls to bypass the effects of these concealment strategies...
  • BEAGLE

  • Referenced in 4 articles [sw12586]
  • processing units (GPUs) provides an opportunity to leverage their excellent floating-point computational performance ... allow existing software packages to make more effective use of available computer hardware, including GPUs...
  • Grace

  • Referenced in 5 articles [sw08960]
  • join parallelism. By turning threads into processes, leveraging virtual memory protection, and imposing a sequential ... efficiently. Experimental results demonstrate Grace’s effectiveness: with modest code changes across a suite...
  • SUGAR

  • Referenced in 12 articles [sw15321]
  • than a decade, the MEMS community has leveraged nearly all the integrated-circuit community ... simulations to check for subtle second-order effects. For more in-depth information, please...
  • GloudSim

  • Referenced in 1 article [sw28233]
  • could effectively reproduce the real checkpointing/restart events based on Google trace, by leveraging Berkeley...