×

Found 174 Software Packages (Results 1–100)

PPL

Software Authors:   Bagnara, Roberto; Ricci, Elisa; Zaffanella, Enea; Hill, Patricia M.
Cited in: 103 Publications (2002–2022)
Related Software: HyTech; Apron; ASTREE; Uppaal; PHAVer; PolyLib; …
Main Fields: Mathematical logic and foundations (03-XX); Convex and discrete geometry (52-XX); Computer science (68-XX)

HOGWILD

Software Authors:   Feng Niu, Benjamin Recht, Christopher Re, Stephen J. Wright
Cited in: 63 Publications (2012–2022)
Related Software: Saga; ARock; AdaGrad; ImageNet; Adam; RCV1; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX)

GloMoSim

Software Authors:   Xiang Zeng; Rajive Bagrodia; Mario Gerla
Cited in: 37 Publications (2001–2015)
Related Software: Parsec; ns-2; OMNet++; SWiMNet; PCBA; OPNET; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

COWS

Software Authors:   Lapadula, Alessandro; Pugliese, Rosario; Tiezzi, Francesco
Cited in: 46 Publications (2007–2020)
Related Software: SPIN; CC-Pi; PiDuce; Maude; Orc; KLAIM; …
Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

Eraser

Software Authors:   Savage, S., Burrows, M., Nelson, G., Sobalvarro, P., Anderson, T.
Cited in: 36 Publications (2000–2021)
Related Software: veriSoft; RacerX; Bandera; Java PathFinder; RELAY; LOCKSMITH; …
Main Fields: Computer science (68-XX)

GHC

Software Authors:   Ueda, Kazunori
Cited in: 36 Publications (1986–2014)
Related Software: PARLOG; Kima; Haskell; LMNtal; Esterel; Janus; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

SMIL

Software Authors:   W3.org
Cited in: 10 Publications (2001–2016)
Related Software: XPath; Lua; SPARQL; TRIPLE; Nevada; Dynagraph; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Mathematics education (97-XX)

ABS

Software Authors:   Johnsen, E.B., Hähnle, R., Schäfer, J., Schlatte, R., Steffen, M.
Cited in: 30 Publications (2012–2022)
Related Software: JCobox; SACO; Erlang; Creol; COSTABS; SPEED; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

ARock

Software Authors:   Peng, Zhimin; Xu, Yangyang; Yan, Ming; Yin, Wotao
Cited in: 33 Publications (2016–2022)
Related Software: HOGWILD; iPiano; Saga; Finito; JuMP; Julia; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)

NEST

Software Authors:   Gewaltig, MO; Diesmann, M.
Cited in: 19 Publications (2008–2021)
Related Software: NEURON; Pynn; Brian; Python; SpiNNaker; Scikit; …
Main Fields: Probability theory and stochastic processes (60-XX); Computer science (68-XX); Statistical mechanics, structure of matter (82-XX)

CoArray

Software Authors:   Numrich, Robert W.; Reid, John
Cited in: 21 Publications (2002–2022)
Related Software: Chapel; NAS Parallel Benchmarks; ARMCI; MPI; OpenCoarrays; MapReduce; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

BETA

Software Authors:   Bent Bruun Kristensen, Ole Lehrmann Madsen, Birger Møller-Pedersen, Kristen Nygaard
Cited in: 21 Publications (1985–2016)
Related Software: Eiffel; Simula 67; Smalltalk; BetaSim; PolyTOIL; Featherweight Java; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)

Hypertool

Software Authors:   Wu M.Y., Gajski D.D.
Cited in: 17 Publications (2007–2019)
Related Software: Condor-G; STG; Noodle; Pegasus; DRSCRO; OpenNebula; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

Creol

Software Authors:   Johnsen, Einar Broch; Owe, Olaf; Yu, Ingrid Chieh
Cited in: 25 Publications (2006–2022)
Related Software: Featherweight Java; ABCL; Maude; Multilisp; ABS; AmbientTalk; …
Main Fields: Computer science (68-XX)

JoCaml

