作者: Offbeat 時(shí)間: 2025-3-21 21:24
A Program Structure for Error Detection and RecoveryThe paper describes a method of structuring programs which aids the design and validation of facilities for the detection of and recovery from software errors. Associated with the method is a mechanism for the automatic preservation of restart information at a level of overhead which is believed to be tolerable.作者: 不在灌木叢中 時(shí)間: 2025-3-22 03:40 作者: ATP861 時(shí)間: 2025-3-22 05:24 作者: 審問(wèn) 時(shí)間: 2025-3-22 10:50
Reliable Computer Systems978-3-642-82470-8Series ISSN 0172-603X Series E-ISSN 2512-5486 作者: Defraud 時(shí)間: 2025-3-22 14:43
Monographs in Computer Sciencehttp://image.papertrans.cn/r/image/826437.jpg作者: EVADE 時(shí)間: 2025-3-22 20:42 作者: 心胸開(kāi)闊 時(shí)間: 2025-3-22 21:25 作者: gangrene 時(shí)間: 2025-3-23 03:28
System Structure for Software Fault Tolerance “conversations,” and “fault-tolerant interfaces.” The aim is to facilitate the provision of dependable error detection and recovery facilities which can cope with errors caused by residual design inadequacies, particularly in the system software, rather than merely the occasional malfunctioning of hardware components.作者: 奇思怪想 時(shí)間: 2025-3-23 08:23
A Reconsideration of the Recovery Block Schemed interest that has been expressed in the scheme there appears to be a standard set of questions which are posed about its implementation and utility. This paper presents a brief overview of the recovery block scheme and then examines in detail the issues that these questions raise.作者: Cytokines 時(shí)間: 2025-3-23 12:52 作者: 合唱團(tuán) 時(shí)間: 2025-3-23 14:11 作者: 大量 時(shí)間: 2025-3-23 21:00 作者: –吃 時(shí)間: 2025-3-24 01:19 作者: CHARM 時(shí)間: 2025-3-24 03:05 作者: 高度贊揚(yáng) 時(shí)間: 2025-3-24 08:02 作者: 異教徒 時(shí)間: 2025-3-24 10:50
Introduction‘wrong’ with a system. However, in any discussion on reliability and fault tolerance, more precision is called for to avoid confusion. The definitions for these terms presented here in the first paper by Anderson and Lee owe their origins to the unpublished work of Melliar-Smith and to his collabora作者: 賞心悅目 時(shí)間: 2025-3-24 17:44 作者: Asymptomatic 時(shí)間: 2025-3-24 20:13 作者: 機(jī)制 時(shí)間: 2025-3-25 00:19 作者: 威脅你 時(shí)間: 2025-3-25 04:52
Introductionmage assessment, error recovery and fault treatment — are embodied in a recovery block in a disciplined fashion. Acceptance tests are used for detecting errors and damage assessment for a single sequential process is particularly simple — the program in execution is assumed to be effected. (Damage a作者: 弄污 時(shí)間: 2025-3-25 10:27 作者: 浮夸 時(shí)間: 2025-3-25 12:41 作者: 阻止 時(shí)間: 2025-3-25 18:01 作者: BARGE 時(shí)間: 2025-3-25 21:18 作者: 輕率看法 時(shí)間: 2025-3-26 02:57 作者: 妨礙議事 時(shí)間: 2025-3-26 04:47 作者: hair-bulb 時(shí)間: 2025-3-26 09:07
Software Reliability: The Role of Programmed Exception Handlingr dealing with suspected software errors. Instead it is shown, using an example program, how exception handling can be combined with the recovery block structure. The result is to improve the effectiveness with which problems due to anticipated faulty input data, hardware components, etc., are dealt作者: 犬儒主義者 時(shí)間: 2025-3-26 16:24
Exception Handling and Software Fault Tolerancegrammed exception handling and default exception handling based on automatic backward recovery is constructed. The cause—effect relationship between software design faults and failure occurrences is explored and a class of faults for which default exception handling can provide effective fault toler作者: 人類(lèi)學(xué)家 時(shí)間: 2025-3-26 20:50
Robust Data Typesspecifying such data types is presented and the issues underlying their correct implementation in a programming language supporting data abstraction and exception handling are discussed and illustrated by examples. New light is shed on some important aspects of exception handling such as the identif作者: 概觀 時(shí)間: 2025-3-26 22:28
Systematic Detection of Exception Occurrences in the knowledge that a given array contains at least one positive element, one might prove a program for finding, say, the first positive element in that array, even though the program may otherwise (i.e. if the array does not contain any positive elements) lead to unpredictable results.作者: 凹處 時(shí)間: 2025-3-27 02:50
Safe Programmingasily certified as being correct with respect to its safe specification, which implies guaranteed termination. This paper describes the theory of safe programming, demonstrates the building of a safe program and summarises the experience gained from practical applications of safe programming.作者: TAIN 時(shí)間: 2025-3-27 05:35 作者: Spina-Bifida 時(shí)間: 2025-3-27 11:25 作者: 來(lái)這真柔軟 時(shí)間: 2025-3-27 14:07 作者: Gossamer 時(shí)間: 2025-3-27 20:55
Book 1985 upon Tyne in 1972. In over ten years of research on system reliability, a substantial number of papers have been produced by the members of this project. These papers have appeared in a variety of journals and conference proceedings and it is hoped that this book will prove to be a convenient refer作者: Plaque 時(shí)間: 2025-3-27 23:51 作者: 雜色 時(shí)間: 2025-3-28 03:10
Introductionbles to their values at the beginning of the recovery block. Finally, fault treatment consists of executing an alternative module in an attempt to avoid the fault(s) that resulted in the failure of the previous module.作者: 口味 時(shí)間: 2025-3-28 06:23
0172-603X Newcastle upon Tyne in 1972. In over ten years of research on system reliability, a substantial number of papers have been produced by the members of this project. These papers have appeared in a variety of journals and conference proceedings and it is hoped that this book will prove to be a conven作者: 讓空氣進(jìn)入 時(shí)間: 2025-3-28 10:56
0172-603X pts of fault tolerance and ends with the earliest Newcastle paper on reliability. The project perhaps became well known after the invention of recovery blocks -978-3-642-82472-2978-3-642-82470-8Series ISSN 0172-603X Series E-ISSN 2512-5486 作者: 牌帶來(lái) 時(shí)間: 2025-3-28 16:59 作者: 妨礙 時(shí)間: 2025-3-28 22:47
P. A. Leets.Providing three in-depth case studies on Bonapartist expansion projects in Algeria, Cochinchina and Mexico, the book provides new insights on the foundations of the liberal position on imperialism, and the i978-3-030-95890-9978-3-030-95888-6Series ISSN 2635-1633 Series E-ISSN 2635-1641 作者: effrontery 時(shí)間: 2025-3-29 00:17 作者: 得意牛 時(shí)間: 2025-3-29 06:08
Santosh Kumar Shrivastava The third section highlights new developments in the context of new technologies and theheightened visibility of regional languages. Finally, the last section presents an overview of the contemporary situation of minority language revitalisation in France and synthesises the key trends identified i作者: impaction 時(shí)間: 2025-3-29 11:08 作者: giggle 時(shí)間: 2025-3-29 14:38
B. Randell The third section highlights new developments in the context of new technologies and theheightened visibility of regional languages. Finally, the last section presents an overview of the contemporary situation of minority language revitalisation in France and synthesises the key trends identified i作者: 不如屎殼郎 時(shí)間: 2025-3-29 19:05
Santosh Kumar Shrivastava The third section highlights new developments in the context of new technologies and theheightened visibility of regional languages. Finally, the last section presents an overview of the contemporary situation of minority language revitalisation in France and synthesises the key trends identified i作者: cacophony 時(shí)間: 2025-3-29 21:02
J. J. Horning,H. C. Lauer,P. M. Melliar-Smith,B. Randell The third section highlights new developments in the context of new technologies and theheightened visibility of regional languages. Finally, the last section presents an overview of the contemporary situation of minority language revitalisation in France and synthesises the key trends identified i作者: Little 時(shí)間: 2025-3-30 01:05
T. Anderson,R. Kerre 1850s and 60s through the analysis of parliamentary debates, the press and published texts.Providing three in-depth case studies on Bonapartist expansion projects in Algeria, Cochinchina and Mexico, the book provides new insights on the foundations of the liberal position on imperialism, and the i作者: 收到 時(shí)間: 2025-3-30 04:41
S. K. Shrivastavaified to a divine plan. To follow Nature was to follow the commandments of God. Romanticism developed ideas inherited from Rousseau, Diderot and the . but exhibited an attitude to external Nature which was at once more complex and more ambiguous. Romantic thought reflected a new cultural configurati作者: custody 時(shí)間: 2025-3-30 11:38
S. K. Shrivastava,A. A. Akinpeluans bateaux, roule sa nappe de grésil bleu entre des quais chargés de candélabres géants. Un pont court conduit à une poterne immédiatement sous le d?me de la Sainte-Chapelle. Ce d?me est une armature d’acier artistique de quinze mille pieds de diamètre environ.作者: refine 時(shí)間: 2025-3-30 16:06
P. A. Lee,N. Ghani,K. Heronified to a divine plan. To follow Nature was to follow the commandments of God. Romanticism developed ideas inherited from Rousseau, Diderot and the . but exhibited an attitude to external Nature which was at once more complex and more ambiguous. Romantic thought reflected a new cultural configurati作者: 技術(shù) 時(shí)間: 2025-3-30 16:42
J. S. M. Verhofstad the folk revival and the civil rights and ethnic revival movements. Patricia Peknik illuminates howthe music’s history and meaning were interpreted by a variety of actors who brought the genre onto a national and global stage, revealing the many interests at work in the popularization of a regional作者: creditor 時(shí)間: 2025-3-30 22:52
Santosh Kumar Shrivastava the folk revival and the civil rights and ethnic revival movements. Patricia Peknik illuminates howthe music’s history and meaning were interpreted by a variety of actors who brought the genre onto a national and global stage, revealing the many interests at work in the popularization of a regional作者: 敲竹杠 時(shí)間: 2025-3-31 02:43 作者: Compass 時(shí)間: 2025-3-31 08:50 作者: 秘密會(huì)議 時(shí)間: 2025-3-31 12:57
Recovery Blocks in Action: A System Supporting High Reliabilityconstructed to test the viability of these techniques by executing programs containing recovery blocks on an emulator for the proposed architecture. Experience in running this system are recounted with respect to the execution of programs based on erroneous algorithms and also with respect to errors作者: Memorial 時(shí)間: 2025-3-31 13:47 作者: Obverse 時(shí)間: 2025-3-31 18:39
