Results 1  10
of
2,136
Parametric WCET Analysis
, 2007
"... WCET analysis is about getting information about the worstcase execution time for a program on a certain platform for any possible input. Static WCET analysis is an automatic way to derive a safe upper bound for the worstcase execution time of a program by analyzing its source code and the hardwar ..."
Abstract
 Add to MetaCart
is given as an absolute value (for instance, in milliseconds) whereas parametric WCETanalysis aims to derive the WCETbound as an expression of some undetermined variables, which later can be instantiated.
TOWARDS AN AUTOMATIC PARAMETRIC WCET ANALYSIS 1
"... Static WCET analysis obtains a safe estimation of the WCET of a program. The timing behaviour of a program depends in many cases on input, and an analysis could take advantage of this information to produce a formula in input variables as estimation of the WCET, rather than a constant. A method to d ..."
Abstract

Cited by 4 (1 self)
 Add to MetaCart
Static WCET analysis obtains a safe estimation of the WCET of a program. The timing behaviour of a program depends in many cases on input, and an analysis could take advantage of this information to produce a formula in input variables as estimation of the WCET, rather than a constant. A method
Aims
"... Statistical LifetimeModels follows on from Applied Probability. Models introduced there are examined in the first part of the course more specifically in a life insurance context where transitions typically model the passage from ‘alive ’ to ‘dead’, possibly with intermediate stages like ‘loss of a ..."
Abstract
 Add to MetaCart
of a limb ’ or ‘critically ill’. The aim is to develop statistical methods to estimate transition rates and more specifically to construct life tables that form the basis in the calculation of life insurance premiums. We will then move on to survival analysis, which is widely used in medical research
GALERKIN FINITE ELEMENT APPROXIMATIONS OF STOCHASTIC ELLIPTIC PARTIAL DIFFERENTIAL EQUATIONS
, 2004
"... We describe and analyze two numerical methods for a linear elliptic problem with stochastic coefficients and homogeneous Dirichlet boundary conditions. Here the aim of the computations is to approximate statistical moments of the solution, and, in particular, we give a priori error estimates for the ..."
Abstract

Cited by 193 (11 self)
 Add to MetaCart
We describe and analyze two numerical methods for a linear elliptic problem with stochastic coefficients and homogeneous Dirichlet boundary conditions. Here the aim of the computations is to approximate statistical moments of the solution, and, in particular, we give a priori error estimates
Operations on records
 Mathematical Structures in Computer Science
, 1991
"... We define a simple collection of operations for creating and manipulating record structures, where records are intended as finite associations of values to labels. A secondorder type system over these operations supports both subtyping and polymorphism. We provide typechecking algorithms and limite ..."
Abstract

Cited by 159 (13 self)
 Add to MetaCart
and limited semantic models. Our approach unifies and extends previous notions of records, bounded quantification, record extension, and parametrization by rowvariables. The general aim is to provide foundations for concepts found in objectoriented languages, within a framework based on typed lambdacalculus.
Parametric and Nonparametric Unsupervised Cluster Analysis
 Pattern Recognition
, 1996
"... Much work has been published on methods for assessing the probable number of clusters or structures within unknown data sets. This paper aims to look in more detail at two methods, a broad parametric method, based around the assumption of Gaussian clusters and the other a nonparametric method which ..."
Abstract

Cited by 65 (6 self)
 Add to MetaCart
Much work has been published on methods for assessing the probable number of clusters or structures within unknown data sets. This paper aims to look in more detail at two methods, a broad parametric method, based around the assumption of Gaussian clusters and the other a nonparametric method
Symbolic WCET Analysis of Programs Containing InputDependent Branches
"... Abstract: Symbolic WCET (worstcase execution time) analysis yields symbolic upper bound expressions for tasks that contain parameters. Quickly evaluated at runtime, such expressions can improve the accuracy of WCET estimate. This paper proposes a symbolic WCET analysis method that is especially fo ..."
Abstract
 Add to MetaCart
input value ranges. Different from the existing methods, the symbolic formulas are directly dependent on inputdata, so WCET estimate evaluation at runtime is more simple and straightforward. Key words: parametric worstcase execution time (WCET) analysis; WCET analysis; program analysis; real
Hybrid measurementbased WCET analysis at the source level using objectlevel traces
 in 10th Intl. Workshop on WorstCase Execution Time Analysis (WCET 2010), ser. OpenAccess Series in Informatics (OASIcs), B. Lisper, Ed
"... Precise operation of realtime systems depends on functionally correct computations that are delivered within imposed timing constraints. These temporal requirements are often modelled and verified assuming a priori knowledge of the WorstCase Execution Time (WCET) of each task. Due to complexities ..."
Abstract

Cited by 6 (1 self)
 Add to MetaCart
resolving the actual WCET, estimates normally suffice. These estimates should be safe, so as not to compromise temporal correctness, and accurate, in order to maximise the often limited system resources. The aim of WCET analysis is to therefore compute a WCET estimate that is the actual WCET. To date
SourcetoSource Transformations for WCET Analysis: The CoSTA Approach
"... Abstract. Worstcase execution time (WCET) analysis is concerned with computing upper bounds of the maximum computation time of a program. This is indispensable for the development of safetycritical realtime systems, where missing a deadline can have disastrous consequences, including the loss of l ..."
Abstract

Cited by 3 (1 self)
 Add to MetaCart
the perspective of a programmer, it is often more adequate to provide such information on the source code level than on the object code level. This, however, introduces a gap between the WCET annotation and the WCET analysis level. Within the CoSTA project (Compiler Support for Timing Analysis) we are aiming
Fully Automatic, Parametric WorstCase Execution Time Analysis
 In Workshop on WorstCase Execution Time (WCET) Analysis
, 2003
"... WorstCase Execution Time (WCET) analysis means to compute a safe upper bound to the execution time of a piece of code. Parametric WCET analysis yields symbolic upper bounds: expressions that may contain parameters. These parameters may represent, for instance, values of input parameters to the p ..."
Abstract

Cited by 52 (4 self)
 Add to MetaCart
WorstCase Execution Time (WCET) analysis means to compute a safe upper bound to the execution time of a piece of code. Parametric WCET analysis yields symbolic upper bounds: expressions that may contain parameters. These parameters may represent, for instance, values of input parameters
Results 1  10
of
2,136