
Green
 Referenced in 2 articles
[sw29920]
 quality of service/solution (QoS) for improvements in performance and reduction in energy consumption. Programmers sometimes ... guarantees. We propose a system called Green that provides a simple and flexible framework that ... systematic manner while providing statistical QoS guarantees. Green enables programmers to approximate expensive functions ... search engine, indicate that Green can produce significant improvements in performance and energy consumption with...

ANSYS
 Referenced in 655 articles
[sw00044]
 ANSYS offers a comprehensive software suite that spans...

CoCoA
 Referenced in 621 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

GAP
 Referenced in 2850 articles
[sw00320]
 GAP is a system for computational discrete algebra...

Magma
 Referenced in 2857 articles
[sw00540]
 Computer algebra system (CAS). Magma is a large...

Maple
 Referenced in 5040 articles
[sw00545]
 The result of over 30 years of cutting...

Mathematica
 Referenced in 5883 articles
[sw00554]
 Almost any workflow involves computing results, and that...

Matlab
 Referenced in 12074 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

nauty
 Referenced in 558 articles
[sw00611]
 graphtheoretic program NAUTY: nauty is a program...

PLTMG
 Referenced in 215 articles
[sw00717]
 PLTMG 11.0 is a package for solving elliptic...

R
 Referenced in 8359 articles
[sw00771]
 R is a language and environment for statistical...

REDUCE
 Referenced in 739 articles
[sw00789]
 REDUCE is an interactive system for general algebraic...

MACSYMA
 Referenced in 716 articles
[sw01209]
 Macsyma is a general purpose symbolicnumericalgraphical...

FreeFem++
 Referenced in 1037 articles
[sw01436]
 FreeFem++ is an implementation of a language dedicated...

SPLUS
 Referenced in 595 articles
[sw02892]
 SPLUS is a powerful environment for statistical...

LSDYNA
 Referenced in 309 articles
[sw03068]
 LSDYNA A combined Implicit/Explicit solver. One scalable...

LBFGS
 Referenced in 715 articles
[sw03229]
 Algorithm 778: LBFGSB Fortran subroutines for...

deal.ii
 Referenced in 549 articles
[sw03516]
 deal.II is a C++ program library targeted at...

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

RODAS
 Referenced in 1533 articles
[sw04112]
 Rosenbrock method of order 4(3), for problems...