indicate 发表于 2025-3-28 16:11:48

Informatik-Fachberichtehttp://image.papertrans.cn/s/image/871142.jpg

葡萄糖 发表于 2025-3-28 22:48:39

https://doi.org/10.1007/978-3-642-69705-0Datenstrukturen; FORTRAN; Modellierung; Programmentwicklung; Programmieren; Programmierung; Simulation; Sof

水獭 发表于 2025-3-29 01:10:09

http://reply.papertrans.cn/88/8712/871142/871142_43.png

允许 发表于 2025-3-29 06:51:07

Zur Verwendung fehlertoleranter Datenstrukturen im Arbeitsplatz-Rechner ATTEMPTOes abstrakten Datentypes List implementiert. In dieser Arbeit wird dieser fundamentale Datentyp zusammen mit seinen inhärenten und zusätzlich implementierten bzw. implementierbaren Fehlertoleranz-Eigenschaften beschrieben.

Progesterone 发表于 2025-3-29 10:32:38

Der Einsatz von Software-Diversität in Systemen mit hohen Zuverlässigkeitsanforderungenen Einsatz. Ein Ansatz bei der Software Konstruktion ist die Verwendung von Diversität. Dieser Ansatz wird in einer Reihe von Anwendungen in sicherheitsrelevanten Bereichen verfolgt. Auf eine Realisierung wird näher eingegangen, die Art der Diversität wird beschrieben, und auf die Vorteile und Nachteile wird eingegangen.

浅滩 发表于 2025-3-29 11:38:59

http://reply.papertrans.cn/88/8712/871142/871142_46.png

RAG 发表于 2025-3-29 16:29:00

Aspekte der Konstruktion robuster SoftwareIn diesem Papier wird versucht, eine Klassifikation von Ursachen für Fehlverhalten von Rechensystemen zu geben und diese zur Grundlage einer ingenieurmä.igen Konstruktion von Softwaresystemen zu machen. Dazu werden Elemente algebraischer Spezifikationen benutzt, wobei wir den Anschlu. von Ausnahmebehandlungen (.) an den bekannten Kalkül betonen.

贿赂 发表于 2025-3-29 21:19:25

Implementierte Checkpoint/Restart Fehlertoleranztechnik in der PraxisDie in dieser Arbeit präsentierte erweiterte Checkpoint/Restart Fehlertoleranztechnik basiert auf:

Cryptic 发表于 2025-3-30 03:45:51

http://reply.papertrans.cn/88/8712/871142/871142_49.png

烦忧 发表于 2025-3-30 08:03:01

http://reply.papertrans.cn/88/8712/871142/871142_50.png
页: 1 2 3 4 [5] 6 7
查看完整版本: Titlebook: Software-Fehlertoleranz und -Zuverlässigkeit; Fevzi Belli,Silvia Pfleger,Manfred Seifert Conference proceedings 1984 Springer-Verlag Berli