×

Found 35 Software Packages (Results 1–35)

SINTEF

Software Authors:   Hasle, Geir (ed.); Lie, Knut-Andreas (ed.); Quak, Ewald (ed.)
Referenced in: 37 Publications (2007–2022)
Related Software: Matlab; VRP; CPLEX; Cython; Plotly; Matplotlib; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

SIMGRID

Software Authors:   H. Casanova
Referenced in: 18 Publications (2002–2020)
Related Software: GridSim; OptorSim; MicroGrid; ISP; MPI; CPU Benchmarks; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Dask

Software Authors:   Matthew Rocklin
Referenced in: 2 Publications (2019–2020)
Related Software: Python; NumPy; SciPy; Scikit; xarray; Matplotlib; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

MetaMorph

Software Authors:   Maturana, F.; Shen, W.; Norrie, D.H.
Referenced in: 18 Publications (1999–2010)
Related Software: Aglets; Moise+; Inventor; CATIA V5; Tabu search; IMMUNE; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

GridFlow

Software Authors:   Junwei Cao; Jarvis, S.A.; Saini, S.; Nudd, Graham R.
Referenced in: 5 Publications (2006–2011)
Related Software: Pegasus; Globus Toolkit; DAGMan; ASKALON; Nimrod/G; Triana; …
Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX); Systems theory; control (93-XX)

DAGuE

Software Authors:   George Bosilca, Aurelien Bouteiller, Anthony Danalis, Thomas Herault, Pierre Lemarinier, Jack Dongarra
Referenced in: 9 Publications (2011–2019)
Related Software: LAPACK; PLASMA; MAGMA; StarPU; LINPACK; ScaLAPACK; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

ELISA

Software Authors:   Anand, L.; Ghose, D.; Mani, V.
Referenced in: 9 Publications (1999–2009)
Related Software: Stata
Main Fields: Field theory and polynomials (12-XX); Statistics (62-XX); Computer science (68-XX)

EARTH--MANNA

Software Authors:   Sodan, Angela C.
Referenced in: 4 Publications (2002–2004)
Related Software: Cilk; Multilisp; NAS Parallel Benchmarks; ScaLAPACK; FGb
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

PAROC

Software Authors:   Pistikopoulos, E. N.; Diangelakis, N. A.; Oberdieck, R.; Papathanasiou, M. M.; Nascu, I.; Sun, M.
Referenced in: 6 Publications (2015–2021)
Related Software: POP; ANTIGONE; MPT; ARGONAUT; SageMath; YALMIP
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)

DAGMap

Software Authors:   Cao, Haijun; Jin, Hai; Wu, Xiaoxin; Wu, Song; Shi, Xuanhua
Referenced in: 3 Publications (2012–2017)
Related Software: Globus Toolkit; DAGMan; GridSim
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX)

GRace

Software Authors:   Mai Zheng, Vignesh T. Ravi, Feng Qin, Gagan Agrawal
Referenced in: 3 Publications (2015–2022)
Related Software: CUDA; GKLEE; GPUVerify; GMRace; CURD; BARRACUDA; …
Main Fields: Mathematical logic and foundations (03-XX); Dynamical systems and ergodic theory (37-XX); Computer science (68-XX)

ReSHAPE

Software Authors:   Sudarsan, Rajesh; Ribbens, Calvin J.
Referenced in: 3 Publications (2010–2014)
Related Software: IFP-C3D; METIS; KIVA-4; NAS Parallel Benchmarks; CHARM++; ScaLAPACK
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Fluid mechanics (76-XX)

Vertaf

Software Authors:   S.-W. Lin, S.-W. Lin, C.-H. Tseng, T.-Y. Lee, J.-M. Fu
Referenced in: 2 Publications (2013)
Related Software: Cellss; MARTE; Intel TBB; Sycraft; MR4UM; Uppaal; …
Main Fields: Computer science (68-XX); Systems theory; control (93-XX)

Alfalfa

Software Authors:   Goldberg, B., Hudak, P.
Referenced in: 3 Publications (1987–2010)
Related Software: Haskell; GUM; Links; Hop; Eden; AoPA; …
Main Fields: Computer science (68-XX)

Joeq

Software Authors:   Whaley, John
Referenced in: 2 Publications (2005)
Related Software: Datalog; CAESAR_SOLVE; Maude; CADP
Main Fields: Computer science (68-XX)

MU-CSeq

Software Authors:   Tomasco, E., Inverso, O., Fischer, B., Torre, S.L., Parlato, G.
Referenced in: 2 Publications (2017–2018)
Related Software: Lazy-CSeq; CBMC; Cseq; CEGAR; Symbiotic 2; CPAlien; …
Main Fields: Computer science (68-XX)

