• PARPAP

  • Referenced in 33 articles [sw30926]
  • present the core optimization components of the PARPAP software. In the optimization kernel, a combination...
  • veriSoft

  • Referenced in 92 articles [sw01489]
  • deadlocks, etc.) and assertion violations in a software system by generating, controlling, and observing ... possible executions and interactions of all its components. It integrates automatic test generation, execution...
  • Proof General Kit

  • Referenced in 11 articles [sw09684]
  • Proof General Kit, a framework for software components tailored to interactive proof development. The goal...
  • STAMP

  • Referenced in 43 articles [sw09536]
  • statistical / econometric software system for time series models with unobserbed components such as trend, seasonal ... integrated part of the OxMetrics modular software system for data analysis with excellent data manipulation ... models are formulated directly in terms of components of interest and also therefore often referred...
  • CGAL

  • Referenced in 381 articles [sw00118]
  • spheres, smallest enclosing ellipsoid of points, principal component analysis), and kinetic data structures. All these ... further offers interfaces to third party software such as the GUI libraries Qt, Geomview...
  • HotFrame

  • Referenced in 7 articles [sw13457]
  • HotFrame, a framework that provides reusable software components in the metaheuristics domain. After a brief ... framework architecture defines the collaboration among software components (in particular with respect to the interface...
  • Manopt

  • Referenced in 113 articles [sw08493]
  • sensor network localization, camera network registration, independent component analysis, metric learning, dimensionality reduction ... user-friendly, documented piece of software dedicated to simplify experimenting with state...
  • Pyomo

  • Referenced in 56 articles [sw04910]
  • software is also provided. A detailed reference of Pyomo’s modeling components is illustrated with...
  • ToolBus

  • Referenced in 8 articles [sw02041]
  • control over the possible interactions between software components (“tools”) we forbid direct inter-tool communication...
  • Cytoscape

  • Referenced in 77 articles [sw09080]
  • Interaction Networks. Cytoscape is an open source software project for integrating biomolecular interaction networks with ... Although applicable to any system of molecular components and interactions, Cytoscape is most powerful when ... humans and model organisms. Cytoscape’s software Core provides basic functionality to layout and query...
  • CTL

  • Referenced in 10 articles [sw06766]
  • Template Library to realise distributed component-based software systems. This middleware was developed ... comfortable usage. Comparable Software Technologies are CORBA or CCA (Common Component Architecture). Till...
  • Eclat

  • Referenced in 7 articles [sw07273]
  • technique takes a program or software component, plus a set of correct executions — say, from...
  • Vertaf

  • Referenced in 4 articles [sw08200]
  • calls for the design of reusable software components, the synthesis and generation of software code ... Time Application Framework (VERTAF), which integrates software component-based reuse, formal synthesis, and formal verification ... embedded software. The proposed architecture for VERTAF is component-based and allows plug-and-play ... illustrated how high-level reuse of software components combined with automatic synthesis and verification...
  • ESMF

  • Referenced in 14 articles [sw05821]
  • Earth System Modeling Framework (ESMF) ESMF is software for building and coupling weather, climate ... pieces, or components. A component is a unit of software composition that has a coherent...
  • SODAS

  • Referenced in 70 articles [sw00885]
  • Official Data Analysis System) is a modular software in which each statistical method (symbolic objects ... description of groups, factorial discriminant analysis, principal component analysis, histograms and elementary statistics, segmentation tree ... chaining. A symbolic data analysis with SODAS software looks graphically like a chain with links...
  • POLIS

  • Referenced in 6 articles [sw03141]
  • times require reuse of hardware and software components. Reconfigurable hardware technology opens a new implementation...
  • FALKO

  • Referenced in 11 articles [sw04839]
  • Corporate Technology to design a component in a software package called FALKO. Main purpose ... handwritten C++ code of the other components to obtain the FALKO executable. The project started...
  • CoolBOT

  • Referenced in 3 articles [sw01781]
  • idea behind CoolBOT is that a software component should be something like an electronic component ... consider that a concept of software component analogous to an electronic component would allow using ... seen as the integration of multiple software components in the same way that electronic circuits ... robotic systems by integrating and composing software components was our main objective...
  • CHESS

  • Referenced in 5 articles [sw23089]
  • computation is the norm in important software components such as operating systems, databases ... increasing use of multithreading in application software as well. Unfortunately, the design of concurrent programs...
  • GridSolve

  • Referenced in 5 articles [sw02064]
  • remotely access both hardware and software components. The purpose of GridSolve is to create ... reap the benefits (shared processing, storage, software, data resources, etc.) of using the latter. This...