-
1
-
-
0004135418
-
-
John Wiley and Sons, Inc, second edition
-
T. Badgett, T. M. Thomas, and C. Sandler. The Art of Software Testing. John Wiley and Sons, Inc, second edition, 2004.
-
(2004)
The Art of Software Testing
-
-
Badgett, T.1
Thomas, T.M.2
Sandler, C.3
-
2
-
-
0036994494
-
WCET analysis of probabilistic hard real-time systems
-
RTSS 2002. 23rd IEEE
-
G. Bernat, A. Colin, and S. Petters. WCET analysis of probabilistic hard real-time systems. In Real-Time Systems Symposium, 2002. RTSS 2002. 23rd IEEE, pages 279-288, 2002.
-
(2002)
Real-Time Systems Symposium, 2002
, pp. 279-288
-
-
Bernat, G.1
Colin, A.2
Petters, S.3
-
4
-
-
0027306938
-
The infeasibility of quantifying the reliability of life-critical real-time software
-
R. W. Butler and G. B. Finelli. The infeasibility of quantifying the reliability of life-critical real-time software. IEEE Trans. Softw. Eng., 19(1): 3-12, 1993.
-
(1993)
IEEE Trans. Softw. Eng.
, vol.19
, Issue.1
, pp. 3-12
-
-
Butler, R.W.1
Finelli, G.B.2
-
7
-
-
84947261898
-
Reliable and precise WCET determination for a real-life processor
-
T. A. Henzinger and C. M. Kirsch, editors Springer
-
C. Ferdinand, R. Heckmann, M. Langenbach, F. Martin, M. Schmidt, H. Theiling, S. Thesing, and R. Wilhelm. Reliable and precise WCET determination for a real-life processor. In T. A. Henzinger and C. M. Kirsch, editors, EMSOFT, volume 2211 of Lecture Notes in Computer Science, pages 469-485. Springer, 2001.
-
(2001)
EMSOFT, Volume 2211 of Lecture Notes in Computer Science
, pp. 469-485
-
-
Ferdinand, C.1
Heckmann, R.2
Langenbach, M.3
Martin, F.4
Schmidt, M.5
Theiling, H.6
Thesing, S.7
Wilhelm, R.8
-
8
-
-
78650474439
-
Statistical-based WCET estimation and validation
-
N. Holsti, editor Austrian Computer Society
-
J. Hansen, S. A. Hissam, and G. A. Moreno. Statistical-based WCET estimation and validation. In N. Holsti, editor, 9th Intl. Workshop on Worst-Case Execution Time Analysis, Dublin, Ireland, volume 252. Austrian Computer Society, 2009.
-
(2009)
9th Intl. Workshop on Worst-Case Execution Time Analysis, Dublin, Ireland
, vol.252
-
-
Hansen, J.1
Hissam, S.A.2
Moreno, G.A.3
-
10
-
-
85045014889
-
The strategy of model building in population biology
-
R. Levins. The strategy of model building in population biology. American Scientist, 54(4): 421-431, 1966.
-
(1966)
American Scientist
, vol.54
, Issue.4
, pp. 421-431
-
-
Levins, R.1
-
11
-
-
24644512496
-
Fully automatic, parametric worst-case execution time analysis
-
J. Gustafsson, editor Department of Computer Science and Engineering, Mälardalen University
-
B. Lisper. Fully automatic, parametric worst-case execution time analysis. In J. Gustafsson, editor, WCET, volume MDH-MRTC-116/2003-1-SE, pages 99-102. Department of Computer Science and Engineering, Mälardalen University, 2003.
-
(2003)
WCET, Volume MDH-MRTC-116/2003-1-SE
, pp. 99-102
-
-
Lisper, B.1
-
12
-
-
33847224124
-
The strategy of "the strategy of model building in population biology,"
-
Nov
-
J. Odenbaugh. The strategy of "the strategy of model building in population biology". Biology and Philosophy, 5: 607-621, Nov 2006.
-
(2006)
Biology and Philosophy
, vol.5
, pp. 607-621
-
-
Odenbaugh, J.1
-
14
-
-
38849132754
-
WCET estimation for executables in the presence of data caches
-
New York, NY, USA ACM
-
R. Sen and Y. N. Srikant. WCET estimation for executables in the presence of data caches. In EMSOFT '07: Proceedings of the 7th ACM & IEEE international conference on Embedded software, pages 203-212, New York, NY, USA, 2007. ACM.
-
(2007)
EMSOFT '07: Proceedings of the 7th ACM & IEEE International Conference on Embedded Software
, pp. 203-212
-
-
Sen, R.1
Srikant, N.Y.2
|