Erscheinungsjahr
Format
Lizenz
TIB-Lesesaalbestand
LUH-Institutsbestand
Synonyme wurden verwendet für: Fehlertoleranz
Suche ohne Synonyme: keywords:("Fehlertoleranz")
Verwendete Synonyme:
- error tolerance
- fault tolerance
- fault tolerant computing
- fehlertolerantes system
-
FireWorks: a dynamic workflow system designed for high‐throughput applications
Wiley | 2015|Schlagwörter: fault‐tolerant computing -
2013 Sixth Latin-American Symposium on Dependable Computing (LADC) : 1 - 5 [i.e. 2 - 5] April 2013, Rio de Janeiro, Brazil
TIBKAT | 2013|Schlagwörter: Fault-tolerant computing -
Design of high-efficiency complex multiplier for fault-tolerant computation
Elsevier | 2023|Schlagwörter: Fault-tolerant computing -
Dependable computing for critical applications 7
TIBKAT | 2010|Schlagwörter: Fault-tolerant computing -
Fault diagnosis and fault-tolerant control of robotic and autonomous systems
TIBKAT | 2020|Schlagwörter: Fault-tolerant computing -
2014 IEEE 20th Pacific Rim International Symposium on Dependable Computing (PRDC) : 18 - 21 Nov. 2014, Singapore
TIBKAT | 2014|Schlagwörter: Fault-tolerant computing -
Are Practitioners Writing Contracts?
British Library Conference Proceedings | 2005|Schlagwörter: Fault-tolerant computing -
Towards Formal Development of Mobile Location-based Systems
British Library Conference Proceedings | 2005|Schlagwörter: Fault-tolerant computing -
Analyzing Fault-Tolerant Systems with FAUST
British Library Conference Proceedings | 2005|Schlagwörter: Fault-tolerant computing -
Towards a methodology for rigorous development of generic requirements patterns
British Library Conference Proceedings | 2005|Schlagwörter: Fault-tolerant computing -
Modeling and Analysis of Architectural Exceptions
British Library Conference Proceedings | 2005|Schlagwörter: Fault-tolerant computing -
Omnibus: A clean language and supporting tool for integrating different assertion-based verification techniques
British Library Conference Proceedings | 2005|Schlagwörter: Fault-tolerant computing -
The Fault-Tolerant Insulin Pump Therapy
British Library Conference Proceedings | 2005|Schlagwörter: Fault-tolerant computing -
2013 IEEE 11th International Conference on Dependable, Autonomic and Secure Computing (DASC) : 21 - 22 Dec. 2013, Chengdu, Sichuan, China ; jointly with the 11th IEEE International Conference on Pervasive Intelligence and Computing (PICom 2013), the 11th IEEE International Conference on Embedded Computing (EmbeddedCom 2013) [and] the 13th IEEE International Conference on Scalable Computing and Communications (ScalCom 2013) ; [part of] the 2013 World Ubiquitous Science Congress (U-Science 2013)
TIBKAT | 2013|Schlagwörter: Fault-tolerant computing -
Shortest Violation Traces in Model Checking Based on Petri Net Unfoldings and SAT
British Library Conference Proceedings | 2005|Schlagwörter: Fault-tolerant computing -
Adiabatic quantum programming: minor embedding with hard faults
Online Contents | 2013|Schlagwörter: Fault-tolerant computing -
Rigorous Fault Tolerance Using Aspects and Formal Methods (invited presentation)
British Library Conference Proceedings | 2005|Schlagwörter: Fault-tolerant computing -
Application of Event B to Global Causal Ordering for Fault Tolerant Transactions
British Library Conference Proceedings | 2005|Schlagwörter: Fault-tolerant computing -
Modelling Fault Tolerance of Transient Faults
British Library Conference Proceedings | 2005|Schlagwörter: Fault-tolerant computing
Meine Suche schicken an (beta)
Schicken Sie ihre Suchanfrage (Suchterm ohne Filter) an andere Datenbanken, Portale und Kataloge, um ggf. weitere interessante Treffer zu finden:
Dimensions ist eine Datenbank für Abstracts und Zitate, die Informationen zu Forschungsförderungen mit daraus resultierenden Veröffentlichungen, Studien und Patenten verknüpft.
Im TIB AV-Portal können audiovisuelle Medien aus Wissenschaft und Lehre recherchiert und eigene wissenschaftliche Videos publiziert werden.
Im FID move kann nach fachspezifischer Literatur, Forschungsdaten und weitere Informationen aus der Mobilitäts- und Verkehrsforschung gesucht werden.
Der Open Research Knowledge Graph liefert strukturiert beschriebene Forschungsinhalte und macht diese vergleichbar.
Frei zugänglicher Ausschnitt der Verbunddatenbank K10plus des GBV und des SWB mit für die Fernleihe und Direktlieferdienste relevanten Materialien.