Results 1 to 20 of 1343
Sort by:

  • 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 369 articles [sw04317]
  • support from OpenCFD. It follows a highly modular code design in which collections of functionality...

  • 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...

  • LMFDB
  • Referenced in 99 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...

  • DUNE
  • Referenced in 134 articles [sw01466]
  • Distributed and Unified Numerics Environment is a modular toolbox for solving partial differential equations (PDEs...

  • Why3
  • Referenced in 126 articles [sw04438]
  • library. An important emphasis is put on modularity and genericity, giving the end user...

  • GenLouvain
  • Referenced in 73 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...

  • Keras
  • Referenced in 81 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...

  • Ptolemy
  • Referenced in 77 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...

  • MeatAxe
  • Referenced in 64 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 89 articles [sw12935]
  • MOCHA: Modularity in Model Checking. MOCHA is a growing interactive software environment for system specification...

  • CUTEst
  • Referenced in 87 articles [sw11893]
  • memory allocation, a modern thread-safe Fortran modular design, a new Matlab interface...

  • AVISPA
  • Referenced in 81 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 75 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...

  • ALF
  • Referenced in 67 articles [sw08603]
  • proof object containing placeholders. A modular type/proof checking algorithm for complete proof objects is presented...