2661 search results - page 174 / 533 » Model Checking Performability Properties |
105
Voted
IMC
2003
ACM
15 years 8 months ago
2003
ACM
In network performance tomography, characteristics of the network interior are inferred by correlating end-to-end measurements. In much previous work, the presence of correlations...
136
Voted
ICIP
2006
IEEE
16 years 5 months ago
2006
IEEE
In the absence of real data for extensive testing of newly designed large-scale biometrics recognition systems a number of solutions are possible including use of resampling metho...
153
Voted
EMSOFT
2007
Springer
15 years 9 months ago
2007
Springer
Key challenges in the performance estimation of distributed real-time embedded (DRE) systems include the systematic measurement of coverage by simulations, and the automated gener...
111
Voted
TC
2010
14 years 10 months ago
2010
A distinct characteristic of multistate systems (MSS) is that the systems and/or their components may exhibit multiple performance levels (or states) varying from perfect operation...
162
Voted
APN
2007
Springer
15 years 9 months ago
2007
Springer
Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed concurrent processes. In previous work, an automatic ...