• JAsCo

  • Referenced in 11 articles [sw01974]
  • more aspect beans within a concrete component context and allows specifying an explicit combination ... that allows to add, alter and remove aspects while the application is running ... concepts: AspectJ-like pointcuts, independent aspects, explicit deployment in connectors, expressive aspect combinations, aspectual polymorphism...
  • Snoop

  • Referenced in 13 articles [sw17981]
  • explicit, and composite events in addition to the traditional database events. The novel aspect...
  • SymDIVINE

  • Referenced in 3 articles [sw26690]
  • executor and an explicit-state model checker. The key differentiating aspect present in SymDIVINE...
  • AMRA

  • Referenced in 4 articles [sw02241]
  • gravity, nuclear burning, physical viscosity, implicit and explicit schemes for conductive transport, simplified photoionization ... losses from an optically thin plasma. Several aspects related to the accuracy and stability...
  • IDARC-BRIDGE

  • Referenced in 1 article [sw11978]
  • bridges that allows many aspects of bridge behavior to be explicitly modeled. Many...
  • FDEM

  • Referenced in 8 articles [sw10383]
  • obtained. An error equation permits the explicit following of all errors and gives the prescriptions ... difference method (FDM) that is in all aspects more flexible than the finite element method...
  • GNUC

  • Referenced in 10 articles [sw12669]
  • deviate from UC in several important aspects. Specifically, we have a rather different view than ... minimal changes. We exemplify this by giving explicit formulations for several important protocol tasks, including...
  • STMBench7

  • Referenced in 9 articles [sw08814]
  • aims to be more scalable than explicit coarse-grained locking and easier to use than ... steer researchers to try to optimize irrelevant aspects of their implementations. This paper presents STMBench7...
  • HyDI

  • Referenced in 3 articles [sw11912]
  • symbolic language SMV with timing and synchronization aspects. The language distinguishes between discrete and continuous ... asynchronous components of a network and use explicit events to synchronize. The new language...
  • odeToJava

  • Referenced in 1 article [sw17452]
  • scientists and engineers. However, despite these positive aspects, PSEs typically do not offer the level ... problems in ordinary differential equations. odeToJava implements explicit and linearly implicit implicit-explicit Runge-Kutta ... user control and flexibility over the implementational aspects of these methods. We illustrate the usage...
  • pomegranate

  • Referenced in 2 articles [sw26684]
  • encompasses a wide range of methods that explicitly describe uncertainty using probability distributions. Three widely ... their understanding of the underlying algorithms. An aspect of this focus involves the collection...
  • ForestSim

  • Referenced in 1 article [sw28010]
  • ForestSim: Spatially explicit agent-based modeling of non-industrial forest owner policies. This paper describes ... those interested in exploring more nuanced aspects of non-industrial private forest owner decision-making...
  • SLFFEA

  • Referenced in 1 article [sw05375]
  • presented in detail to give an explicit description of how upwinding terms are treated based ... giving a comprehensive discussion of all the aspects of this algorithm, including staggered grids, advancing...
  • SeVe

  • Referenced in 2 articles [sw06547]
  • ability, which either needs to be specified explicitly or set by default, is not flexible ... security verifiers in several aspects. Moreover, it also proves the ability in building an automatic...
  • CyLP

  • Referenced in 1 article [sw24590]
  • simplex method differ mostly in specific aspects such as the pivot rule. Similarly, most relaxation ... open-source linear programming package CLP, without explicitly interacting with the underlying C++ layers...
  • SenHint

  • Referenced in 0 articles [sw36774]
  • state-of-the-art techniques for aspect-level sentiment analysis focus on feature modeling using ... observation that linguistic hints (e.g. explicit sentiment words and shift words) can be strong indicators ... accuracy; (2) to capture implicit relations between aspect polarities. We also empirically evaluate the performance...
  • FGb

  • Referenced in 244 articles [sw00286]
  • FGb/Gb libraryGb is a program (191 420 lines...
  • Gmsh

  • Referenced in 644 articles [sw00366]
  • Gmsh is a 3D finite element grid generator...
  • LAPACK

  • Referenced in 1654 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • Macaulay2

  • Referenced in 1776 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...