2266 search results - page 98 / 454 » Generalizing parametric timing analysis |
115
click to vote
HYBRID
2007
Springer
15 years 10 months ago
2007
Springer
We consider the problem of verifying reachability properties of stochastic real-time systems modeled as generalized semi-Markov processes (GSMPs). The standard simulation-based tec...
125
Voted
ICNP
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper presents an analytical model to compute the average service time and jitter experienced by a packet when transmitted in a saturated IEEE 802.11 ad hoc network. In contr...
139
Voted
3DPVT
2004
IEEE
15 years 7 months ago
2004
IEEE
Image based rendering (IBR) consists of several steps: (i) Calibration (or ego-motion computation) of all input images. (ii) Determination of regions in the input images used to s...
129
Voted
DATE
2010
IEEE
15 years 8 months ago
2010
IEEE
—Variations of process parameters have an important impact on reliability and yield in deep sub micron IC technologies. One methodology to estimate the influence of these effects...
135
click to vote
DAWAK
1999
Springer
15 years 8 months ago
1999
Springer
Data mining can be used to extensively automate the data analysis process. Techniques for mining interval time series, however, have not been considered. Such time series are commo...