
ANTIGONE
 Referenced in 83 articles
[sw09241]
 general mixedinteger nonlinear global optimization framework. ANTIGONE is the evolution of the Global Mixed ... program and mixedinteger signomial optimization computational frameworks. To demonstrate the capacity of ANTIGONE, this...

MOOSE
 Referenced in 26 articles
[sw18084]
 MOOSE: A parallel computational framework for coupled systems of nonlinear equations. Systems of coupled, nonlinear ... Object Oriented Simulation Environment, a parallel computational framework targeted at the solution of such systems ... opposed to traditional dataflow oriented computational frameworks, MOOSE is instead founded on the mathematical...

Bonmin
 Referenced in 185 articles
[sw04766]
 algorithmic framework for convex mixed integer nonlinear programs. This paper is motivated by the fact ... proposed and implemented. Computational results that demonstrate the effectiveness of this framework are reported. Both...

Cactus
 Referenced in 78 articles
[sw04422]
 describe Cactus, a framework for building a variety of computing applications in science and engineering ... motivate by example the need for such frameworks to support multiplatform, high performance applications ... able to provide the latest advances in computational science, such as interchangeable parallel data distribution...

PLASMA
 Referenced in 44 articles
[sw12743]
 facing the Linear Algebra and High Performance Computing community due to the introduction of multi ... ultimate goal is to create software frameworks that enable programmers to simplify the process ... scalable yet highly efficient software framework for Computational Linear Algebra applications...

Snow
 Referenced in 20 articles
[sw01447]
 Snow: A parallel computing framework for the R system. This paper presents a simple parallel ... computing framework for the statistical programming language R. The system focuses on parallelization of familiar...

2D Arrangement
 Referenced in 35 articles
[sw11144]
 generic implementations of two algorithmic frameworks, that are, computing the zone of an arrangement ... frameworks are used in turn in the implementations of other operations on arrangements. Computing...

GAToolBox
 Referenced in 75 articles
[sw08681]
 control engineer within the framework of a existing computeraided control system design package...

Hadoop
 Referenced in 121 articles
[sw08481]
 framework that allows for the distributed processing of large data sets across clusters of computers...

Racoon
 Referenced in 16 articles
[sw08867]
 report on the development of a computational framework for the parallel, meshadaptive solution ... balancing. One, two and threedimensional test computations for the Euler equations have been carried ... show good parallel scaling behavior. The Racoon framework is currently used to study the formation...

DEAP
 Referenced in 17 articles
[sw08467]
 easy. DEAP is a novel evolutionary computation framework for rapid prototyping and testing of ideas...

MiniML
 Referenced in 46 articles
[sw29625]
 modal analysis of staged computation. We show that a type system based on the intuitionistic ... provides an expressive framework for specifying and analyzing computation stages in the context of typed...

OSL
 Referenced in 106 articles
[sw09295]
 framework of the IBM Optimization Subroutine Library. This class of methods uses quite different computational...

CloudSim
 Referenced in 24 articles
[sw10724]
 CloudSim: A Novel Framework for Modeling and Simulation of Cloud Computing Infrastructures and Services. Cloud ... computing focuses on delivery of reliable, secure, faulttolerant, sustainable, and scalable infrastructures for hosting ... CloudSim: a new generalized and extensible simulation framework that enables seamless modelling, simulation, and experimentation ... emerging Cloud computing infrastructures and management services. The simulation framework has the following novel features...

FRGC
 Referenced in 46 articles
[sw13805]
 based framework for describing and documenting computational experiments. The BEE will allow the description...

PESTO
 Referenced in 22 articles
[sw20864]
 composite convex optimization. We provide a framework for computing the exact worstcase performance...

Ptolemy
 Referenced in 78 articles
[sw07459]
 simulation framework. It offers heterogeneous modeling capabilities by allowing different models of computation, both untimed...

FramaC
 Referenced in 41 articles
[sw04626]
 static analysis techniques in a single collaborative framework. The collaborative approach of FramaC allows ... upon the results already computed by other analyzers in the framework. Thanks to this approach...

PolyBoRi
 Referenced in 44 articles
[sw00723]
 This work presents a new framework for Gröbnerbasis computations with Boolean polynomials. Boolean polynomials...

POWHEG BOX
 Referenced in 20 articles
[sw09149]
 general framework for implementing NLO calculations in shower Monte Carlo programs: the POWHEG ... illustrate the POWHEG BOX, a general computer code framework for implementing NLO calculations in shower...