SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

Computer Journal

Volumn 44, Issue 6, 2001, Pages 473-485

Estimating software rejuvenation schedules in high-assurance systems

(3) Dohi, Tadashi a Goeva Popstojanova, Katerina b Trivedi, Kishor c

a HIROSHIMA UNIVERSITY (Japan)

b West Virginia University (United States)

c Duke University (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COSTS; ECONOMICS; MARKOV PROCESSES; STOCHASTIC PROGRAMMING;

SOFTWARE REJUVENATION;

SOFTWARE ENGINEERING;

EID: 0035668281 PISSN: 00104620 EISSN: None Source Type: Journal
DOI: 10.1093/comjnl/44.6.473 Document Type: Article

Times cited : (127)

References (25)

1
- 0028994247
- Software rejuvenation: Analysis, module and applications
- Pasadena, June, IEEE Computer Society Press, Los Alamitos, ca
- (1995) Proc. 25th IEEE Int. Symp. on Fault Tolerant Computing , pp. 381-390
- Huang, Y.¹ Kintala, C.² Kolettis, N.³ Funton, N.D.⁴

2
- 0030646329
- Monitoring smoothly degrading systems for increased dependability
- (1997) Empirical Software Eng. , vol.2 , pp. 159-177
- Avritzer, A.¹ Weyuker, E.J.²

3
- 34247278391
- Fatal error: How Patriot overlooked a Scud
- (1992) Science , vol.255 , pp. 1347
- Marshall, E.¹

4
- 0003018691
- High-availability computer systems
- (1991) IEEE Comp. , vol.9 , pp. 39-48
- Gray, J.¹ Siewiorek, D.P.²

5
- 0022565113
- Why do computers stop and what can be done about it?
- January
- (1986) Proc. 1986 Symp. on Reliability in Distributed Software and Database Systems , pp. 3-12
- Gray, J.¹

6
- 0002609061
- On-board preventive maintenance for long-life deep-space missions: A model-based analysis
- Durham, NC, September, IEEE Computer Society Press, Los Alamitos, CA
- (1998) Proc. 3rd IEEE Int. Computer Performance & Dependability Symp. , pp. 196-205
- Tai, A.T.¹ Alkalai, L.² Chau, S.N.³

7
- 0025507290
- Performability analysis using semi-Markov reward processes
- (1990) IEEE Trans. Comp. , vol.39 , pp. 1251-1264
- Giardo, G.¹ Marie, R.A.² Sericola, B.³ Trivedi, K.S.⁴

8
- 0023999829
- Performability modeling based on real data: A case study
- (1988) IEEE Trans. Comp. , vol.37 , pp. 478-484
- Hsueh, M.C.¹ Iyer, R.S.² Trivedi, K.S.³

9
- 0019047765
- On evaluating the performability of degradable computing systems
- (1980) IEEE Trans. Comp. , vol.29 , pp. 720-731
- Meyer, J.F.¹

10
- 0023998946
- Performability analysis: Measures, an algorithm, and a case study
- (1988) IEEE Trans. Comp. , vol.37 , pp. 406-417
- Smith, R.M.¹ Trivedi, K.S.² Ramesh, A.V.³

11
- 0033733156
- Modeling and analysis of software aging and rejuvenation
- Washington DC, April. IEEE Computer Society Press, Los Alamitos, CA
- (2000) Proc. 33rd Ann. Simulation Symp. , pp. 270-279
- Trivedi, K.S.¹ Vaidyanathan, K.² Goševa-Postojanova, K.³

12
- 0032303209
- A methodology for detection and estimation of software aging
- Paderborn, Germany, November, IEEE Computer Society Press, Los Alamitos, CA
- (1998) Proc. 9th Int. Symp. on Software Reliability Engineering , pp. 282-292
- Garg, S.¹ Van Moorsel, A.² Vaidyanathan, K.³ Trivedi, K.S.⁴

13
- 0033355546
- A measurement-based model for estimation of resource exhaustion in operational software systems
- Boca Raton, FL, November, IEEE Computer Society Press, Los Alamitos, CA
- (1999) Proc. 10th Int. Symp. on Software Reliability Engineering , pp. 84-93
- Vaidyanathan, K.¹ Trivedi, K.S.²

14
- 0029513524
- Analysis of software rejuvenation using Markov regenerative stochastic Petri net
- Toulouse, France, October, IEEE Computer Society Press, Los Alamitos, CA
- (1995) Proc. 6th Int. Symp. on Software Reliability Engineering , pp. 24-27
- Garg, S.¹ Puliafito, A.² Telek, M.³ Trivedi, K.S.⁴

15
- 0002931550
- Time and load based software rejuvenation: Policy, evaluation and optimality
- Madras, India, December
- (1995) Proc. 1st Fault-Tolerant Symp. , pp. 22-25
- Garg, S.¹ Huang, Y.² Kintala, C.³ Trivedi, K.S.⁴

16
- 18244427956
- Optimal rejuvenation for tolerating soft failure
- (1996) Performance Evaluation , vol.27-28 , pp. 491-506
- Pfening, S.¹ Garg, S.² Puliafito, A.³ Telek, M.⁴ Trivedi, K.S.⁵

17
- 0031702473
- Analysis of preventive maintenance in transactions based software systems
- (1998) IEEE Trans. Comp. , vol.47 , pp. 96-107
- Garg, S.¹ Pfening, S.² Puliafito, A.³ Telek, M.⁴ Trivedi, K.S.⁵

18
- 0001704091
- The optimal preventive maintenance policy for a software system with multi server station
- (2000) Proc. 6th ISSAT Int. Conf. on Reliability and Quality in Design , pp. 275-279
- Okamura, H.¹ Fujimoto, A.² Dohi, T.³ Osaki, S.⁴ Trivedi, K.S.⁵

19
- 0007562126
- Fine grained software rejuvenation models
- Durham, NC, September, IEEE Computer Society Press, Los Alamitos, CA
- (1998) Proc. 3rd IEEE Int. Computer Performance & Dependability Symp. , pp. 4-12
- Bobbio, A.¹ Sereno, M.²

20
- 0030147013
- Minimizing completion time of a program by checkpointing and rejuvenation
- Philadelphia, PA, May, ACM, Cambridge, MA
- (1996) Proc. 1996 ACM SIGMETRICS Conf. , pp. 252-261
- Garg, S.¹ Huang, Y.² Kintala, C.³ Trivedi, K.S.⁴

21
- 84949544358
- Analysis of software cost models with rejuvenation
- IEEE Computer Society Press, Los Alamitos, CA
- (2000) Proc. 5th IEEE Int. Symp. on High Assurance Systems Engineering , pp. 25-34
- Dohi, T.¹ Goševa-Popstojanova, K.² Trivedi, K.S.³

22
- 84949519090
- Statistical non-parametric algorithms to estimate the optimal software rejuvenation schedule
- IEEE Computer Society Press, Los Alamitos, CA
- (2000) Proc. 2000 Pacific Rim Int. Symp. on Dependable Computing , pp. 77-84
- Dohi, T.¹ Goševa-Popstojanova, K.² Trivedi, K.S.³

23
- 0003840951
- Prentice-Hall, Englewood Cliffs, NJ
- (1976) Nonlinear Programming: Analysis and Methods
- Avriel, M.¹

24
- 0002005187
- Total time on test processes and applications to failure data analysis
- Barlow, R. E., Fussell, J. and Singpurwalla, N. D. (eds), SIAM, Philadelphia
- (1975) Reliability and Fault Tree Analysis , pp. 451-481
- Barlow, R.E.¹ Campo, R.²

25
- 0007480001
- Optimal checkpointing and rollback strategies with media failures: Statistical estimation algorithms
- IEEE Computer Society Press, Los Alamitos, CA
- (1999) Proc. 1999 Pacific Rim Int. Symp. on Dependable Computing , pp. 161-168
- Dohi, T.¹ Kaio, N.² Osaki, S.³

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.