• SWEET

  • Referenced in 1 article [sw17684]
  • WCET) analysis [14] aims to estimate the longest possible execution time for a piece ... WCET analysis that takes all possible execution paths and corresponding hardware states into account...
  • GAID

  • Referenced in 1 article [sw21405]
  • team of m agents, m subtours (simple paths) are sought such that each target ... find the team plan in which the longest subtour is as short as possible...
  • CGAL

  • Referenced in 402 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • CLIFFORD

  • Referenced in 85 articles [sw00131]
  • CLIFFORD performs various computations in Grass mann and...
  • iOpt

  • Referenced in 8 articles [sw00448]
  • iOpt: A software toolkit for heuristic search methods...
  • MapReduce

  • Referenced in 267 articles [sw00546]
  • MapReduce is a new parallel programming model initially...
  • Mathematica

  • Referenced in 6445 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • SageMath

  • Referenced in 2033 articles [sw00825]
  • Sage (SageMath) is free, open-source math software...
  • ML

  • Referenced in 524 articles [sw01218]
  • ML (’Meta Language’) is a general-purpose functional...
  • SALSA

  • Referenced in 30 articles [sw02661]
  • Constraint Programming is recognized as an efficient technique...
  • COMET

  • Referenced in 80 articles [sw03051]
  • Constraint-Based Local Search. The ubiquity of combinatorial...
  • CUDA

  • Referenced in 1336 articles [sw03258]
  • The NVIDIA® CUDA® Toolkit provides a comprehensive development...
  • Pajek

  • Referenced in 159 articles [sw03707]
  • Pajek -- analysis and visualization of large networks. Pajek...
  • CPLEX

  • Referenced in 2804 articles [sw04082]
  • IBM® ILOG® CPLEX® offers C, C++, Java, .NET...
  • Gurobi

  • Referenced in 727 articles [sw04105]
  • GUROBI OPTIMIZER: State of the Art Mathematical Programming...
  • LINDO

  • Referenced in 557 articles [sw04448]
  • LINDO Systems - Optimization Software: Integer Programming, Linear Programming...