
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...

NetworkX
 Referenced in 168 articles
[sw00616]
 NetworkX (NX) is a Python package for the...

SageMath
 Referenced in 2033 articles
[sw00825]
 Sage (SageMath) is free, opensource math software...

ML
 Referenced in 524 articles
[sw01218]
 ML (’Meta Language’) is a generalpurpose functional...

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

COMET
 Referenced in 80 articles
[sw03051]
 ConstraintBased 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...

SteinLib
 Referenced in 113 articles
[sw04066]
 The aim of this library is to collect...

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

EasyLocal++
 Referenced in 39 articles
[sw04104]
 EasyLocal++ is an objectoriented framework that can...

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...