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

EvalVid
 Referenced in 7 articles
[sw01348]
 calculation. The toolset 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 correctbyconstruction 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 aspectoriented constructs for joinpoint interception with advanced modularization techniques like virtual classes...

GROW
 Referenced in 3 articles
[sw18662]
 iterative, gradientbased 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 componentbased 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 heapmanipulating 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]
 userdefined 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 ... postprocessing of the results. Moreover, the modular structure of FreeHyTE enables the integration...

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