Sign in
Ctrl K

All software

1Filter
Keywords
103
Program languages
36
Licenses
14
25-35 of 35
Cover image for Palladio

Palladio

Palladio is a software architecture simulation approach which analyses software at the model level for performance bottlenecks, scalability issues, reliability threats, and allows for subsequent optimisation.

  • Component-Based Software Engineering
  • Information
  • Modeling
  • + 3
    3
    696
    Cover image for PEPC

    PEPC

    The PEPC project (Pretty Efficient Parallel Coulomb Solver) is a public tree code that has been developed at Jülich Supercomputing Centre since the early 2000s. Our code is a non-recursive version of the Barnes-Hut algorithm, using a level-by-level approach to both tree construction and traversals.

    • Barnes-Hut
    • High performance computing
    • hpc
    • + 2
    • Fortran Free Form
    • C
    • Shell
    • + 2
    7
    77
    Cover image for Propulate

    Propulate

    An asynchronous evolutionary optimization algorithm and software package for global optimization and hyperparameter search on high-performance computers.

    • Aeronautics, Space and Transport
    • Earth & Environment
    • Energy
    • + 9
    • Python
    6
    5
    Cover image for pySDC

    pySDC

    pySDC is a Python implementation of the spectral deferred correction approach and its flavors, esp. the parallel-in-time extension PFASST. It is intended for rapid prototyping and educational purposes. New ideas can be tested and first toy problems can be easily implemented.

    • collocation
    • high-performance computing
    • Information
    • + 4
    • Jupyter Notebook
    • Python
    • C++
    • + 2
    5
    5
    Cover image for Rankings Reloaded

    Rankings Reloaded

    Rankings Reloaded is an open-source toolkit for robust and accurate benchmark visualization and ranking. It is an out-of-the-box and open-source framework for analyzing and visualizing algorithm results in an accurate way. It uses challengeR and brings advantages of it with user-friendly interface.

    • Data analysis
    • Data Visualization
    • Information
    • + 1
    • R
    3
    1
    Cover image for Scalasca

    Scalasca

    The Scalasca Trace Tools support performance optimization of parallel programs with a collection of highly scalable trace-based tools for in-depth analyses of concurrent behavior, in particular with respect to communication and synchronization, and offers guidance in exploring their causes.

    • hpc
    • Information
    • Performance Analysis
    • + 3
      16
      107
      Cover image for SciTS

      SciTS

      A tool to benchmark Time-series on different databases.

      • Benchmark
      • Benchmarking
      • database
      • + 3
      • Jupyter Notebook
      • C#
      • Python
      • + 1
      1
      1
      Cover image for Score-P

      Score-P

      Score-P provides insight into massively parallel HPC applications, their communication, synchronization, I/O, and scaling behaviour to pinpoint performance bottlenecks and their causes.

      • hpc
      • Information
      • instrumentation
      • + 5
      • C
      • C++
      • M4Sugar
      • + 2
      39
      415
      Cover image for Tamarin Prover

      Tamarin Prover

      The Tamarin Prover is a state-of-the-art tool for the analysis of security protocols, which underpin the security of modern distributed computing.

      • Cryptographic Protocols
      • Formal Verification
      • Information
      • Haskell
      • Python
      • JavaScript
      • + 6
      0
      0
      Cover image for TrixiParticles.jl

      TrixiParticles.jl

      Particle-based multiphysics simulations in Julia

      • CFD
      • Earth & Environment
      • Information
      • + 2
      • Julia
      6
      0
      Cover image for UNICORE

      UNICORE

      UNICORE (UNiform Interface to COmputing REsources) provides tools and services for building federated systems, making high-performance computing and data resources accessible in a seamless and secure way for a wide variety of applications in intranets and the internet.

      • High performance computing
      • Information
      • Supercomputing
      • + 1
        9
        0