Software Authors:   Fournet, Cedric; Le Fessant, Fabrice; Maranget, Luc; Schmitt, Alan
Cited in: 26 Publications (2000–2022)
Related Software: Pict; OCaml; PiDuce; KLAIM; Erlang; Scala; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

PARSEC

Software Authors:   Bienia, C.; Kumar, S.; Singh, J. P.; Li, K.
Cited in: 7 Publications (2010–2021)
Related Software: SPLASH-2; ALPBench; LLVM; Cilk; MapReduce; PAPI; …
Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

Renew

Software Authors:   Kummer, Olaf; Wienberg, Frank; Duvigneau, Michael; Schumacher, Jörn; Köhler, Michael; Moldt, Daniel; Rölke, Heiko; Valk, Rüdiger
Cited in: 15 Publications (2004–2021)
Related Software: libDDD; LOEWE; ITS-Tools; caesar.bdd; Meddly; PNMC; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

COMPAS

Software Authors:   Chmiel, Krzysztof; Roman, Adam
Cited in: 14 Publications (1990–2021)
Related Software: TESTAS; Boost; Vaucanson; AUTOMATE; PATRICIA; Maple
Main Fields: Number theory (11-XX); Field theory and polynomials (12-XX); Commutative algebra (13-XX)

Scalasca

Software Authors:   M. Geimer, F. Wolf, B.J.N. Wylie, E. Ábrahám, D. Becker, B. Mohr
Cited in: 10 Publications (2011–2021)
Related Software: TAU; HPCTOOLKIT; MPI; Cube; PARAVER; METIS; …
Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX); Computer science (68-XX)

SE-Sync

Software Authors:   David M. Rosen, Luca Carlone, Afonso S. Bandeira, John J. Leonard
Cited in: 13 Publications (2018–2022)
Related Software: SDPLR; iSAM2; CVX; TEASER++; GitHub; Manopt; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Exp.Open

Software Authors:   Frédéric Lang
Cited in: 10 Publications (2006–2021)
Related Software: CADP; CAESAR_SOLVE; SPIN; E-LOTOS; LNT2LOTOS; CAESAR; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

VeriCool

Software Authors:   Smans, J., Jacobs, B., Piessens, F.
Cited in: 10 Publications (2009–2022)
Related Software: Boogie; VCC; Spec#; VeriFast; z3; cvc3; …
Main Fields: Computer science (68-XX)

Goldilocks

Software Authors:   Elmas, T., Qadeer, S., Tasiran, S.
Cited in: 9 Publications (2009–2017)
Related Software: Eraser; Atomizer; FastTrack; Coq; SatAbs; CloSpan; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)

PROCOL

Software Authors:   van den Bos, Jan; Laffa, Chris
Cited in: 7 Publications (1991–2002)
Related Software: PICCOLA; AspectJ; JAsCo; Rapide; Simula 67; Eiffel; …
Main Fields: Computer science (68-XX)

DSCOVR

Software Authors:   Xiao, Lin; Yu, Adams Wei; Lin, Qihang; Chen, Weizhu
Cited in: 7 Publications (2019–2022)
Related Software: HOGWILD; Saga; DiSCO; AIDE; RCV1; LIBSVM; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

HYPERS

Software Authors:   Omelchenko, Y.A.; Karimabadi, H.
Cited in: 7 Publications (2012–2022)
Related Software: HPX; Gurobi; WRF-SFIRE; ForeFire; IPython; Matplotlib; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)

NESToolbox

Software Authors:   Kira Rehfeld, Bedartha Goswami
Cited in: 7 Publications (2014–2021)
Related Software: PearsonT; MEMSS; S-PLUS; BINCOR; nuSpectral; K2; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

PKind

Software Authors:   Kahsai T, Tinelli C
Cited in: 7 Publications (2013–2020)
Related Software: GitHub; SeaHorn; CPAchecker; CTIGAR; Esterel; StateFlow; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

SingleTrack

