×

Found 75 Software Packages (Results 1–75)

MINOS

Software Authors:   B. A. Murtagh; M. A. Saunders
Referenced in: 456 Publications (1980–2022)
Related Software: GAMS; SNOPT; AMPL; LANCELOT; CONOPT; CPLEX; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)

Esterel

Software Authors:   Gérard Berry
Referenced in: 133 Publications (1985–2022)
Related Software: SIGNAL; LUSTRE; Uppaal; Simulink; SPIN; Quartz; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

TAMC

Software Authors:   Giering, Ralf; Kaminski, Thomas
Referenced in: 72 Publications (1998–2021)
Related Software: TAF; ADIFOR; ADOL-C; ADIC; Odyssee; L-BFGS; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)

ECOS

Software Authors:   Alexander Domahidi, Eric Chu, Santiago Akle, Han Wang
Referenced in: 53 Publications (2014–2022)
Related Software: CVXPY; Mosek; CVXGEN; SCS; SeDuMi; CVX; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Computer science (68-XX)

PHiPAC

Software Authors:   Jeff A Bilmes; Krste Asanovic; Rich Vuduc; Sriram Iyer; Jim Demmel; CheeWhye Chin; Dominic Lam
Referenced in: 48 Publications (1997–2016)
Related Software: ATLAS; LAPACK; BLAS; FFTW; mctoolbox; ScaLAPACK; …
Main Fields: Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX)

NINJA

Software Authors:   Moreira, José E.; Midkiff, Samuel P.; Gupta, Manish; Wu, Peng; Almasi, George; Artigas, Pedro
Referenced in: 29 Publications (2000–2016)
Related Software: TNT; Java Grande; Ninja; HELAC-1LOOP; BlackHat; SAMURAI; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Quantum theory (81-XX)

MediaBench

Software Authors:   Lee, C., Potkonjak, M., Mangione-Smith, W.H.
Referenced in: 16 Publications (2001–2016)
Related Software: MiBench; SimpleScalar; Wattch; CACTI; SEC-DED; RTMemController; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)

Soot

Software Authors:   Vallée-Rai, R., Gagnon, E., Hendren, L.J., Lam, P., Pominville, P., Sundaresan, V.
Referenced in: 24 Publications (2004–2021)
Related Software: AspectJ; Apron; SingleTrack; WALA; ASTREE; DaCapo; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX)

SQOPT

Software Authors:   P.E. Gill, W. Murray, M.A. Saunders
Referenced in: 18 Publications (2003–2020)
Related Software: SNOPT; CUTEst; qpOASES; QPA; PDCO; ZQPCVX; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)

Dyna

Software Authors:   Jason Eisner; Eric Goldlust; Noah A. Smith; Filardo, N. W.
Referenced in: 13 Publications (2008–2022)
Related Software: ProbLog; kProbLog; PRISM; Datalog; BLOG; Church; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Biology and other natural sciences (92-XX)

MathOptimizer

Software Authors:   wolfram.com; János D. Pintér; Frank J. Kampas
Referenced in: 14 Publications (2006–2019)
Related Software: Mathematica; LGO; Global Optimization Toolbox For Maple; MultiMin; GAMS; LINGO; …
Main Fields: Combinatorics (05-XX); Convex and discrete geometry (52-XX); Numerical analysis (65-XX)

Optimica

Software Authors:   –
Referenced in: 11 Publications (2013–2018)
Related Software: JModelica; Modelica; CasADi; Matlab; SUNDIALS; ACADO; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)

TIL

Software Authors:   Tarditi, David; Stone, Chris; Morrisett, Greg; Harper, Robert; Cheng, Perry
Referenced in: 11 Publications (1997–2008)
Related Software: Haskell; ML; TALx86; GHC; Coq; LEGO; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

CompCertTSO

Software Authors:   Ševčík, Jaroslav; Vafeiadis, Viktor; Zappa Nardelli, Francesco; Jagannathan, Suresh; Sewell, Peter
Referenced in: 12 Publications (2013–2019)
Related Software: Coq; CompCert; Paco; GCminor; CakeML; CompCertS; …
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); General algebraic systems (08-XX)

