標題: Titlebook: Dependable Computing for Critical Applications 3; Carl E. Landwehr,Brian Randell,Luca Simoncini Conference proceedings 1993 Springer-Verla [打印本頁] 作者: fumble 時間: 2025-3-21 19:49
書目名稱Dependable Computing for Critical Applications 3影響因子(影響力)
書目名稱Dependable Computing for Critical Applications 3影響因子(影響力)學科排名
書目名稱Dependable Computing for Critical Applications 3網(wǎng)絡公開度
書目名稱Dependable Computing for Critical Applications 3網(wǎng)絡公開度學科排名
書目名稱Dependable Computing for Critical Applications 3被引頻次
書目名稱Dependable Computing for Critical Applications 3被引頻次學科排名
書目名稱Dependable Computing for Critical Applications 3年度引用
書目名稱Dependable Computing for Critical Applications 3年度引用學科排名
書目名稱Dependable Computing for Critical Applications 3讀者反饋
書目名稱Dependable Computing for Critical Applications 3讀者反饋學科排名
作者: 紡織品 時間: 2025-3-21 21:35 作者: 作嘔 時間: 2025-3-22 03:59 作者: 暖昧關系 時間: 2025-3-22 08:28
Dynamic Translinear and Log-Domain Circuitsility distribution over its input domain. This paper focuses on ., that is, when an input distribution and a number of random inputs are determined according to criteria relating to software functionality. The criteria based on . deduced from specification, i.e., finite-state machines and decision t作者: mendacity 時間: 2025-3-22 12:32
Mohamed Elhoseny,Aboul Ella Hassanienal specification of such systems coded in TRIO, a language which extends classical temporal logic to deal explicitly with time measures. An interactive tool is outlined that implements such techniques. Essentially the tool is based on interpretation algorithms of the TRIO language. Several heuristic作者: 光明正大 時間: 2025-3-22 16:23 作者: 光明正大 時間: 2025-3-22 20:03 作者: RENAL 時間: 2025-3-22 22:56 作者: 陳舊 時間: 2025-3-23 02:34
Multiplanet Systems of Single Starsferent orders of magnitude, they lead to . Markov chains, which are ill-conditioned in a computational sense for conventional numerical methods. In this paper the well-known randomization technique is adapted to cope with a special class of stiff models. Then we present a class of models wich remain作者: Noisome 時間: 2025-3-23 07:35 作者: 協(xié)迫 時間: 2025-3-23 12:11 作者: adequate-intake 時間: 2025-3-23 17:16 作者: 鋼盔 時間: 2025-3-23 18:58
E. Frey,K. Kroy,J. Wilhelm,E. Sackmannors of the electromechanical part is realized with fail-safe circuits. But these give us to the following problems:.This paper aims to provide a practical solution using “strongly-fail-safe” circuit for designing dependable computer systems aimed at critical processes. The goal is to make use of suc作者: myocardium 時間: 2025-3-24 01:03
Cooperative Phenomena in Physical Networkseral requirements are outlined and basic principles and adopted techniques for dependability are shown; hardware and software vital architecture are described. Then some details about application special features are given, in order to present a suitable software verification and validation environm作者: 量被毀壞 時間: 2025-3-24 04:54
https://doi.org/10.1007/978-3-540-76376-5ybrid environment is useful for obtaining dependability statistics and failure characteristics for a range of system components. The Software instrumentation keeps the introduced overhead small so that error propagation and control flow are not significantly affected by its presence. The Hybrid envi作者: 鉤針織物 時間: 2025-3-24 10:07 作者: Irascible 時間: 2025-3-24 12:19
Dynamic Surveying in Autonomous Driving,. The verification comprises a number of compositional proofs. It addresses safety and liveness properties of the design. As an example, a “cold stand by spare” fault tolerant design is formally defined and verified, using property oriented specifications of component failure assumptions and the compositional inference rules of CSP.作者: 吞噬 時間: 2025-3-24 18:02 作者: 白楊 時間: 2025-3-24 20:04 作者: 易受騙 時間: 2025-3-25 00:12 作者: 競選運動 時間: 2025-3-25 05:56
Design for Dependability. The verification comprises a number of compositional proofs. It addresses safety and liveness properties of the design. As an example, a “cold stand by spare” fault tolerant design is formally defined and verified, using property oriented specifications of component failure assumptions and the com作者: Palter 時間: 2025-3-25 07:29
Tracing Fault Tolerance The set of normal and exceptional behaviours can be considered the set of . behaviours. In this report traces, or communication histories, are used to denote the behaviour of a process. The semantic function ?[.] defines the set of possible communication sequences that can be observed up to any poi作者: OATH 時間: 2025-3-25 15:06
Evaluation of Fault-Tolerant Software: A Performability Modeling Approachcorresponding stochastic process model is constructed by employing a hierarchical modeling framework. Comparison is based on a performability measure that quantifies software “effectiveness” in a designated operational environment. The evaluation results reveal some interesting differences between t作者: incredulity 時間: 2025-3-25 16:13 作者: 脫落 時間: 2025-3-25 21:42 作者: syring 時間: 2025-3-26 00:18 作者: 我不怕犧牲 時間: 2025-3-26 04:41 作者: sclera 時間: 2025-3-26 11:48
A “Strongly-Fail-Safe Majority Voted Output” Circuit used for Designing Dependable Computer Systemsors of the electromechanical part is realized with fail-safe circuits. But these give us to the following problems:.This paper aims to provide a practical solution using “strongly-fail-safe” circuit for designing dependable computer systems aimed at critical processes. The goal is to make use of suc作者: 死亡率 時間: 2025-3-26 14:35
Dependable Computing for Railway Control Systemseral requirements are outlined and basic principles and adopted techniques for dependability are shown; hardware and software vital architecture are described. Then some details about application special features are given, in order to present a suitable software verification and validation environm作者: Amylase 時間: 2025-3-26 16:51 作者: 健談 時間: 2025-3-27 00:04 作者: Pantry 時間: 2025-3-27 01:38
Dynamic Translinear and Log-Domain Circuitssion in our experimental test harness. Two other input distributions are experimented with: the uniform distribution over the input domain and a structural distribution determined so as to rapidly exercise all the instructions of the student’s version. The results show that the functional statistica作者: follicular-unit 時間: 2025-3-27 07:13 作者: 艦旗 時間: 2025-3-27 11:52 作者: puzzle 時間: 2025-3-27 15:02 作者: anarchist 時間: 2025-3-27 20:39
Conference proceedings 1993ependable. The Program Committee selected 18 papers for presentation from a total of 7 4 submissions at a May meeting in Newcastle upon Tyne, UK. The resulting program represented a broad spectrum of interests, with papers from universities, corporations, and government agencies in eight countries. 作者: PRE 時間: 2025-3-27 22:32 作者: EXTOL 時間: 2025-3-28 02:47
Functional Test Case Generation for Real-Time Systemse tool is outlined that implements such techniques. Essentially the tool is based on interpretation algorithms of the TRIO language. Several heuristic criteria are suggested to drastically reduce the size of generated test cases.作者: 玩忽職守 時間: 2025-3-28 07:30
Evaluation of Fault-Tolerant Software: A Performability Modeling Approachthat quantifies software “effectiveness” in a designated operational environment. The evaluation results reveal some interesting differences between the two schemes; in addition, they point to certain inadequacies in the use of computational redundancy which could serve as the basis for design modification.作者: Debrief 時間: 2025-3-28 13:00
Formal Techniques for Synchronized Fault-Tolerant Systems system design has been formally specified and verified using the . verification system. Our formalization is based on an extended state machine model incorporating snapshots of local processors’ clocks.作者: 意見一致 時間: 2025-3-28 17:53
Compiler Correctness and Input/Outputodel can be incorporated into both the relational semantics of Vista and the interpreter semantics of Visa. We illustrate how the compiler correctness theorem proved is sufficient to deduce correctness properties of compiled code from properties of the original program.作者: Grandstand 時間: 2025-3-28 21:35
Dependable Computing for Railway Control Systemsescribed. Then some details about application special features are given, in order to present a suitable software verification and validation environment and to explain procedures and tools for system design. At last, some hints about first installations and relevant results are given.作者: 思想靈活 時間: 2025-3-29 01:07
Of Proteins, Redox States and Living Thingst invocation. In the second stage, the legality of a terminating thread is examined. Results of fault injection experiments on several applications written in C++ and modified to incorporate the object-based checks show that the proposed technique achieves high fault coverage with low performance overhead.作者: 薄膜 時間: 2025-3-29 05:47 作者: SLING 時間: 2025-3-29 07:22 作者: Canary 時間: 2025-3-29 14:52 作者: Receive 時間: 2025-3-29 15:39
Multiplanet Systems of Single Starscit ODE-solvers are also computational infeasible, if they use iterative numerical techniques. A modified step size control and iterative aggregation/disaggregation techniques are proposed to improve the solver performance. The composite usage of both techniques yields large computational gains, especially for higher order methods.作者: Biofeedback 時間: 2025-3-29 22:52 作者: ORE 時間: 2025-3-30 00:46
On the Transient Analysis of Stiff Markov Chainscit ODE-solvers are also computational infeasible, if they use iterative numerical techniques. A modified step size control and iterative aggregation/disaggregation techniques are proposed to improve the solver performance. The composite usage of both techniques yields large computational gains, especially for higher order methods.作者: PATHY 時間: 2025-3-30 04:30
Conference proceedings 1993ored by IFIP Working Group 10.4 and held in Mondello (Sicily), Italy on September 14-16, 1992. System developers increasingly apply computers where they can affect the safety and security of people and equipment. The Third IFIP International Working Conference on Dependable Computing for Critical Ap
