• eSTREAM

  • Referenced in 102 articles [sw12699]
  • this final portfolio. For information on the eSTREAM project and selection process, including a timetable ... technical background, please visit the original eSTREAM Project website. ... The eSTREAM software testing framework page ... optimized code for eSTREAM ciphers. Reports on portfolio ciphers’ performance in software can be found...
  • Whirlpool

  • Referenced in 43 articles [sw13339]
  • NESSIE project. Its ”tweaked” successor, WHIRLPOOL-T, was selected for the NESSIE portfolio of cryptographic...
  • PROBE

  • Referenced in 10 articles [sw16216]
  • addresses the problem of selecting a robust portfolio of projects in the context of limited ... benefits of the projects there is no other portfolio that does not cost more ... selecting a proposed portfolio. The robustness evaluation starts by identifying competitor portfolios to the proposed ... portfolio, its similarities and differences in project composition to its competitors, and the regret...
  • SOSEMANUK

  • Referenced in 15 articles [sw09724]
  • eSTREAM project and has been selected into the final portfolio. It is noticed that most...
  • OLPS

  • Referenced in 4 articles [sw15435]
  • open-source toolbox for ”On-Line Portfolio Selection” (OLPS), which implements a collection of classical ... different strategies. OLPS is an open-source project released under Apache License (version 2.0), which...
  • D-Sight

  • Referenced in 1 article [sw16175]
  • process. Assess project portfolios, including dashboards to reflect current status of portfolios for all strategic ... that matter to your organization. Select the set of investments that will best achieve...
  • ARfit

  • Referenced in 38 articles [sw00046]
  • ARfit is a collection of Matlab modules for...
  • BARON

  • Referenced in 354 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • BPMPD

  • Referenced in 41 articles [sw00088]
  • BPMPD is a state-of-the-art implementation...
  • CGAL

  • Referenced in 384 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • Coq

  • Referenced in 1880 articles [sw00161]
  • Coq is a formal proof management system. It...
  • DEA

  • Referenced in 244 articles [sw00194]
  • Data Envelopment Analysis (DEA) is becoming an increasingly...
  • GLOPT

  • Referenced in 19 articles [sw00359]
  • GLOPT is a Fortran 77 program for global...
  • Isabelle

  • Referenced in 698 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • KNITRO

  • Referenced in 196 articles [sw00490]
  • KNITRO is a solver for nonlinear optimization. It...
  • LANCELOT

  • Referenced in 306 articles [sw00500]
  • LANCELOT. A Fortran package for large-scale nonlinear...
  • LAPACK

  • Referenced in 1695 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • Maple

  • Referenced in 5363 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

  • Referenced in 6337 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 13460 articles [sw00558]
  • MATLAB® is a high-level language and interactive...