Vertaling van "algorithmischen Techniken" in Engels
We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
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.
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."
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.
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.
Potentieel gevoelige of ongepaste informatie
Er worden alleen voorbeelden gegeven om u te helpen het woord of de woordcombinatie waarop u hebt gezocht, te vertalen. Deze worden niet door ons geselecteerd of gevalideerd en kunnen ongepaste taal bevatten. Wij vragen u melding te maken van voorbeelden die dienen te worden aangepast of verwijderd. Vertalingen met grof of informeel taalgebruik worden meestal rood of oranje gemarkeerd.
Er zijn geen resultaten gevonden voor deze term.
Synoniemen voor algorithmischen Techniken in het Duits
