9842 search results - page 344 / 1969 » Compositional timing analysis |
132
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
is a challenging problem. We consider here abstract specifications consisting of a composition of components and a controller given in the form of a set of interactions and a prior...
161
click to vote
ISAMI
2010
15 years 2 months ago
2010
Probabilistic models of languages are fundamental to understand and learn the profile of the subjacent code in order to estimate its entropy, enabling the verification and predicti...
280
click to vote
ICDE
2009
IEEE
16 years 6 months ago
2009
IEEE
In many applications, we need to analyze a large number of time series. Segments of time series demonstrating dominating advantages over others are often of particular interest. In...
141
Voted
OSDI
2004
ACM
16 years 5 months ago
2004
ACM
As dependence on the World Wide Web continues to grow, so does the need for businesses to have quantitative measures of the client perceived response times of their Web services. ...
130
click to vote
ASMTA
2009
Springer
15 years 8 months ago
2009
Springer
Discrete stochastic models (DSM) are widely used in various application fields today. Proxel-based simulation can outperform discrete event-based approaches in the analysis of smal...