000			03397nam a22004335i 4500
001			u373973
003			SIRSI
005			20160812084211.0
007			cr nn 008mamaa
008			100623s2010 gw | s |||| 0|eng d
020			_a9783642112577 _9978-3-642-11257-7
040			_cMX-MeUAM
050		4	_aQA76.9.E94
082	0	4	_a004.24 _223
100	1		_aWolter, Katinka. _eauthor.
245	1	0	_aStochastic Models for Fault Tolerance _h[recurso electrónico] : _bRestart, Rejuvenation and Checkpointing / _cby Katinka Wolter.
264		1	_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg : _bImprint: Springer, _c2010.
300			_aXVI, 269 p. _bonline resource.
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_aonline resource _bcr _2rdacarrier
347			_atext file _bPDF _2rda
505	0		_aBasic Concepts and Problems -- Task Completion Time -- Restart -- Applicability Analysis of Restart -- Moments of Completion Time Under Restart -- Meeting Deadlines Through Restart -- Software Rejuvenation -- Practical Aspects of Preventive Maintenance and Software Rejuvenation -- Stochastic Models for Preventive Maintenance and Software Rejuvenation -- Checkpointing -- Checkpointing Systems -- Stochastic Models for Checkpointing -- Summary, Conclusion and Outlook.
520			_aAs modern society relies on the fault-free operation of complex computing systems, system fault-tolerance has become an indispensable requirement. Therefore, we need mechanisms that guarantee correct service in cases where system components fail, be they software or hardware elements. Redundancy patterns are commonly used, for either redundancy in space or redundancy in time. Wolter’s book details methods of redundancy in time that need to be issued at the right moment. In particular, she addresses the so-called "timeout selection problem", i.e., the question of choosing the right time for different fault-tolerance mechanisms like restart, rejuvenation and checkpointing. Restart indicates the pure system restart, rejuvenation denotes the restart of the operating environment of a task, and checkpointing includes saving the system state periodically and reinitializing the system at the most recent checkpoint upon failure of the system. Her presentation includes a brief introduction to the methods, their detailed stochastic description, and also aspects of their efficient implementation in real-world systems. The book is targeted at researchers and graduate students in system dependability, stochastic modeling and software reliability. Readers will find here an up-to-date overview of the key theoretical results, making this the only comprehensive text on stochastic models for restart-related problems.
650		0	_aComputer science.
650		0	_aComputer system performance.
650		0	_aComputer simulation.
650	1	4	_aComputer Science.
650	2	4	_aSystem Performance and Evaluation.
650	2	4	_aProbability and Statistics in Computer Science.
650	2	4	_aSimulation and Modeling.
710	2		_aSpringerLink (Online service)
773	0		_tSpringer eBooks
776	0	8	_iPrinted edition: _z9783642112560
856	4	0	_zLibro electrónico _uhttp://148.231.10.114:2048/login?url=http://link.springer.com/book/10.1007/978-3-642-11257-7
596			_a19
942			_cLIBRO_ELEC
999			_c201853 _d201853