• Algorithm 784

  • Referenced in 4 articles [sw20211]
  • issues. This companion article discusses portability and optimization issues of the GEMM-based level ... model implementations and the performance evaluation benchmark. All software comes in all four data types...
  • NLCertify

  • Referenced in 4 articles [sw08786]
  • produce certificates with a reduced complexity. The software first builds the abstract syntax tree ... syntax tree t. These various approximation and optimization algorithms are placed in a unified framework ... variables) as well as significant global optimization benchmarks...
  • TASTY

  • Referenced in 20 articles [sw09865]
  • tool for automating, i.e., describing, generating, executing, benchmarking, and comparing, efficient secure two-party computation ... protocol. TASTY provides most recent techniques and optimizations for practical secure two-party computation with ... order of magnitude compared to previous software implementations. TASTY allows to automatically generate efficient secure...
  • Tunability

  • Referenced in 9 articles [sw42100]
  • software package, manual configuration by the user or configuring them for optimal predictive performance ... algorithms. Secondly, we conduct a large-scale benchmarking study based on 38 datasets from...
  • DSP

  • Referenced in 11 articles [sw05421]
  • integer recourse and provide an open-source software implementation that we call DSP. Our innovations ... prove that the algorithm converges to an optimal solution of the Lagrangian dual problem ... dual updates that we use to perform benchmarks. We present extensive numerical results using SIPLIB ... number of iterations and solution times. The software reviewed as part of this submission...
  • SYMBA

  • Referenced in 13 articles [sw08528]
  • created numerous uses for them in software verification, program synthesis, functional programming, refinement types ... arbitrary satisfying assignment, but one that optimizes (minimizes/maximizes) certain criteria. For example, we might ... such optimization capabilities. In this paper, we present SYMBA, an efficient SMT-based optimization algorithm ... large number of optimization benchmarks drawn from program analysis tasks. Our results indicate the power...
  • STMBench7

  • Referenced in 9 articles [sw08814]
  • STMBench7: a benchmark for software transactional memory. Software transactional memory (STM) is a promising technique ... have suffered from the lack of realistic benchmarks. Measuring performance ... optimize irrelevant aspects of their implementations. This paper presents STMBench7: a candidate benchmark for evaluating ... choose a workload, number of threads, benchmark length, as well as the possibility of structure...
  • perprof-py

  • Referenced in 1 article [sw25247]
  • optimization software. A very important area of research in the field of Mathematical Optimization ... benchmarking of optimization packages to compare solvers. During benchmarking, one usually collects a large amount ... tools to better process and understand optimization benchmark data have been developed ... paper describes perprof-py, a free/open source software that creates Performance Profile graphics. This software...
  • Olympus

  • Referenced in 1 article [sw38804]
  • time and resource demanding. As optimization algorithms are typically benchmarked on low-dimensional synthetic functions ... software package that provides a consistent and easy-to-use framework for benchmarking optimization algorithms...
  • DynamO

  • Referenced in 6 articles [sw20352]
  • have been developed for continuous potential systems, software for discrete potential systems based on event ... event-driven simulation package which displays the optimal O(N) asymptotic scaling of the computational ... times. The performance of the program is benchmarked for elastic hard sphere systems, homogeneous cooling ... spheres, and equilibrium Lennard-Jones fluids. This software and its documentation are distributed under...
  • PrincetonLib

  • Referenced in 3 articles [sw23253]
  • provide algorithm developers of nonlinear optimization codes with a large and varied set of both ... software quality assurance process by providing a set of tools to facilitate benchmarking and performance...
  • Lazy-CSeq

  • Referenced in 5 articles [sw13773]
  • last two editions of the Competition on Software Verification. The tool encodes all thread schedules ... model checker. This paper presents a novel optimized implementation of lazy sequentialization, which integrates symbolic ... tool outperforms Lazy-CSeq significantly on many benchmarks...
  • cmix

  • Referenced in 1 article [sw36212]
  • lossless data compression program aimed at optimizing compression ratio at the cost of high CPU/memory ... results on several compression benchmarks. cmix is free software distributed under the GNU General Public...
  • TReacLab

  • Referenced in 2 articles [sw34673]
  • proposed as non-intrusive coupling techniques that optimize the use of existing chemistry and transport ... reactive software (PHREEQC and COMSOL). It is tested on four classical benchmarks with homogeneous ... accuracy compared to more integrated and optimized codes. Use of non-intrusive implementations like TReacLab ... justified for coupling independent transport and chemical software at a minimal development effort but should...
  • MOEAT

  • Referenced in 3 articles [sw09211]
  • multiobjective evolutionary algorithms. This paper introduces a software tool based on illustrative applications ... powerful environment for various kinds of optimization tasks. It has many useful features such ... progress and the results of optimization in a dynamic or static mode, and decision variable ... evolutionary algorithms in MOEAT are done using benchmark problems. In addition, two case studies from...
  • OpenUH

  • Referenced in 7 articles [sw13038]
  • automated, scalable performance measurement and optimization system. The software and interfaces that we have created ... illustrating its use with the NAS parallel benchmarks and a cloud resolving model code...
  • GBMCI

  • Referenced in 2 articles [sw11476]
  • trained using a gradient boosting method to optimize a smoothed approximation of the concordance index ... software package called GBMCI ( gradient boosting machine for concordance index) and benchmarked the performance...
  • PyMOSO

  • Referenced in 2 articles [sw37055]
  • present the PyMOSO software package for (1) solving multiobjective simulation optimization (MOSO) problems on integer ... implementing and testing new simulation optimization (SO) algorithms. First, for solving MOSO problems on integer ... objectives, and R-MinRLE, a competitive benchmark algorithm for three or more objectives. Both algorithms ... increases. PyMOSO can interface with existing simulation software and can obtain simulation replications in parallel...
  • SIFT

  • Referenced in 1 article [sw20577]
  • buffer overflow and code injection attacks. Software DIFT implementations incur very high performance overhead, while ... stage of the pipeline. We investigate several optimizations to the base design including: (1) Prefetching ... Optimizing the generation of the taint instructions to remove unneeded instructions. Together, these optimizations reduce ... SIFT to 26% on SPEC CPU 2006 benchmarks--much lower than the overhead of previously...
  • MEIGO

  • Referenced in 6 articles [sw08492]
  • software suite based on metaheuristics for global optimization in systems biology and bioinformatics. Optimization ... solve many problems in computational biology. Global optimization methods provide a robust methodology, and metaheuristics ... present MEIGO, an R and Matlab optimization toolbox (also available in Python via a wrapper ... Bioconductor. We evaluate MEIGO against optimization benchmarks, and illustrate its applicability to a series...