-
XFEM
- Referenced in 358 articles
[sw01026]
- extended finite element (XFEM) computations and a modular and extensible system. The programme structure ... designed to meet all natural requirements for modularity, extensibility, and robustness. To facilitate mesh -- geometry...
-
OpenFOAM
- Referenced in 390 articles
[sw04317]
- support from OpenCFD. It follows a highly modular code design in which collections of functionality...
-
Modula
- Referenced in 197 articles
[sw01224]
- Wirth called Modula. A language for modular multiprogramming published 1976.[1] Modula was first implemented...
-
AspectJ
- Referenced in 130 articles
[sw04426]
- constructs, AspectJ provides support for modular implementation of a range of crosscutting concerns. In AspectJ ... attached to pointcuts; and aspects are modular units of crosscutting implementation, comprising pointcuts, advice...
-
ELAN
- Referenced in 108 articles
[sw02179]
- decision procedures and to offer a modular framework for studying their combination. Its purpose ... decision procedures and to offer a modular framework for studying their combination. ELAN takes from...
-
DUNE
- Referenced in 147 articles
[sw01466]
- Distributed and Unified Numerics Environment is a modular toolbox for solving partial differential equations (PDEs...
-
LMFDB
- Referenced in 103 articles
[sw07249]
- LMFDB, the database of L-functions, modular forms, and related objects. These pages are intended ... examples of L-functions coming from modular forms, elliptic curves, number fields, and Dirichlet characters...
-
Keras
- Referenced in 94 articles
[sw15491]
- TensorFlow. Keras is a minimalist, highly modular neural networks library, written in Python and capable ... easy and fast prototyping (through total modularity, minimalism, and extensibility). supports both convolutional networks...
-
Why3
- Referenced in 128 articles
[sw04438]
- library. An important emphasis is put on modularity and genericity, giving the end user...
-
GenLouvain
- Referenced in 76 articles
[sw13826]
- quality function in terms of a generalized-modularity null model framework and then follows ... codes here work directly with the modularity matrix, not the adjacency matrix. That ... quality function specified in terms of a modularity matrix; but as such it does...
-
Ptolemy
- Referenced in 78 articles
[sw07459]
- modular formal semantics for Ptolemy. Ptolemy is an open-source and extensible modelling and simulation ... formal semantics for Ptolemy that is modular in the sense that atomic actors and their...
-
CUTEst
- Referenced in 92 articles
[sw11893]
- memory allocation, a modern thread-safe Fortran modular design, a new Matlab interface...
-
MeatAxe
- Referenced in 65 articles
[sw04906]
- MeatAxe - Computing with Modular Representations. The MeatAxe is a set of programs for working with ... primary purpose is the calculation of modular character tables, although it can be used...
-
MOCHA
- Referenced in 90 articles
[sw12935]
- MOCHA: Modularity in Model Checking. MOCHA is a growing interactive software environment for system specification...
-
AVISPA
- Referenced in 84 articles
[sw03172]
- sensitive protocols and applications. It provides a modular and expressive formal language for specifying protocols...
-
Cactus
- Referenced in 78 articles
[sw04422]
- rewrite of earlier versions, which enables highly modular, multi-language, parallel applications to be developed...
-
LLVM
- Referenced in 78 articles
[sw04892]
- LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Despite...
-
Bebop
- Referenced in 74 articles
[sw08928]
- implicitly using BDDs. By harnessing the inherent modularity in procedural abstraction and exploiting the locality...
-
Smallfoot
- Referenced in 52 articles
[sw09787]
- Smallfoot: Modular automatic assertion checking with separation logic. Separation logic is a program logic ... hiding in the presence of pointers; and modular reasoning about concurrent programs...
-
Reduze
- Referenced in 72 articles
[sw10354]
- different topologies is supported via a modular, load balancing job system. Fast graph and matroid...