9842 search results - page 168 / 1969 » Compositional timing analysis |
CEC
2007
IEEE
14 years 4 months ago
2007
IEEE
— Estimation of Distribution Algorithm (EDA) is a well-known stochastic optimization technique. The average time complexity is a crucial criterion that measures the performance o...
ICCS
2003
Springer
14 years 2 months ago
2003
Springer
The purpose of this paper is to clarify in the framework of Temporal Concept Analysis the distinction between the notion of the dimension of time and the one-dimensionality of life...
UML
2005
Springer
14 years 3 months ago
2005
Springer
: This paper presents an overview of the workshop MARTES on Modeling and Analysis of Real-time and Embedded Systems that has taken place for the first time in association with the ...
ESOP
1998
Springer
14 years 1 months ago
1998
Springer
Abstract. We study the notion of binding-time analysis for logic programs. We formalise the unfolding aspect of an on-line partial deduction s a Prolog program. Using abstract inte...
LCTRTS
1998
Springer
14 years 1 months ago
1998
Springer
This paper describes a general approach for automatic and accurate time-bound analysis. The approach consists of transformations for building time-bound functions in the presence ...