• FHEW

  • Referenced in 19 articles [sw14880]
  • detailed technical analysis of the scheme (based on the worst-case hardness of standard lattice...
  • PESTO

  • Referenced in 22 articles [sw20864]
  • reducing the computation of the worst-case to solving a convex semidefinite program, generalizing previous ... these developments to obtain a tighter analysis of the proximal point algorithm and of several ... particular, we present a new analytical worst-case guarantee for the proximal point algorithm that...
  • PASTA

  • Referenced in 2 articles [sw02145]
  • worst-case analysis, Monte Carlo analysis, yield optimization and design centring, the variations and correlations ... fabrication process. Based on sensitivity analysis, the variations and correlations of design objectives ... designer to do circuit analysis and optimization (limit parameters, worst-case distances) as well...
  • SWEET

  • Referenced in 2 articles [sw17684]
  • SWEET — a tool for WCET flow analysis. Worst-Case Execution Time (WCET) analysis [14] aims...
  • pwcet

  • Referenced in 6 articles [sw14479]
  • pwcet: a tool for probabilistic worst-case execution time analysis of real-time systems. Traditional...
  • OTAWA

  • Referenced in 3 articles [sw20500]
  • adaptive WCET analysis. The analysis of worst-case execution times has become mandatory ... from research in the domain of WCET analysis so that they can be combined...
  • D* Extra Lite

  • Referenced in 2 articles [sw20992]
  • tree branch cutting. The provided worst-case complexity analysis strongly suggests that D* Extra Lite...
  • r-TuBound

  • Referenced in 3 articles [sw09722]
  • tubound: Loop bounds for WCET analysis. We describe the structure and the usage ... iteration bounds in the worst-case execution time (WCET) analysis of programs. r-TuBound implements...
  • linLIR

  • Referenced in 4 articles [sw11393]
  • implementation of LIR: the case of simple linear regression with interval data. This paper considers ... observed quantities. The result of a LIR analysis is in general set-valued: it consists ... robust LIR analysis), and show that it has worst-case time complexity...
  • McAiT

  • Referenced in 2 articles [sw09947]
  • McAiT, a tool for estimating the Worst-Case Execution Times (WCET) of programs running ... based on the results of local cache analysis by abstract interpretation) and a broad range ... models, such as synchronization, jitter, etc. High analysis precision is achieved by the McAiT approach ... Path Enumeration Technique (IPET) combined with worst-case shared resource access delay for WCET estimation...
  • DISCO

  • Referenced in 4 articles [sw14948]
  • DISCO network calculator: a toolbox for worst case analysis. In this paper we describe ... Java™ which we developed for worst-case analyses based on network calculus. To our knowledge...
  • LoAT

  • Referenced in 3 articles [sw23213]
  • LoAT (Lower bounds Analysis Tool): Lower runtime bounds for integer programs. We present a technique ... infer lower bounds on the worst-case runtime complexity of integer programs. To this...
  • GameTime

  • Referenced in 1 article [sw09949]
  • analysis, GameTime can be used for a range of tasks, including estimating worst-case execution...
  • ProSparse

  • Referenced in 1 article [sw24951]
  • local bases using ProSparse: a probabilistic analysis. Finding the sparse representation of a signal ... worst-case) sparsity bounds for ProSparse to succeed, this paper presents a probabilistic average-case ... analysis of the algorithm. Based on a generating-function approach, closed-form expressions...
  • Trickle

  • Referenced in 0 articles [sw22323]
  • Static analysis techniques can be used to compute safe bounds on the worst-case execution ... adding additional constraints to the static analysis. Such constraints can be found manually but this...
  • Noodle

  • Referenced in 1 article [sw26944]
  • within a maximum of 12% (in worst-case) of the optimal schedule ... with existing scheduling heuristics and perform comparative analysis of its performance...
  • Algorithm 848

  • Referenced in 2 articles [sw04408]
  • order of the worst-case bound for the case of the unit hypercube. PFix ... dimensional problem. A full analysis of PFix may be found in the authors’ paper...
  • KADABRA

  • Referenced in 2 articles [sw25810]
  • with respect to the $Theta(|E|)$ worst-case performance. We experimentally show that this ... most central nodes. Furthermore, our analysis is general, and it might be extended to other...
  • CANAL

  • Referenced in 1 article [sw28166]
  • program is essential for research in software analysis and verification, since it reduces burdens ... related properties, e.g., for computing the worst-case execution time and detecting side-channel leaks...
  • ALFRED

  • Referenced in 1 article [sw22013]
  • gaining persistent interest in many sequence analysis applications such as phylogenetic inference and metagenomic classification/clustering ... computation, respectively. Albeit having a good worst-case time complexity [Formula: see text], the exact...