Pochoir

Software Authors:   Tang, Y., Chowdhury, R.A., Kuszmaul, B.C., Luk, C.K., Leiserson, C.E.
Referenced in: 10 Publications (2013–2019)
Related Software: PATUS; STREAM benchmark; STREAM; GKLEE; GPUVerify; PolyLib; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

ProjectQ

Software Authors:   Damian S. Steiger, Thomas Häner, Matthias Troyer
Referenced in: 2 Publications (2019–2020)
Related Software: Python; qHiPSTER; LIQUi; OpenFermion; Strawberry Fields; qTorch; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Quantum theory (81-XX)

ScaffCC

Software Authors:   Ali JavadiAbhari, Shruti Patil, Daniel Kudrow, Jeff Heckey, Alexey Lvov, Frederic Chong and Margaret Martonosi
Referenced in: 7 Publications (2017–2021)
Related Software: Quipper; LIQUi; Python; ProjectQ; QPL; qHiPSTER; …
Main Fields: Computer science (68-XX); Quantum theory (81-XX); Information and communication theory, circuits (94-XX)

CoVaC

Software Authors:   Zaks, A., Pnueli, A.
Referenced in: 8 Publications (2009–2021)
Related Software: z3; SymDiff; SeaHorn; Boogie; LLVM; TVOC; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

CompAD

Software Authors:   Cohen, Naumann, Riehme
Referenced in: 7 Publications (2006–2018)
Related Software: NAGWare; TAF; TAPENADE; ADOL-C; RMSprop; Tangent; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)

Lasagne

Software Authors:   S. K. Sonderby, et al.
Referenced in: 2 Publications (2018)
Related Software: Theano; TensorFlow; Keras; Torch; Caffe; Edward; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Statistical mechanics, structure of matter (82-XX)

OpenUH

Software Authors:   Hernandez, Oscar; Jin, Haoqiang; Chapman, Barbara
Referenced in: 3 Publications (2008–2016)
Related Software: TAU; KOJAK; GenIDLEST; Quantum Espresso; ChaNGa; 2HOT; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Quantum theory (81-XX)

Scythe

Software Authors:   Daniel Pemstein, Kevin M. Quinn, Andrew D. Martin
Referenced in: 7 Publications (2010–2015)
Related Software: sn
Main Fields: Ordinary differential equations (34-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)

ADAPT

Software Authors:   M. J. Voss, R. Eigenmann
Referenced in: 3 Publications (2000–2019)
Related Software: OSKI; PAPI; FFTW; ATLAS; Multicube Explorer; SiblingRivalry; …
Main Fields: Computer science (68-XX)

ASTRX/OBLX

Software Authors:   Ochotta, E.S. , Rutenbar, R.A., Carley, L.R
Referenced in: 4 Publications (2007–2014)
Related Software: CGLS
Main Fields: Computer science (68-XX); Optics, electromagnetic theory (78-XX); Operations research, mathematical programming (90-XX)

Rules2CP

Software Authors:   François Fages, Julien Martin
Referenced in: 2 Publications (2009–2011)
Related Software: SPIN; ntccSim; Ntccrt; OpenMusic; Gelisp; Essence; …
Main Fields: Computer science (68-XX)

Joogie

Software Authors:   Arlt, S., Rümmer, P., Schäf, M.
Referenced in: 3 Publications (2013–2020)
Related Software: CIVL; Cascade; Crust; Pyston; Rust2Viper; GraVy; …
Main Fields: Computer science (68-XX)

PLuTo

Software Authors:   Bondhugula, U., Hartono, A., Ramanujam, J., Sadayappan, P.
Referenced in: 4 Publications (2012–2019)
Related Software: Flamel; PIPS; v2c; SamaTulyata; GitHub; pthreads; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)

RNGSSELIB

Software Authors:   Barash, L.Yu.; Shchur, L.N.
Referenced in: 4 Publications (2011–2017)
Related Software: SSE2; RNGAVXLIB; TestU01; trng; MKL; GSL; …
Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX); Information and communication theory, circuits (94-XX)

SoftExplorer

