• TACO

  • Referenced in 6 articles [sw07668]
  • which implements a novel, general and fully automated technique for the SAT-based analysis ... breaking predicate that allows for the parallel, automated computation of tight bounds for Java fields...
  • SPTHEO

  • Referenced in 4 articles [sw21561]
  • SETHEO=SPTHEO. This paper describes the parallel automated theorem prover SPTHEO, a parallelization...
  • ANSYS-CFX

  • Referenced in 97 articles [sw06391]
  • solutions quickly and robustly. The modern, highly parallelized solver is the foundation for an abundant ... environment, with extensive capabilities for customization and automation using session files, scripting and a powerful...
  • Firedrake

  • Referenced in 67 articles [sw14923]
  • Firedrake is an automated system for the portable solution of partial differential equations using ... from the FEniCS Project while the parallel execution of FEM assembly is accomplished...
  • runjags

  • Referenced in 14 articles [sw10688]
  • primary functions facilitate running parallel JAGS models for multiple chains, automated control of convergence...
  • Neurofitter

  • Referenced in 12 articles [sw09289]
  • Automated neuron model optimization techniques: The increase in complexity of computational neuron models makes ... ever. Fortunately, the parallel increase in computer power allows scientists to automate this tuning. Optimization...
  • FE-BUI

  • Referenced in 1 article [sw15472]
  • User Interface: A homemade package for automated parallel finite element computations. A computational package ... introduced for automated parallelization of finite element codes. The package has been developed...
  • Atune-IL

  • Referenced in 3 articles [sw29913]
  • Instrumentation Language for Auto-tuning Parallel Applications. Auto-tuners automate the performance tuning of parallel...
  • PLab

  • Referenced in 1 article [sw17912]
  • expressions, and also to perform automated parallelization of Matlab ’for’-loops. This works for loops...
  • COUPL+

  • Referenced in 1 article [sw18595]
  • Efficient parallel algorithms for numerical simulation. COUPL+ is a programming environment for applications using unstructured ... hybrid grids for numerical simulations. It automates parallelization by handling the partitioning of data...
  • VTune

  • Referenced in 19 articles [sw08852]
  • VTune™ Amplifier. Performance profiler for serial and parallel performance analysis. Collect a rich ... results for quick insight into performance bottlenecks. Automate regression tests and collect data remotely using...
  • Algorithm 995

  • Referenced in 1 article [sw36033]
  • element analysis. A bottom-up approach to parallel anisotropic mesh generation is presented by building ... focus on two-dimensional domains. This automated parallel mesh generation approach can generate high-fidelity...
  • DUNE-FEM-DG

  • Referenced in 2 articles [sw37061]
  • discuss asynchronous communication, shared memory parallelization, and automated code generation which combined result...
  • SOFT

  • Referenced in 5 articles [sw03485]
  • paper, we present a parallel computational framework for the completely automated design of a Vertical ... follows Simulation: We use a parallel CFD algorithm to run a direct simulation...
  • SPIRAL

  • Referenced in 46 articles [sw00903]
  • including SSE, multicore, Cell, GPU, distributed memory parallel processors, and FPGA, and has produced some ... implementations. This talk provides an overview of automated generation of DSP algorithms using the SPIRAL...
  • Pmapper

  • Referenced in 2 articles [sw08811]
  • knowledge of programming languages, parallel computing, and processor architecture. pMapper automates the task ... productivity. In addition to automating the mapping of parallel Matlab programs, pMapper could be used...
  • modred

  • Referenced in 3 articles [sw17490]
  • typically not computationally demanding and are not parallelized. The library is designed to be easy ... design, and includes comprehensive automated tests. In almost all cases, parallelization is done internally...
  • Graphplus Templet

  • Referenced in 1 article [sw32479]
  • programming software package Graphplus Templet. The parallel programming automation software package named Graphplus Templet...
  • PaGMO/PyGMO

  • Referenced in 11 articles [sw05070]
  • software is to provide a parallelization engine common to all algorithms through the ’generalized island ... code was intended to help the automated design of interplanetary trajectories and spacecraft transfers...
  • CUDA-Zero

  • Referenced in 2 articles [sw14130]
  • studied the possibilities of automating the process of parallelization to multi-GPUs. Starting from...