Software Authors:   Caitlin Sadowski; Stephen N. Freund; Cormac Flanagan
Cited in: 6 Publications (2009–2017)
Related Software: Atomizer; Velodrome; Soot; Cilk; CIL; Java Grande; …
Main Fields: Computer science (68-XX)

SyncGen

Software Authors:   Deng, Xianghua; Dwyer, Matthew B.; Hatcliff, John; Mizuno, Masaaki
Cited in: 7 Publications (2004–2016)
Related Software: ESC/Java; Bandera; SYNTHESIS; Atomizer; SLAM; BLAST; …
Main Fields: Computer science (68-XX)

yaSpMV

Software Authors:   S. Yan, Ch. Li, Y. Zhang, H. Zhou
Cited in: 7 Publications (2016–2020)
Related Software: SparseMatrix; clSpMV; CUDA; CUSPARSE; CUSP; CSR5; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

Checkmark

Software Authors:   Pereira, Shelby; Voloshynovskiy, Sviatoslav; Madueno, Maribel; Marchand-Maillet, Stéphan; Pun, Thierry
Cited in: 3 Publications (2001–2021)
Related Software: ZXing; Matlab; StirMark
Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX); Information and communication theory, circuits (94-XX)

Chipwhisperer

Software Authors:   O’Flynn, Colin; Chen, Zhizhang
Cited in: 6 Publications (2014–2021)
Related Software: GitHub; SIDH; SIKE; FreePDK45; Yosys; FastICA; …
Main Fields: Computer science (68-XX); Quantum theory (81-XX); Information and communication theory, circuits (94-XX)

ConTest

Software Authors:   Edelstein, Orit; Farchi, Eitan; Goldin, Evgeny; Nir, Yarden; Ratsaby, Gil; Ur, Shmuel
Cited in: 5 Publications (2003–2018)
Related Software: veriSoft; Eraser; Java PathFinder; ISP; Snugglebug; Boogie; …
Main Fields: Computer science (68-XX)

Rodinia

Software Authors:   Che, S., et al.
Cited in: 4 Publications (2014–2021)
Related Software: CUDA; Spearmint; ParEGO; BOCK; Virtual library; Auto-WEKA; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

ZooKeeper

Software Authors:   Apache
Cited in: 5 Publications (2016–2022)
Related Software: GitHub; Hadoop; MapReduce; go; Apache Samza; Cassandra; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

COSTABS

Software Authors:   Albert, E., Arenas, P., Genaim, S., Gómez-Zamalloa, M., Puebla, G.
Cited in: 5 Publications (2012–2017)
Related Software: ABS; SPEED; SACO; JCobox; Erlang; Featherweight Java; …
Main Fields: Computer science (68-XX)

Liszt

Software Authors:   Zachary DeVito, Niels Joubert, Francisco Palacios, Stephen Oakley, Montserrat Medina, Mike Barrientos, Erich Elsen, Frank Ham, Alex Aiken, Karthik Duraisamy, Eric Darve, Juan Alonso, Pat Hanrahan
Cited in: 3 Publications (2014–2020)
Related Software: Firedrake; PyOP2; FEniCS; OpenCL; OP2; Trilinos; …
Main Fields: Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX); Computer science (68-XX)

ParADE

Software Authors:   –
Cited in: 2 Publications (2005–2006)
Related Software: OpenACC; PVM; NAS Parallel Benchmarks; SKaMPI; MPI; MPI/MPICH; …
Main Fields: Computer science (68-XX)

Program-Conflict-Analysis

Software Authors:   Lammich, Peter; Müller-Olm, Markus
Cited in: 5 Publications (2008–2018)
Related Software: Archive Formal Proofs; MAGIC; BicolanoMT; Coq; Isabelle/HOL
Main Fields: Computer science (68-XX)

TLRW

Software Authors:   David Dice; Nir Shavit
Cited in: 4 Publications (2011–2020)
Related Software: RingSTM; NOrec; STAMP; JudoSTM; Synchrobench; TMunit; …
Main Fields: Computer science (68-XX); Quantum theory (81-XX); Information and communication theory, circuits (94-XX)