Software Authors:   Senn, Eric; Laurent, Johann; Julien, Nathalie; Martin, Eric
Referenced in: 2 Publications (2005–2010)
Related Software: Wattch; INA; MARTE; SysML; MiBench; SimpleScalar
Main Fields: Computer science (68-XX)

Livarh

Software Authors:   Wang, Mu; Gebremedhin, Assefaw; Pothen, Alex
Referenced in: 3 Publications (2016–2022)
Related Software: Livarhacc; edge_push_sp; ColPack; NUTS; torchdiffeq; JuMP; …
Main Fields: Mathematical logic and foundations (03-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

Livarhacc

Software Authors:   Wang, Mu; Gebremedhin, Assefaw; Pothen, Alex
Referenced in: 3 Publications (2016–2022)
Related Software: Livarh; edge_push_sp; ColPack; NUTS; torchdiffeq; JuMP; …
Main Fields: Mathematical logic and foundations (03-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

Ocelot

Software Authors:   Diamos, G.F., Kerr, A.R., Yalamanchili, S., Clark, N.
Referenced in: 2 Publications (2013–2015)
Related Software: CUDA; OpenCL; Chromium; gem5; Multi2sim; MCMG; …
Main Fields: Computer science (68-XX)

Picat-SAT

Software Authors:   Zhou, N.-F., Kjellerstrand, H.
Referenced in: 3 Publications (2017–2020)
Related Software: MiniZinc; lp2normal; MaxHS; Clingo; WASP; clasp; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

TATOO

Software Authors:   Souter, Amie L.; Wong, Tiffany M.; Shindo, Stacey A.; Pollock, Lori L.
Referenced in: 2 Publications (2001–2003)
Related Software: ADTEST; Korat
Main Fields: Computer science (68-XX)

C32SAT

Software Authors:   R. Brummayer; A. Biere
Referenced in: 1 Publication (2016)
Related Software: Z34Bio; QAGen; ICS; RSat; AMUSE; FaCT++; …
Main Fields: Computer science (68-XX)

CoCo

Software Authors:   Guoqing Xu
Referenced in: 1 Publication (2015)
Related Software: Pycket; GHC
Main Fields: Computer science (68-XX)

DOTcvp

Software Authors:   Hirmajer, T., Balsa-Canto, E., Banga, J.
Referenced in: 2 Publications (2017–2019)
Related Software: RcmdrPlugin.DoE; Rcmdr; R; DOTcvpSB
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Biology and other natural sciences (92-XX)

EDO

Software Authors:   Takeshi Ogasawara; Hideaki Komatsu; Toshio Nakatani
Referenced in: 1 Publication (2019)
Related Software: Proteus; ThyNVM; NOVA; FPTree; WORT; DudeTM; …
Main Fields: Computer science (68-XX)

ensmallen

Software Authors:   Shikhar Bhardwaj, Ryan R. Curtin, Marcus Edel, Yannis Mentekidis, Conrad Sanderson
Referenced in: 1 Publication (2021)
Related Software: Autograd; PyTorch; TensorFlow; SciPy; UCI-ml; Octave; …
Main Fields: Computer science (68-XX)

OptQC

Software Authors:   Loke, T.; Wang, J.B.
Referenced in: 2 Publications (2014–2016)
Related Software: Qcompiler; LAPACK
Main Fields: Computer science (68-XX); Quantum theory (81-XX)

Par-EXPDE

Software Authors:   Linke, Alexander; Pflaum, Christoph; Bergen, Ben
Referenced in: 2 Publications (2003)
Related Software: EXPDE; gridlib
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Astronomy and astrophysics (85-XX)

Pmapper

Software Authors:   Travinin, N.; Hoffman, H.; Bond, R.; Chan, H.; Kepner, J.; Wong, E.
Referenced in: 0 Publications
Related Software: Algorithm 97; pMatlab; PSBLAS
Main Fields:

SAGE

Software Authors:   M. Samadi, J. Lee, D. A. Jamshidi, A. Hormati, S. Mahlke
Referenced in: 2 Publications (2015–2019)
Related Software: Multicube Explorer; SiblingRivalry; Green; ADAPT; Paraprox; ATF; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

TVM

Software Authors:   Tianqi Chen, Thierry Moreau, Ziheng Jiang, Lianmin Zheng, Eddie Yan, Meghan Cowan, Haichen Shen, Leyuan Wang, Yuwei Hu, Luis Ceze, Carlos Guestrin, Arvind Krishnamurthy
Referenced in: 1 Publication (2021)
Related Software: HeteroCL; POMDPs.jl; Python; OptimizedDP; GPyTorch; JAX; …
Main Fields: Computer science (68-XX)

VSIPL++

Software Authors:   Lebak, J.; Kepner, J.; Hoffmann, H.; Rudtledge, E.
Referenced in: 0 Publications
Related Software: CUDA; QUDA; PIMA(GE)2; MPI; PETSc; ScaLAPACK; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX)

ACCEPT

Software Authors:   Sampson, A., Baixo, A., Ransford, B., Moreau, T., Yip, J., Ceze, L., Oskin, M.
Referenced in: 1 Publication (2018)
Related Software: Boogie; Rely; Green; EnerJ; Chisel; FlexJava; …
Main Fields: Computer science (68-XX)

Acovea

Software Authors:   Ladd Scott Robert
Referenced in: 0 Publications
Related Software: TACT; Cole; Micomp; LARA; COBAYN; Milepost GCC; …
Main Fields:

AutoHOOT

Software Authors:   Linjian Ma, Jiayu Ye, Edgar Solomonik
Referenced in: 0 Publications
Related Software: Makie.jl; ChainRulesCore; ChainRules.jl; TeNPy; TensorNetwork; quimb; …
Main Fields:

COBAYN

Software Authors:   Ashouri Amir Hossein, Mariani Giovanni, Palermo Gianluca, Park Eunjung, Cavazos John, Silvano Cristina
Referenced in: 0 Publications
Related Software: TACT; Cole; Micomp; Acovea; LARA; Milepost GCC; …
Main Fields:

Cole

Software Authors:   Hoste Kenneth, Eeckhout Lieven
Referenced in: 0 Publications
Related Software: TACT; Micomp; Acovea; LARA; COBAYN; Milepost GCC; …
Main Fields:

DOML

Software Authors:   Tarnawski, T., Pytlak, R.
Referenced in: 1 Publication (2018)
Related Software: OOQP; Modelica
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Systems theory; control (93-XX)

FortranCalculus

Software Authors:   Joe Thames, Phil B Brubaker
Referenced in: 0 Publications
Related Software: SLANG; PROSE
Main Fields:

GCO

Software Authors:   Jack Dongarra, Keith Seymour, Haihang You
Referenced in: 1 Publication (2016)
Related Software: Django; Lighthouse; Decision tree for optimization software; FUN3D; C4.5; Scikit; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX)

