• AspectJ

  • Referenced in 130 articles [sw04426]
  • just a few new constructs, AspectJ provides support for modular implementation of a range ... method-like constructs that can be attached to pointcuts; and aspects are modular units...
  • EvalVid

  • Referenced in 7 articles [sw01348]
  • calculation. The tool-set has a modular construction, making it possible to exchange both...
  • ScicosLab

  • Referenced in 4 articles [sw04931]
  • because it provides a means for constructing modular and reusable models. This part contains...
  • SWIG

  • Referenced in 49 articles [sw04607]
  • have become a powerful tool for the construction of flexible scientific software because they provide ... problem solving environment and they form a modular framework for controlling software components written...
  • Why3

  • Referenced in 130 articles [sw04438]
  • WhyML programs directly and get correct-by-construction OCaml programs through an automated extraction mechanism ... library. An important emphasis is put on modularity and genericity, giving the end user...
  • CaesarJ

  • Referenced in 10 articles [sw24979]
  • classes and packages in a single powerful construct that helps to solve ... well as for development of well modularized flexible aspects. In this way we demonstrate that ... combination of aspect-oriented constructs for joinpoint interception with advanced modularization techniques like virtual classes...
  • GROW

  • Referenced in 3 articles [sw18662]
  • iterative, gradient-based optimization workflow. The modularly constructed tool consists of a main control script...
  • GreatSPN

  • Referenced in 57 articles [sw00384]
  • many separate programs that cooperate in the construction and analysis of PN models by sharing ... machines in a distributed computing environment. The modular structure of GreatSPN2.0 makes it open...
  • MMH

  • Referenced in 14 articles [sw24968]
  • construction is based on techniques due to Carter and Wegman for universal hashing using modular ... fast software implementation. We prove the resultant construction to retain the necessary mathematical properties required...
  • PNTooL

  • Referenced in 2 articles [sw13754]
  • python library for the modular construction of Petri nets transducers (PNTs) through composition operations. Constructed...
  • TWODANT

  • Referenced in 1 article [sw21203]
  • transport equation. TWODANT uses the same modular construction as the ONEDANT code. This modular construction...
  • BubbleProfiler

  • Referenced in 3 articles [sw31803]
  • single field cases. BubbleProfiler is constructed with modularity, flexibility and practicality in mind. These principles...
  • GloMoSim

  • Referenced in 60 articles [sw13764]
  • higher) layer only via these APIs. The modular implementation enables consistent comparison of multiple protocols ... distributed memory multicomputer. These experiments use models constructed from the library modules...
  • XASM

  • Referenced in 6 articles [sw21003]
  • other features - add a modularization concept to the core ASM constructs in order to provide ... presented. XASM realizes a component-based modularization concept based on the notion of external functions...
  • Frenetic

  • Referenced in 6 articles [sw16270]
  • fail to provide even rudimentary support for modular programming. As a result, network programs tend ... this domain, these constructs are - by design - fully compositional, which facilitates modular reasoning and enables...
  • HIP

  • Referenced in 27 articles [sw09786]
  • simple imperative language, able to modularly verify the specifications of heap-manipulating programs. The specification ... given annotations for each method/loop, HIP will construct a set of separation logic proof obligations...
  • IBPT

  • Referenced in 2 articles [sw21928]
  • building physics. The toolbox is constructed as a modular structure of standard building elements, using...
  • GeNGe

  • Referenced in 2 articles [sw29326]
  • user-defined or constructed in a modular way with the option to introduce global...
  • FreeHyTE

  • Referenced in 9 articles [sw30297]
  • phases of the algorithm, including data input, construction and manipulation of the solving system ... post-processing of the results. Moreover, the modular structure of FreeHyTE enables the integration...
  • MRST-AD

  • Referenced in 23 articles [sw25330]
  • flexible grid structure that enables simple construction of discrete differential operators; and (iii) automatic differentiation ... algebraic operations. We have implemented a modular, efficient framework for implementing and comparing different physical...