823 search results - page 84 / 165 » Stateful Subset Cover |
MMB
2004
Springer
14 years 3 months ago
2004
Springer
In this paper, we propose a general survivability quantification framework which is applicable to a wide range of system architectures, applications, failure/recovery behaviors, ...
VTS
2003
IEEE
14 years 3 months ago
2003
IEEE
Reseeding is used to improve fault coverage of pseudorandom testing. The seed corresponds to the initial state of the LFSR before filling the scan chain. The number of determinist...
FASE
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. The OMG’s Model-Driven Architecture focusses on the evolution and integration of applications across heterogeneous middleware platforms. Presently available instances o...
HYBRID
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. In this paper we investigate a new technique to determine whether an open continuous system behaves correctly for all admissible input signals. This technique is based on...
SIGMETRICS
2010
ACM
14 years 2 months ago
2010
ACM
In this paper, we present a comprehensive analysis of real smartphone usage during a 6-month study of real user activity on the Android G1 smartphone. Our goal is to study the hig...