Ctrl K
Software Highlights
Browse all Highlights

All software

1Filter
Keywords
20
Program languages
7
Licenses
4
1-6 of 6
Logo for Artifact for paper (Alpinist: an Annotation-Aware GPU Program Optimizer)

Artifact for paper (Alpinist: an Annotation-Aware GPU Program Optimizer)

Artifact for paper (Alpinist: an Annotation-Aware GPU Program Optimizer)

  • Annotation-aware
  • Deductive verification
  • GPU
  • + 2
    4
    0
    Logo for MLAT

    MLAT

    Solver for MLAT localization problem + tracking software

    • control theory
    • OBservers
    • Optimization
    • Other
    • Python
    • C++
    • + 1
    2
    0
    Logo for Programs to evaluate superoptimizer STOKE.

    Programs to evaluate superoptimizer STOKE.

    Programs to evaluate superoptimizer STOKE.

    • compiler
    • Optimization
    • stochastic
      1
      0
      Logo for SCINTILLATION_COMSOL

      SCINTILLATION_COMSOL

      Code underlying: Shape Optimization of Scintillation Crystals through COMSOL

      • COMSOL
      • FEM
      • Optimization
      • + 1
      • Matlab
      • HTML
      • Other
      • + 2
      1
      0
      Logo for Supplementary code to the paper: Flexible Enterprise Optimization With Constraint Programming

      Supplementary code to the paper: Flexible Enterprise Optimization With Constraint Programming

      Supplementary code to the paper: Flexible Enterprise Optimization With Constraint Programming

      • Constraint programming (Computer science)
      • deep learning
      • Enterprise engineering
      • + 2
        2
        0
        Logo for TWORIT

        TWORIT

        TWORIT: Theoretical solver and Waveguide Optimization for Radiating Irregular Tapered-Cones – A tool for calculating the S parameters and Far Fields of a cascaded cylindrical waveguide structure

        • Conical Horn Antenna
        • Electromagnetics
        • Mode Matching
        • + 2
        • Other
        • Matlab
        • Markdown
        3
        0