Velodrome

Software Authors:   Flanagan C, Freund SN, Yi J
Cited in: 5 Publications (2009–2017)
Related Software: Atomizer; SingleTrack; Checkfence; AVIO; GitHub; JavaScript; …
Main Fields: Computer science (68-XX)

AtomCaml

Software Authors:   Ringenburg, Michael F.; Grossman, Dan
Cited in: 3 Publications (2005–2022)
Related Software: SAMOA; JudoSTM; SPEC Benchmarks; PARSEC; Lee-TM; SPLASH-2; …
Main Fields: Computer science (68-XX)

Autolocker

Software Authors:   Mccloskey, B.; Zhou, F.; Gay, D.; Brewer, E.
Cited in: 4 Publications (2009–2017)
Related Software: CIL; PhTM; Feather-Trace; STAMP; SNZI; Atomizer; …
Main Fields: Computer science (68-XX)

C-HEAP

Software Authors:   Nieuwland, Andr\'e; Kang, Jeffrey; Gangwal, Om Prakash; Sethuraman, Ramanathan; Bus\'a, Natalino; Goossens, Kees; Llopis, Rafael Peset; Lippens, Paul
Cited in: 3 Publications (2002–2006)
Related Software:
Main Fields: Computer science (68-XX)

CHOPtrey

Software Authors:   Ben Khaled-El Feki, A.; Duval, L.; Faure, C.; Simon, D.; Ben Gaid, M.
Cited in: 4 Publications (2020–2022)
Related Software: FMI; SUNDIALS; Adams; LSODE; Modelica
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of particles and systems (70-XX)

Feather-Trace

Software Authors:   Brandenburg B, Anderson J
Cited in: 4 Publications (2010–2013)
Related Software: AQuoSA; PAPI; LITMUS; CIL; PhTM; STAMP; …
Main Fields: Computer science (68-XX)

GRace

Software Authors:   Mai Zheng, Vignesh T. Ravi, Feng Qin, Gagan Agrawal
Cited 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)

Guava

Software Authors:   David F. Bacon, Robert E. Strom, Ashis Tarafdar
Cited in: 1 Publication (2005)
Related Software: Modula; AtomCaml; PLAN; Atomizer; OCaml; QuakeTM; …
Main Fields: Computer science (68-XX)

Limi

Software Authors:   Černý, Pavol; Clarke, Edmund M.; Henzinger, Thomas A.; Radhakrishna, Arjun; Ryzhyk, Leonid; Samanta, Roopsha; Tarrach, Thorsten
Cited in: 4 Publications (2015–2019)
Related Software: Liss; CBMC; SymDiff; DART; kepler98; NModel; …
Main Fields: Computer science (68-XX)

Liss

Software Authors:   Černý, Pavol Author Profile; Clarke, Edmund M.; Henzinger, Thomas A.; Radhakrishna, Arjun; Ryzhyk, Leonid; Samanta, Roopsha; Tarrach, Thorsten
Cited in: 4 Publications (2015–2019)
Related Software: Limi; CBMC; SymDiff; DART; kepler98; NModel; …
Main Fields: Computer science (68-XX)

MIRROR

Software Authors:   Xiong, Ming; Ramamritham, Krithi; Haritsa, Jayant R.; Stankovic, John A.
Cited in: 3 Publications (2002–2020)
Related Software: SimDVS
Main Fields: Computer science (68-XX)

Natix

Software Authors:   Fiebig, Thorsten; Helmer, Sven; Kanne, Carl-Christian; Moerkotte, Guido; Neumann, Julia; Schiele, Robert; Westmann, Till
Cited in: 2 Publications (2001–2003)
Related Software: XPath; XMark; XMill; eXist; XQuery
Main Fields: Computer science (68-XX)

ompFEAP

Software Authors:   Jarzebski, P.; Wisniewski, K.; Taylor, R.L.
Cited in: 4 Publications (2015–2019)
Related Software: FEAP; AceFEM; PetIGA; Netgen; WARP3D; DROPS; …
Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Classical thermodynamics, heat transfer (80-XX)

