3864 search results - page 220 / 773 » time 2005 |
190
click to vote
QEST
2005
IEEE
16 years 4 days ago
2005
IEEE
This short tool paper introduces MRMC, a model checker for discrete-time and continuous-time Markov reward models. It supports reward extensions of PCTL and CSL, and allows for th...
212
click to vote
QEST
2005
IEEE
16 years 4 days ago
2005
IEEE
In this paper we present a novel performance analysis technique for large-scale systems modelled in the stochastic process algebra PEPA. In contrast to the well-known approach of ...
145
click to vote
SAINT
2005
IEEE
16 years 4 days ago
2005
IEEE
Stochastic bounds are a promising method to analyze QoS requirements. Indeed it is sufficient to prove that a bound of the real performance satisfies the guarantee. However, the...
142
click to vote
VL
2005
IEEE
16 years 4 days ago
2005
IEEE
What are people currently looking at in their web browser? Do the patterns of pages change over time? Are changes periodic or just related to current events or other factors? We a...
162
click to vote
VTS
2005
IEEE
16 years 4 days ago
2005
IEEE
This paper presents a test architecture that addresses multiple problems faced in digital IC testing. These problems are test data volume, test application time, test power consum...