• ANTIGONE

  • Referenced in 83 articles [sw09241]
  • general mixed-integer nonlinear global optimization framework. ANTIGONE is the evolution of the Global Mixed ... program and mixed-integer 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 data-flow 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 multi-platform, 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 computer-aided 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, mesh-adaptive solution ... balancing. One-, two- and three-dimensional 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, fault-tolerant, 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 worst-case performance...
  • Ptolemy

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

  • Referenced in 41 articles [sw04626]
  • static analysis techniques in a single collaborative framework. The collaborative approach of Frama-C 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öbner-basis 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...