HolBA

Software Authors:   Lundberg, Didrik; Guanciale, Roberto; Lindner, Andreas; Dam, Mads
Referenced in: 1 Publication (2020)
Related Software: TrABin; Cloc; BoogiePL; ARMor; seL4; CakeML; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Metatheory.jl

Software Authors:   Alessandro Cheli
Referenced in: 0 Publications
Related Software: MatchCore.jl; MLStyle.jl; egg; RuntimeGeneratedFunctions.jl; Julia
Main Fields:

Micomp

Software Authors:   Ashouri Amir H., Bignoli Andrea, Palermo Gianluca, Silvano Cristina, Kulkarni Sameer, Cavazos John
Referenced in: 0 Publications
Related Software: TACT; Cole; Acovea; LARA; COBAYN; Milepost GCC; …
Main Fields:

Mumbo

Software Authors:   Aktemur, Barış; Kamin, Sam
Referenced in: 1 Publication (2006)
Related Software: Maude
Main Fields: Computer science (68-XX)

NeuroVectorizer

Software Authors:   Ameer Haj-Ali, Nesreen K. Ahmed, Ted Willke, Sophia Shao, Krste Asanovic, Ion Stoica
Referenced in: 0 Publications
Related Software: Adam; XLA; TensorFlow; LLVM; code2vec; ProGraML
Main Fields:

NNVM

