• GitHub

  • Referenced in 2340 articles [sw23170]
  • features such as bug tracking, feature requests, task management, and wikis for every project...
  • VRP

  • Referenced in 1069 articles [sw05207]
  • most challenging combinatorial optimization task. Defined more than 40 years ago, this problem consists...
  • deal.ii

  • Referenced in 631 articles [sw03516]
  • Writing such programs is a non-trivial task, and successful programs tend to become very...
  • OpenFOAM

  • Referenced in 543 articles [sw04317]
  • applications that perform pre- and post-processing tasks, e.g. meshing, data visualisation...
  • SVMlight

  • Referenced in 264 articles [sw04076]
  • classification [Joachims, 1999c][Joachims, 1998a], image recognition tasks, bioinformatics and medical applications. Many tasks have...
  • HOL Light

  • Referenced in 307 articles [sw06580]
  • been applied to some non-trivial tasks in the formalization of mathematics and industrial formal...
  • Ada95

  • Referenced in 293 articles [sw01753]
  • language support for explicit concurrency, offering tasks, synchronous message passing, protected objects, and non-determinism...
  • Kronos

  • Referenced in 273 articles [sw01270]
  • systems are systems that must perform a task within strict time deadlines. Embedded controllers, circuits...
  • BoomerAMG

  • Referenced in 195 articles [sw00086]
  • them. Parallelizing AMG is a difficult task, however. While much of the AMG method parallelizes...
  • Netgen

  • Referenced in 191 articles [sw06679]
  • Constructive Solid Geometry (CSG). The whole task of 3D mesh generation splits into four subproblems...
  • KANT/KASH

  • Referenced in 156 articles [sw00481]
  • possible to solve tasks like calculating the solutions of Diophantine equations related to F. Furthermore...
  • BERT

  • Referenced in 92 articles [sw30756]
  • models for a wide range of tasks, such as question answering and language inference, without ... substantial task-specific architecture modifications. BERT is conceptually simple and empirically powerful. It obtains ... results on eleven natural language processing tasks, including pushing the GLUE score...
  • TOMS659

  • Referenced in 141 articles [sw10686]
  • number sequence, but more useful for such tasks as approximation of integrals in higher dimensions...
  • RODES

  • Referenced in 124 articles [sw30194]
  • IEEE standard. The computers employed for the task were a variety ofSUN Sparc stations, with...
  • JuMP

  • Referenced in 123 articles [sw16108]
  • with commercial modeling tools for standard tasks. In this work we will provide benchmarks, present...
  • BoosTexter

  • Referenced in 76 articles [sw08519]
  • perform multiclass text and speech categorization tasks. Our approach is based ... boosting algorithms for text categorization tasks. We present results comparing the performance of BoosTexter ... text-categorization algorithms on a variety of tasks. We conclude by describing the application...
  • GAUSS

  • Referenced in 119 articles [sw00322]
  • financial analysts. Designed for computationally intensive tasks, the GAUSS system is ideally suited...
  • Chaco

  • Referenced in 117 articles [sw09640]
  • computer, it must first be decomposed into tasks which are assigned to different processors. Efficient...