O-PALM

Software Authors:   A.Piacentini; T.Morel; A.Thevenin; F.Duchaine
Referenced in: 3 Publications (2014–2020)
Related Software: PALM; CEDRE; DLB; MUI; OpenPALM; preCICE; …
Main Fields: Numerical analysis (65-XX); Fluid mechanics (76-XX)

GMRace

Software Authors:   M. Zheng, V. T. Ravi, F. Qin, G. Agrawal
Referenced in: 1 Publication (2021)
Related Software: GRace; CURD; GKLEE; BARRACUDA; GPUVerify; CUDA; …
Main Fields: Computer science (68-XX)

ImproteK

Software Authors:   Nika, Jérôme, Marc Chemillier, Gérard Assayag
Referenced in: 2 Publications (2018)
Related Software: DYCI2
Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Computer science (68-XX)

jSymbolic

Software Authors:   C. McKay, J. Cumming, I. Fujinaga
Referenced in: 0 Publications
Related Software: Music Transformer; PyTorch; pretty midi; Music21; Humdrum; Python; …
Main Fields:

ReCaml

Software Authors:   Buisson, Jérémy; Dagnat, Fabien
Referenced in: 2 Publications (2010)
Related Software: Zinc; Erlang; Coq; Lolliproc; VeriML; Haskell
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)

TOPAS

Software Authors:   Nguyen, G.T.; Tran, V.D.; Kotocova, M.
Referenced in: 2 Publications (2002)
Related Software:
Main Fields: Computer science (68-XX)

AutoLoss

Software Authors:   Haowen Xu, Hao Zhang, Zhiting Hu, Xiaodan Liang, Ruslan Salakhutdinov, Eric Xing
Referenced in: 1 Publication (2022)
Related Software: DeepONet; SoftAdapt; GradNorm; NSFnets; PINNsNTK; FPINNs; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

FEADS

Software Authors:   Pai, Rajani; Govindarajan, R.
Referenced in: 1 Publication (2007)
Related Software:
Main Fields: Computer science (68-XX)

FlowAgent

Software Authors:   Wang, Wenjun; Zhong, Cuihao
Referenced in: 1 Publication (2000)
Related Software:
Main Fields: Computer science (68-XX)

GrapeReception

Software Authors:   Palmowski, Zbigniew; Sidorowicz, Aleksandra
Referenced in: 1 Publication (2020)
Related Software: GitHub
Main Fields: Operations research, mathematical programming (90-XX)

GreedEx

Software Authors:   Stößer, Jochen; Neumann, Dirk
Referenced in: 1 Publication (2008)
Related Software: CABOB; Globus Toolkit
Main Fields: Operations research, mathematical programming (90-XX)

IMPACCT

Software Authors:   Chou, Pai H.; Liu, Jinfeng; Li, Dexin; Bagherzadeh, Nader
Referenced in: 1 Publication (2002)
Related Software:
Main Fields: Computer science (68-XX)

JAVM

Software Authors:   Lau, L.F.; Ananda, A.L.; Tan, G.; Wong, W.F.
Referenced in: 1 Publication (2000)
Related Software:
Main Fields: Computer science (68-XX)

JoiN

Software Authors:   E.J.H. Yero, F. de Oliveira Lucchese, F.S. Sambatti, M.V. Zuben; M.A.A. Henriques
Referenced in: 0 Publications
Related Software:
Main Fields:

PEDAL

Software Authors:   Hu, Y.; Yan, J.; Choo, K.-K.R.
Referenced in: 1 Publication (2017)
Related Software: PrivateLR
Main Fields: Computer science (68-XX)

PStream

Software Authors:   Chen, Hanhua; Zhang, Fan; Jin, Hai
Referenced in: 1 Publication (2021)
Related Software:
Main Fields: Computer science (68-XX)

RTMemController

Software Authors:   Li Y, Akesson B, Goossens K
Referenced in: 0 Publications
Related Software: MediaBench
Main Fields: Computer science (68-XX)

SimK

Software Authors:   Xu, Jian-Wei; Chen, Ming-Yu; Zheng, Gui; Cao, Zheng; Lv, Hui-Wei; Sun, Ning-Hui
Referenced in: 0 Publications
Related Software: HPPNetSim; Chaco
Main Fields:

symPACK

Software Authors:   Mathias Jacquelin, Yili Zheng, Esmond Ng, Katherine Yelick
Referenced in: 0 Publications
Related Software: SuperLU; SuperLU-DIST; Scotch; SparseMatrix; GASNet; UPC++; …
Main Fields: