Results 1  10
of
10,325
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
Parametric Shape Analysis via 3Valued Logic
, 2001
"... Shape Analysis concerns the problem of determining "shape invariants"... ..."
Abstract

Cited by 663 (80 self)
 Add to MetaCart
Shape Analysis concerns the problem of determining "shape invariants"...
MIXED MNL MODELS FOR DISCRETE RESPONSE
 JOURNAL OF APPLIED ECONOMETRICS J. APPL. ECON. 15: 447470 (2000)
, 2000
"... This paper considers mixed, or random coefficients, multinomial logit (MMNL) models for discrete response, and establishes the following results. Under mild regularity conditions, any discrete choice model derived from random utility maximization has choice probabilities that can be approximated as ..."
Abstract

Cited by 487 (15 self)
 Add to MetaCart
as closely as one pleases by a MMNL model. Practical estimation of a parametric mixing family can be carried out by Maximum Simulated Likelihood Estimation or Method of Simulated Moments, and easily computed instruments are provided that make the latter procedure fairly efficient. The adequacy of a mixing
HyTech: A Model Checker for Hybrid Systems
 Software Tools for Technology Transfer
, 1997
"... A hybrid system is a dynamical system whose behavior exhibits both discrete and continuous change. A hybrid automaton is a mathematical model for hybrid systems, which combines, in a single formalism, automaton transitions for capturing discrete change with differential equations for capturing conti ..."
Abstract

Cited by 473 (6 self)
 Add to MetaCart
continuous change. HyTech is a symbolic model checker for linear hybrid automata, a subclass of hybrid automata that can be analyzed automatically by computing with polyhedral state sets. A key feature of HyTech is its ability to perform parametric analysis, i.e. to determine the values of design parameters
Hierarchical Modelling and Analysis for Spatial Data. Chapman and Hall/CRC,
, 2004
"... Abstract Often, there are two streams in statistical research one developed by practitioners and other by main stream statisticians. Development of geostatistics is a very good example where pioneering work under realistic assumptions came from mining engineers whereas it is only now that statisti ..."
Abstract

Cited by 442 (45 self)
 Add to MetaCart
for parametric models. The method of maximum likelihood was introduced by R.A. Fisher as early as 1931 but its application in geostatistics for inference of variogram parameters has been slow and it was first introduced by Mardia (1980) incidently, this paper was presented to the Geological Congress in Paris
Statistical methods for identifying differentially expressed genes in replicated cDNA microarray experiments
 STATISTICA SINICA
, 2002
"... DNA microarrays are a new and promising biotechnology whichallows the monitoring of expression levels in cells for thousands of genes simultaneously. The present paper describes statistical methods for the identification of differentially expressed genes in replicated cDNA microarray experiments. A ..."
Abstract

Cited by 438 (12 self)
 Add to MetaCart
. Although it is not the main focus of the paper, new methods for the important preprocessing steps of image analysis and normalization are proposed. Given suitably normalized data, the biological question of differential expression is restated as a problem in multiple hypothesis testing: the simultaneous
A new method for nonparametric multivariate analysis of variance in ecology.
 Austral Ecology,
, 2001
"... Abstract Hypothesistesting methods for multivariate data are needed to make rigorous probability statements about the effects of factors and their interactions in experiments. Analysis of variance is particularly powerful for the analysis of univariate data. The traditional multivariate analogues, ..."
Abstract

Cited by 368 (4 self)
 Add to MetaCart
, however, are too stringent in their assumptions for most ecological multivariate data sets. Nonparametric methods, based on permutation tests, are preferable. This paper describes a new nonparametric method for multivariate analysis of variance, after McArdle and Anderson (in press). It is given here
Recognizing action units for facial expression analysis
 PATTERN ANALYSIS AND MACHINE INTELLIGENCE
, 2001
"... Most automatic expression analysis systems attempt to recognize a small set of prototypic expressions, such as happiness, anger, surprise, and fear. Such prototypic expressions, however, occur rather infrequently. Human emotions and intentions are more often communicated by changes in one or a few ..."
Abstract

Cited by 399 (38 self)
 Add to MetaCart
Most automatic expression analysis systems attempt to recognize a small set of prototypic expressions, such as happiness, anger, surprise, and fear. Such prototypic expressions, however, occur rather infrequently. Human emotions and intentions are more often communicated by changes in one or a few
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
10,325