openSMILE

Software Authors:   F. Eyben, F. Weninger, F. Groß, B. Schuller
Cited in: 2 Publications (2018–2020)
Related Software: SciPy; LibROSA; pysptk; SPTK; MIRtoolbox; Troparion; …
Main Fields: Computer science (68-XX); Fluid mechanics (76-XX); Biology and other natural sciences (92-XX)

Path Pascal

Software Authors:   Robert B Kolstad; Roy H. Campbell
Cited in: 4 Publications (1986–1997)
Related Software: COSY; PAL-11A; Ada95; Smalltalk; Modula; KITARA; …
Main Fields: Computer science (68-XX)

SWARM

Software Authors:   Bader, D. A.; Kanade, V.; Madduri, K.
Cited in: 4 Publications (2010–2016)
Related Software: OpenCL; Intel TBB; FastFlow; Wool; PLASMA; MAGMA; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

SWiMNet

Software Authors:   Boukerche, Azzedine; Das, Sajal K.; Fabbri, Alessandro
Cited in: 3 Publications (2001–2008)
Related Software: GloMoSim; Tmix; Network Simulator 2; DRAMA; PARAMICS; MoVES
Main Fields: Computer science (68-XX)

TRACO

Software Authors:   Marek Palkowski, Tomasz Klimek, Wlodzimierz Bielecki
Cited in: 2 Publications (2016–2018)
Related Software: isl; Omega; barvinok
Main Fields: Combinatorics (05-XX); Convex and discrete geometry (52-XX); Numerical analysis (65-XX)

Unison

Software Authors:   Pierce, Benjamin C.; Vouillon, Jérôme
Cited in: 4 Publications (2001–2011)
Related Software: Zing; Coq
Main Fields: Computer science (68-XX)

VeriSIMPL

Software Authors:   Adzkiya, Dieky; Zhang, Yining; Abate, Alessandro
Cited in: 3 Publications (2015–2018)
Related Software: Algorithm 97; opaal; Ellipsoidal Toolbox; MPT; FaPAS; Maxplus; …
Main Fields: Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX); Systems theory; control (93-XX)

Alfalfa

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

CometG

Software Authors:   Li, Zhen; Parashar, Manish
Cited in: 1 Publication (2006)
Related Software: Chord; Linda; Satin; ABCtoolbox; AutoDock; CHARMM; …
Main Fields: Computer science (68-XX)

ComPASS

Software Authors:   Dalissier, E.; Guichard, C.; Hav'e, P.; Masson, R.; Yang, C.
Cited in: 3 Publications (2013–2017)
Related Software: Trilinos; PETSc; MPI/MPICH; ParaView; METIS; DUNE; …
Main Fields: Numerical analysis (65-XX); Fluid mechanics (76-XX)

CUPyDO

Software Authors:   Thomas, D.; Cerquaglia, M.; Boman, R.; Economon, T.; Alonso, J.; Dimitriadis, G.; Terrapon, V.
Cited in: 3 Publications (2019–2022)
Related Software: preCICE; JiTCSDE; JiTCODE; JiTCDDE; Ode15s; OpenFPCI; …
Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX)

Flat-Combining

Software Authors:   Hendler, D., Incze, I., Shavit, N., Tzafrir, M.
Cited in: 2 Publications (2013–2014)
Related Software: Hoard; PSim; GitHub
Main Fields: Computer science (68-XX)

FOMNE

Software Authors:   Rajagopal, Karthikeyan; Guessas, Laarem; Karthikeyan, Anitha; Srinivasan, Ashokkumar; Adam, Girma
Cited in: 3 Publications (2017–2021)
Related Software: Matlab
Main Fields: Real functions (26-XX); Ordinary differential equations (34-XX); Systems theory; control (93-XX)

HyDI

Software Authors:   Cimatti A, Mover S, Tonetta S
Cited in: 3 Publications (2013–2015)
Related Software: SpaceEx; MathSAT; HySAT; HyCreate; HYST; Charon; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-XX)