Software Authors:   Paul G. Allen; Tianqi Chen
Referenced in: 0 Publications
Related Software: Halide; PyTorch; XLA; Caffe; LLVM; Torch; …
Main Fields:

Nonio

Software Authors:   Ricardo Nobre, João Bispo, Tiago Carvalho, João M.P. Cardoso
Referenced in: 0 Publications
Related Software: TACT; Cole; Micomp; Acovea; LARA; COBAYN; …
Main Fields:

Parray

Software Authors:   Chen, Y., Cui, X., Mei, H
Referenced in: 1 Publication (2013)
Related Software: Accelerate; Chapel; cuFFT; CUDA
Main Fields: Computer science (68-XX)

ProGraML

Software Authors:   Chris Cummins, Zacharias V. Fisches, Tal Ben-Nun, Torsten Hoefler, Hugh Leather
Referenced in: 0 Publications
Related Software: Adam; XLA; TensorFlow; LLVM; NeuroVectorizer; code2vec
Main Fields:

PyLog

Software Authors:   Huang, Sitao; Wu, Kun; Jeong, Hyunmin; Wang, Chengyue; Chen, Deming; Hwu, Wen-Mei
Referenced in: 1 Publication (2021)
Related Software: AutoSA; PYNQ; PyRTL; Clash; SYCL; PyMTL3; …
Main Fields: Computer science (68-XX)

Q*cert

Software Authors:   Auerbach, J.S., Hirzel, M., Mandel, L., Shinnar, A., Siméon, J.
Referenced in: 1 Publication (2018)
Related Software: SQLCert; SEQUEL; HoTTSQL; CertiCoq; CertiKOS; Fiat; …
Main Fields: Computer science (68-XX)

SDSLc

Software Authors:   P. Rawat, M. Kong, T. Henretty, J. Holewinski, K. Stock, L.-N. Pouchet, J. Ramanujam, A. Rountev, P. Sadayappan
Referenced in: 1 Publication (2020)
Related Software: MODESTO; ExaSlang; Petalisp; Exa-Dune; HyTeG; STELLA; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX)

SmartApps

Software Authors:   Rauchwerger, Lawrence; Amato, Nancy M.; Torrellas, Josep
Referenced in: 1 Publication (2001)
Related Software: VCODE
Main Fields: Computer science (68-XX)

SPARKSkein

Software Authors:   Chapman, Roderick; Botcazou, Eric; Wallenburg, Angela
Referenced in: 0 Publications
Related Software: VeriFast; VCC; Alt-Ergo; z3; SPARK
Main Fields: Information and communication theory, circuits (94-XX)

Stabilizer

Software Authors:   Curtsinger, C.; Berger, E.
Referenced in: 1 Publication (2019)
Related Software: Thorn; Sage; Bigloo; Pycket; Python; LISP; …
Main Fields: Computer science (68-XX)

StreamTMC

Software Authors:   Wei, Haitao; Qin, Mingkang; Zhang, Weiwei; Yu, Junqing; Fan, Dongrui; Gao, Guang R.
Referenced in: 0 Publications
Related Software:
Main Fields:

WebAssembly

Software Authors:   Namjoshi, Kedar S.; Xue, Anton
Referenced in: 1 Publication (2021)
Related Software: Loopy; Crellvm; SymDiff; CVT; CompCert; z3; …
Main Fields: Computer science (68-XX)

YARPGen

Software Authors:   Livinskii V., Babokin D., Regehr J.
Referenced in: 0 Publications
Related Software: Frama-C; Python; Cnerator
Main Fields:

libFIRM

Software Authors:   Lindenmaier, Götz
Referenced in: 0 Publications
Related Software:
Main Fields:

PerfExpert

Software Authors:   M. Burtscher, B.-D. Kim, J. Diamond, J. McCalpin, L. Koesterke, J. Browne
Referenced in: 0 Publications
Related Software:
Main Fields:

Quandary

Software Authors:   Stefanie Günther, N. Anders Petersson, Jonathan L. Dubois
Referenced in: 0 Publications
Related Software:
Main Fields:

StreamFlex

Software Authors:   Spring JH, Privat J, Guerraoui R, Vitek J.
Referenced in: 0 Publications
Related Software:
Main Fields: