References
- Xiaozhi , D. , Yong , A. , Di , H. , Ying , C. and Xiao , Z. Modeling and performance analysis of software rejuvenation policy for multiple degradation systems . 33rd Annual IEEE International Computer Software and Applications Conference . 20–24 July 2009 , Seattle, WA. pp. 240 – 245 . Washington, DC : IEEE Computer Society Press .
- Trivedi , K. , Ciardo , G. , Dasarathy , B. , Grottke , M. , Rindos , A. and Vashaw , B. Achieving and assuring high availability . 13th IEEE Workshop on Dependable Parallel, Distributed and Network-Centric Systems/22nd IEEE International Parallel and Disributed Processing Symposium . 14–18 April 2008 , Miami, FL. pp. 1 – 7 . Washington, DC : IEEE Computer Society Press .
- Avritzer , A. and Weyuker , E.J. 1997 . Monitoring smothly degrading systems for increased dependability . Empir. Softw. Eng. , 2 ( 1 ) : 59 – 77 .
- Garg , S. , Van Moorsel , A. , Vaidyanathan , K. and Trivedi , K.S. A methodology for detection and estimation of software aging . Proceedings Ninth International Symposium on Software Reliability Engineering . 4–7 November 1998 , Paderborn, Germany. pp. 283 – 292 . Washington, DC : IEEE Computer Society Press .
- Grottke , M. , Li , L. , Vaidyanathan , K. and Trivedi , K.S. 2006 . Analysis of software agining in web server . IEEE Trans. Reliab. , 55 ( 3 ) : 411 – 420 .
- Marshall , E. 1992 . Fatal error: how patrot overlooked a scud . Science , 255 : 1347
- Huang , Y. , C. Kintalal and Funton , N.D. Software rejuvenation: analysis, module and applications . Proceedings of the 25th IEEE International Symposium on Fault Toletant Computing . 27–30 June 1995 , Pasadena, CA. pp. 381 – 390 . Washington, DC : IEEE Computer Society Press .
- Vaidyanathan , Selvamuthu , K. and Trivedi , K. Analysis of inspection-based preventive maintenance in operational software systems . 21st IEEE Symposium on Reliable Distributed Systems Suita . 13–16 October 2002 , Japan. pp. 1 – 10 . Washington, DC : IEEE Computer Society Press .
- Wang , Y. , Huang , Y. , Fuchs , W.K. , Kintala , C. and Suri , G. 1997 . Progressive retry for software failure recovery in message passing applications . IEEE Trans. Computer , 46 ( 10 ) : 1137 – 1141 .
- Clement , P. , Meijmans , H.J.A. , Angenent , S. , van Duijn , D.J. and de Pagter , B. 1987 . One-Parameter Semigroups North Holland, , Netherlands
- Gongqing , Z. and Yuanqu , L. 1987 . Functional Analysis , Beijing : Peking University Press .
- Pazy , A. 1983 . Semigroup of Linear Operators and Application to Partial Differential Equations , Springer-Verlag, Berlin .
- Lax , P.D. and Richtmyer , R.D. 1956 . Survey of the stability of linear finite difference equations . Commun. Pure Appl. Math. , 9 : 267 – 293 .
- Ito , K. and Kappel , F. 1998 . The Trotter-Kato theorem and approximation of PDEs . Math. Comput. , 67 : 21 – 44 .