Translation of "algorithmischen Techniken" in English
We couldn’t find this entry. Showing approximate results. Check your spelling or suggest adding this term to the dictionary.
algorithmic techniques
Zunächst einmal lässt sich festhalten, dass multimodale Reiseauskunft mit den von uns entwickelten algorithmischen Techniken auf jeden Fall eine realistische Zukunftsperspektive ist.
First and foremost, we can conclude that a multimodal travel enquiry with the algorithmic techniques we have developed is a realistic future possibility.
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.
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.
Das 2016 abgeschlossene EXA2CT-Projekt vereinte Experten an der Spitze der Entwicklung von Lösern, verwandten algorithmischen Techniken und HPC-Softwarearchitekten für Programmiermodelle und Kommunikation.
The EXA2CT project which concluded in 2016 brought together experts at the cutting edge of the development of solvers, related algorithmic techniques, and HPC software architects for programming models and communication.
Die hohe Praxisrelevanz und die vielfältigen algorithmischen Techniken machen für Professor Peter Sanders den Reiz seiner Forschung aus: „Dazu kommt das erstaunlich hohe Verbesserungspotenzial, das sich beispielsweise in millionenfach beschleunigten Berechnungen ausdrückt."
Professor Peter Sanders considers the high practical relevance and multitude of algorithmic techniques to be the charm of his research work. "Moreover, the improvement potential is surprisingly high. For instance, calculations have been accelerated millions of times."
Dies umfasst sowohl die zugrundeliegenden mathematischen und algorithmischen Techniken als auch die Kenntnis geeigneter Softwarewerkzeuge, die diese Techniken implementieren.
This covers basic mathematical and algorithmical skills and knowledge of suitable software tools that implement these techniques.
Potentially sensitive or inappropriate content
Examples are used only to help you translate the word or expression searched in various contexts. They are not selected or validated by us and can contain inappropriate terms or ideas. Please report examples to be edited or not to be displayed. Potentially sensitive, inappropriate or colloquial translations are usually marked in red or in orange.
No results found for this meaning.
Synonyms and analogies of "algorithmischen Techniken" in German
