• DIMACS

  • Referenced in 571 articles [sw08221]
  • DIMACS Implementation Challenges address questions of determining realistic algorithm performance where worst case analysis ... leading edge implementations of algorithms for others to adapt. The information on challenges includes pointers ... participation, algorithm implementations, instance generators, bibliographies, and other electronic artifacts. The challenge organizers are also ... workshops that culminate each challenge. If you are using the implementations, generators or other files...
  • Scala

  • Referenced in 90 articles [sw07180]
  • then dive into specially chosen design challenges and implementation problems, inspired by the trials...
  • Zoltan

  • Referenced in 57 articles [sw07458]
  • graphs from the 10th DIMACS implementation challenge and some directed (nonsymmetric) graphs. We show that...
  • SYMPHONY

  • Referenced in 36 articles [sw04718]
  • however, it also leads to interesting implementational challenges. These lecture notes, based on our experience ... over the last six years with implementing a generic framework for BCP called SYMPHONY (Single ... Multi-Process Optimization over Networks), address these challenges. They are an attempt to summarize some ... what we and others have learned about implementing BCP, both sequential and parallel...
  • DIRECT

  • Referenced in 65 articles [sw03054]
  • DIRECT. This paper describes several massively parallel implementations for a global search algorithm DIRECT ... different approaches to address DIRECT’s design challenges imposed by memory requirements and data dependency ... improvements in the latest parallel DIRECT implementation. The performance studies demonstrate improved data structure efficiency...
  • ProTDB

  • Referenced in 20 articles [sw13843]
  • that addresses all of these challenges. We devise an implementation of XML query operations using...
  • U-Net

  • Referenced in 108 articles [sw33176]
  • ISBI cell tracking challenge 2015 in these categories by a large margin. Moreover, the network ... second on a recent GPU. The full implementation (based on Caffe) and the trained networks...
  • MaLeCoP

  • Referenced in 23 articles [sw07197]
  • discussed. The initial implementation is evaluated on the MPTP Challenge large theory benchmark...
  • VNDS

  • Referenced in 6 articles [sw07586]
  • instances of the 10th DIMACS implementation challenge. The algorithm presented in this paper obtained...
  • LPAm+

  • Referenced in 6 articles [sw07587]
  • instances of the 10th DIMACS implementation challenge. The algorithm presented in this paper obtained...
  • Sophia

  • Referenced in 8 articles [sw34498]
  • complexes. They tested their implementation on various challenging data sets. The source code...
  • DeCAF

  • Referenced in 27 articles [sw17856]
  • several important vision challenges. We are releasing DeCAF, an open-source implementation of these deep...
  • FaceNet

  • Referenced in 26 articles [sw21626]
  • face recognition, implementing face verification and recognition efficiently at scale presents serious challenges to current ... recognition, verification and clustering can be easily implemented using standard techniques with FaceNet embeddings...
  • CheMPS2

  • Referenced in 4 articles [sw17633]
  • quantum chemistry (QC), the most efficient implementations of DMRG require the incorporation of particle number ... carefully tracked. Because of these challenges, implementing DMRG efficiently for QC is not straightforward. Efficient...
  • Healpix

  • Referenced in 79 articles [sw08860]
  • expanded to meet many of the profound challenges that will arise in confrontation with ... this paper we consider the requirements and implementation constraints on a framework that simultaneously enables...
  • GraphLab

  • Referenced in 23 articles [sw12830]
  • Designing and implementing efficient, provably correct parallel machine learning (ML) algorithms is challenging. Existing high ... experts repeatedly solving the same design challenges. By targeting common patterns in ML, we developed ... GraphLab framework by designing and implementing parallel versions of belief propagation, Gibbs sampling...
  • Gecode

  • Referenced in 82 articles [sw06272]
  • over integers, Booleans, sets, and floats (it implements more than 70 constraints from the Global ... medals in all categories at the MiniZinc Challenges from ... parts including reference documentation, implementations of global constraints, and examples are available as source code...
  • ALPS

  • Referenced in 17 articles [sw00036]
  • search tree. Implementing such algorithms in a scalable manner is challenging both because of data ... number of new ideas to address this challenge. The paper also describes the design ... BiCePS) library, a framework that supports the implementation of parallel branch and bound algorithms...
  • R-INLA

  • Referenced in 86 articles [sw08014]
  • allow the user to add flexibility and challenge the Gaussian assumptions of some ... only a small fraction of computational time. Implementation of the proposed extension is available...
  • CakeML

  • Referenced in 52 articles [sw08799]
  • correctness theorem ensures that this REPL implementation prints only those results permitted by the semantics ... novel approaches to some of the more challenging aspects of the verification. In particular ... itself to produce a verified machine-code implementation of the compiler. Additionally, our compiler proof...