VERIFIKATION - Γερμανικά-Αγγλικά μετάφραση

γερμανικά

αγγλικά

Ve·ri·fi·ka·ti·on <-, -en> [verifikaˈtsi̯o:n] ΟΥΣ θηλ ΝΟΜ

Verifikation τυπικ

verification

αγγλικά

γερμανικά

verification

Verifikation θηλ <-, -en>

Μονόγλωσσα παραδείγματα (μη ελεγμένα από τη συντακτική ομάδα της PONS)

Die Maßstäbe der Rationalisten sind Verifikation, Falsifikation und epistemische Werte wie Einfachheit, Konsistenz und Voraussagefähigkeit.

de.wikipedia.org

Ausgehend von einer empiristischen Grundauffassung lautet das Sinnkriterium in seiner ersten Form: Die Bedeutung einer Aussage ist die Methode ihrer Verifikation.

de.wikipedia.org

Zur Verifikation von Transaktionen muss aber dennoch der vollständige Tangle inklusive aller früheren Transaktionen vorgehalten werden, was erhebliche Anforderungen an Speicherkapazität der Teilnehmer stellt.

de.wikipedia.org

Unter Layoutentwurf einer elektronischen Schaltung (Schaltkreis, Multi-Chip-Modul, Leiterplatte) versteht man das Erstellen und die Verifikation der geometrischen Anordnung der Zellen bzw. Bauelemente und ihrer Verbindungen.

de.wikipedia.org

Mit Blick auf den zweiten Vorwurf, der mangelhaften Verifikation und der stets lauernden Gefahr des Vertragsbruchs, verweisen Befürworter der Rüstungskontrolle auf die Geschichte der Rüstungskontrolle.

de.wikipedia.org

Παραδείγματα από το διαδίκτυο (μη ελεγμένα από τη συντακτική ομάδα της PONS)

Wegen der starken Vernetzung und Verkopplung der physikalischen Vorgänge beim Hören erfordert diese Aufgabe oft ein sehr umfassendes Betrachten zur Datengewinnung und Verifikation der postulierten Modelle und der gefundenen Parameter.

www.itm.uni-stuttgart.de

Because of the strong networking and coupling of physical processes in hearing this task often requires a very comprehensive look at the data collection and verification of the postulated models and the parameters found.

www.itm.uni-stuttgart.de

Durch die systematische Verfeinerung und Verifikation von Spezifikationen und die automatische Erzeugung von Software aus Modellen können verschiedene Technologien und Plattformen parallel eingesetzt werden, ohne die aufwändige und mühsame Rekonstruktion des technischen Domänenmodells aus einer konkreten, technologieabhängigen Implementierung.

www.scch.at

Systematic refinement and verification of specifications and automatic generation of software from models enables the parallel use of different technologies and platforms without the costly and cumbersome reconstruction of the technical data model from a concrete technology-bound implementation.

www.scch.at

Dies umfasst den Entwurf integrierter Schaltungen, deren Analyse durch Simulation oder formale Verifikation, die rechnergestützte Synthese und Optimierung digitaler Schaltkreise, automatische Layout-Synthese, Diagnose und Test von Schaltkreisen und Systemen sowie den Entwurf dazugehöriger wiederverwendbarer Anwendungssoftware.

www.informatik.uni-wuerzburg.de

This includes the design of integrated circuits, their analysis using simulation as well as formal verification, computer-aided synthesis and optimization of digital circuits, automatic layout synthesis, diagnostics and testing of circuits and systems, and finally the design of associated but reusable application software.

www.informatik.uni-wuerzburg.de

Die Forschungsaktivitäten erstrecken sich von der Konzeption und Auslegung von Leichtbaukomponenten über die Berechnung und Simulation bis hin zur experimentellen Verifikation der Forschungsergebnisse.

ilh.uni-paderborn.de

The activities includes the design and interpretation of lightweight components, the calculation and simulation as well as the experimental verification of research results.

ilh.uni-paderborn.de

Anfragen für die Verifikation verhaltensbasierter Systeme sollen automatisch generiert werden.

agrosy.informatik.uni-kl.de

Queries for the verification of behaviour-based systems shall be generated automatically.

agrosy.informatik.uni-kl.de