LDSL-tool

Software Authors:   Mindaugas Radziunas; WIAS
Cited in: 3 Publications (2004–2006)
Related Software: LOCA; DDE-BIFTOOL; AUTO
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX)

Lesser Bear

Software Authors:   Oguma, Hisashi; Nakayama, Yasuichi
Cited in: 3 Publications (2001–2002)
Related Software:
Main Fields: Computer science (68-XX)

McAiT

Software Authors:   Lv, Mingsong; Guan, Nan; Deng, Qingxu; Yu, Ge; Yi, Wang
Cited in: 1 Publication (2013)
Related Software: OTAWA; CPAchecker; REDLIB; Synthia; UPPAAL TIGA; CMC; …
Main Fields: Computer science (68-XX)

PGWFT

Software Authors:   Cao, H., Jin, H., Wu, S., and Tao, Y.
Cited in: 2 Publications (2010–2012)
Related Software: TAO; GeoNames
Main Fields: Computer science (68-XX)

PROMETHEUS

Software Authors:   G. Gössler
Cited in: 2 Publications (2002–2007)
Related Software: Doxygen; Esterel; LusSy; Pinapa; CBMC; SystemC; …
Main Fields: Computer science (68-XX)

PSim

Software Authors:   Fatourou, Panagiota; Kallimanis, Nikolaos D.
Cited in: 3 Publications (2014–2020)
Related Software: Flat-Combining; Hoard; GitHub
Main Fields: Computer science (68-XX)

Synchrobench

Software Authors:   Vincent Gramoli
Cited in: 3 Publications (2016–2018)
Related Software: NOrec; NUMASK; JudoSTM; TLRW; TMunit; DiSTM
Main Fields: Computer science (68-XX)

TMunit

Software Authors:   Harmanci, D.; Felber, P.; Gramoli, V.; Fetzer, C.
Cited in: 2 Publications (2010–2018)
Related Software: STAMP; JudoSTM; Synchrobench; TLRW; NOrec; DiSTM; …
Main Fields: Computer science (68-XX)

BlockStab

Software Authors:   Carson, Erin; Lund, Kathryn; Rozložník, Miroslav; Thomas, Stephen
Cited in: 2 Publications (2022)
Related Software: lobpcg.m; GitHub; CholeskyQR2; CholQR; mctoolbox; Matlab; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX)

BRISK

Software Authors:   Bakić, Aleksandar; Mutka, Matt W.; Rover, Diane T.
Cited in: 2 Publications (2000–2005)
Related Software: CLOS; MICO
Main Fields: Computer science (68-XX)

CBabel

Software Authors:   Rademaker, Alexandre; Braga, Christiano; Sztajnberg, Alexandre
Cited in: 2 Publications (2005–2009)
Related Software: Maude; GraphML; SLMC; yEd
Main Fields: Computer science (68-XX)

CURD

Software Authors:   Yuanfeng Peng, Vinod Grover, Joseph Devietti
Cited in: 1 Publication (2021)
Related Software: GRace; GMRace; GKLEE; BARRACUDA; GPUVerify; CUDA; …
Main Fields: Computer science (68-XX)

DLC

Software Authors:   Hugues Evrard
Cited in: 2 Publications (2015–2017)
Related Software: MCGP; XTL; LNT2LOTOS; UNITY; Exp.Open; Reo; …
Main Fields: Computer science (68-XX)

EAGL

Software Authors:   Pu, Shi; Liu, Jyh-Charn
Cited in: 2 Publications (2014–2015)
Related Software: PandA; MIRACL; CUDA
Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Information and communication theory, circuits (94-XX)

FASAN

Software Authors:   Ebner, Ralf; Pfaffinger, Alexander
Cited in: 2 Publications (1998–1999)
Related Software: Haskell
Main Fields: Numerical analysis (65-XX); Computer science (68-XX)

Frankencamera

Software Authors:   Andrew Adams et al
Cited in: 1 Publication (2016)
Related Software:
Main Fields: Harmonic analysis on Euclidean spaces (42-XX); Probability theory and stochastic processes (60-XX); Information and communication theory, circuits (94-XX)

