
FHEW
 Referenced in 19 articles
[sw14880]
 detailed technical analysis of the scheme (based on the worstcase hardness of standard lattice...

PESTO
 Referenced in 22 articles
[sw20864]
 reducing the computation of the worstcase 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 worstcase guarantee for the proximal point algorithm that...

PASTA
 Referenced in 2 articles
[sw02145]
 worstcase 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, worstcase distances) as well...

SWEET
 Referenced in 2 articles
[sw17684]
 SWEET — a tool for WCET flow analysis. WorstCase Execution Time (WCET) analysis [14] aims...

pwcet
 Referenced in 6 articles
[sw14479]
 pwcet: a tool for probabilistic worstcase execution time analysis of realtime systems. Traditional...

OTAWA
 Referenced in 3 articles
[sw20500]
 adaptive WCET analysis. The analysis of worstcase 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 worstcase complexity analysis strongly suggests that D* Extra Lite...

rTuBound
 Referenced in 3 articles
[sw09722]
 tubound: Loop bounds for WCET analysis. We describe the structure and the usage ... iteration bounds in the worstcase execution time (WCET) analysis of programs. rTuBound 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 setvalued: it consists ... robust LIR analysis), and show that it has worstcase time complexity...

McAiT
 Referenced in 2 articles
[sw09947]
 McAiT, a tool for estimating the WorstCase 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 worstcase 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 worstcase 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 worstcase 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 worstcase execution...

ProSparse
 Referenced in 1 article
[sw24951]
 local bases using ProSparse: a probabilistic analysis. Finding the sparse representation of a signal ... worstcase) sparsity bounds for ProSparse to succeed, this paper presents a probabilistic averagecase ... analysis of the algorithm. Based on a generatingfunction approach, closedform expressions...

Trickle
 Referenced in 0 articles
[sw22323]
 Static analysis techniques can be used to compute safe bounds on the worstcase 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 worstcase) 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 worstcase 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)$ worstcase 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 worstcase execution time and detecting sidechannel 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 worstcase time complexity [Formula: see text], the exact...