Voice and photo translation, offline features, synonyms, conjugation, learning games
Advertising
Register for free: access more results and features
algorithmic verification
Examples with "algorithmic verification" and their translation in German
In addition, you can ignore the news by all the reporters who have been ignored by any user (with algorithmic verification of this function's abuse).Together with the other users create the world which you want to live in.
Zusätlich kannst du die Nachrichten aller Mikroblogger unbeachtet lassen, die irgendein Benutzer ignoriert hat (bei algorithmischer Überprüfung des Missbrauchs dieser Funktion). Gestalte zusammen mit anderen Benutzern die Welt mit, in der du leben willst.
Diagrams integrate deductive and algorithmic verification techniques for the verification of finite and infinite-state systems, thus combining the expressive power and flexibility of deduction with the automation provided by algorithmic methods.
Diagramme integrieren die deduktiven und algorithmischen Techniken zur Verifikation endlicher und unendlicher Systeme, dadurch kombinieren sie die Ausdrucksstärke und die Flexibilität von Deduktion mit der von algoritmischen Methoden unterstützten Automatisierung.
From 1977 to 1982 he switched his attention to verification of transition systems and developed original results on the algorithmic verification of concurrent systems based on a fixpoint characterization of the modalities of a branching time temporal logic.
Von 1977 bis 1982 fokussierte er seine Arbeit mehr auf die Überprüfung von Übergangs-Systemen und entwickelte neue Resultate für die algorithmische Verifikation nebenläufiger Systeme, basierend auf einer Fixpunkt-Charakterisierung der Modalitäten einer in der Zeit verzweigten temporalen Logik.
Other results
This results in an algorithmic penalty or manual verification that significantly affects your website.
Dies führt zu einer algorithmischen Strafe oder manuellen Überprüfung, die deine Website erheblich beeinträchtigt.
Dr. Carsten Sinz and Florian Merz work in the group "Verification Meets Algorithmics" at the KIT Institute of Theoretical Informatics and develop the static analysis tool LLBMC (Low-level Bounded Model Checker) for automatic software quality checks.
Dr. Carsten Sinz und Florian Merz entwickeln in der Forschungsgruppe „Verifikation trifft Algorithmik" am Institut für Theoretische Informatik des KIT das Statische-Analyse-Werkzeug LLBMC (Softwarequalitätsprüfung.
In the research area of automatic verification we try to find a balance between the expressive power of specification languages and their algorithmic complexity.
In der automatischen Verifikation versuchen wir einen Kompromiss zwischen der Ausdrucksstärke von Spezifikationssprachen und ihrer algorithmischen Beherrschbarkeit zu finden.
The combination of validation edits, logon verifications, database lookups, policies, and algorithmic transformations that constitute an enterprise's way of doing business.
Die Kombination aus Überprüfungsbearbeitungen, Anmeldungsüberprüfungen, Datenbanksuchen, Richtlinien und algorithmischen Transformationen, aus denen die Geschäftstätigkeit eines Unternehmens besteht.
Game theory in the formal verification of software involves the algorithmic analysis of various forms of games played on graphs.
Die Spieltheorie zur formalen Verifikation von Software umfasst die algorithmische Analyse verschiedener Formen von Spielen auf Graphen.
Most of the research groups on Theoretical Computer Science work in algorithmics or in specification and verification.
Die meisten Forschungsgruppen der Theoretischen Informatik weltweit beschäftigen sich entweder mit Algorithmik oder Spezifikation und Verifikation.
On the more applied side, the cluster members explore fundamental algorithmic and complexity issues in computational logic, program and systems verification as well as mathematical optimization, computer vision and scientific computing.
Im Bereich Anwendungen erforschen die Cluster-Mitglieder grundlegende algorithmische und komplexitätstheoretische Probleme in der Berechnungslogik, Programm- und Systemverifikation, mathematischer Optimierung, Bilderkennung sowie im wissenschaftlichen Rechnen.
Game theory in formal verification involves the algorithmic analysis of various forms of games played on graphs, where the graph models a reactive system.
Spieltheorie für die formale Verifikation von Software umfasst die algorithmische Analyse verschiedener Formen von Spielen auf Graphen, wobei der Graph ein Modell für ein reaktives System ist.
Mathematical logic; mathematical foundations of computer science; algorithmic model theory; the theory of finite and infinite games, their applications in logic and the specification and verification of reactive systems; descriptive complexity theory; fixed-point logics; automatic structures
Mathematische Logik; Mathematische Grundlagen der Informatik; Algorithmische Modelltheorie; die Theorie endlicher und unendlicher Spiele, ihre Anwendungen Prof. Dr. Arie Koster
TOP Verification The research group Verification meets Algorithm at the Institute for Theoretical Informatics deals with quality assurance processes (verification) for hard- and software including the related fundamental field of research (algorithmics).
TOP Verifikation Die Forschungsgruppe Verifikation trifft Algorithmik am Institut für Theoretische Informatik befasst sich mit Verfahren zur Qualitätssicherung (Verifkation) von Hard- und Software einschließlich der zugehörigen Grundlagenforschung (Algorithmik).
Synonyms and analogies of "algorithmic verification" in English
Word & Expression of the day
Image of the day
Results: 13. Exact: 3. Elapsed time: 76 ms.