Gauss

Software Authors:   Robert Palmer; Steve Barrus; Yu Yang; Ganesh Gopalakrishnan; Robert M. Kirby
Cited in: 2 Publications (2011–2018)
Related Software: ISP; SPIN; SimGridMC; KITTeL; ASTREE; SIMGRID; …
Main Fields: Computer science (68-XX)

Grex

Software Authors:   C. Basaran, K.-D. Kang
Cited in: 1 Publication (2016)
Related Software: Spark; SciMATE; SciHive; Vispark; Hadoop; MapReduce
Main Fields: Numerical analysis (65-XX); Computer science (68-XX)

HAL_

Software Authors:   Chris Houck , Gul Agha
Cited in: 2 Publications (1992–2000)
Related Software: Python; CHARM++; Oz; PROCOL; Ada95
Main Fields: Computer science (68-XX)

HCSP

Software Authors:   Lawrence, Adrian E.
Cited in: 2 Publications (1998–2017)
Related Software: HProver
Main Fields: Computer science (68-XX); Systems theory; control (93-XX)

HiperTM

Software Authors:   Hirve, Sachin; Palmieri, Roberto; Ravindran, Binoy
Cited in: 1 Publication (2017)
Related Software: PostgreSQL; TPC-C
Main Fields: Computer science (68-XX)

HPPNetSim

Software Authors:   –
Cited in: 0 Publications
Related Software: SimK; Chaco
Main Fields:

JOTSA

Software Authors:   S. Robbins
Cited in: 2 Publications (2002)
Related Software: FAUST; CAITLIN; Tango; ANIMAL; Pavane; MUSE; …
Main Fields: Computer science (68-XX)

JTransformer

Software Authors:   Günter Kniesel, Fabian Noth, Andreas Becker, et al.
Cited in: 0 Publications
Related Software: PAG; Simian; CloneDifferentiator; ARIES; Cultivate
Main Fields:

loa

Software Authors:   Karl Ropkins
Cited in: 0 Publications
Related Software: R; RgoogleMaps; UScensus2000cdp; Geoxp; LISP-STAT; geoCount; …
Main Fields:

Maestro

Software Authors:   Spafford, K.; Meredith, J. S.; Vetter, J. S.
Cited in: 1 Publication (2015)
Related Software: Chapel; Intel TBB; Java Grande; OpenACC; Polyglot; Cilk; …
Main Fields: Computer science (68-XX)

MCGS

Software Authors:   Maheswaran, Muthucumaru; Webb, Kevin J.; Siegel, Howard Jay
Cited in: 2 Publications (1999–2004)
Related Software: SPARSKIT; ITSOL
Main Fields: Numerical analysis (65-XX); Optics, electromagnetic theory (78-XX)

McPatom

Software Authors:   Zeng R, Sun Z, Liu S, He X
Cited in: 1 Publication (2021)
Related Software: Eraser; RacerX; ChibiOS; RELAY; FreeRTOS; ArduPilot
Main Fields: Computer science (68-XX)

MultiRace

Software Authors:   Eli Pozniansky, Assaf Schuster
Cited in: 1 Publication (2017)
Related Software: ThreadSanitizer; CDSChecker; ktsan; tsan; RELAY; LOCKSMITH; …
Main Fields: Computer science (68-XX)

Noble

Software Authors:   H. Sundell, P. Tsigas
Cited in: 2 Publications (2008–2015)
Related Software: Intel TBB; Python
Main Fields: Computer science (68-XX)

OptQC

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

PaFiBo-OBGAIM

Software Authors:   Gravvanis, G.A.; Filelis-Papadopoulos, C.K.; Giannoutakis, K.M.; Lipitakis, E.A.
Cited in: 2 Publications (2013–2018)
Related Software: PEPBICG-STAB; GenASPI; FSAIPACK; ParaSails; BILUTM; SparseMatrix; …
Main Fields: Numerical analysis (65-XX)