Ferner wird ein NFP-Projekt in Abstimmung mit den anderen Projekten des Programms koordiniert realisiert (Datenaustausch, Methodenseminare, Austausch von Zwischen- und Schlussergebnissen, Zusammenarbeit in der Programmsynthese).
In addition, NRP projects are closely coordinated with the other projects of the programme (data exchange, methodology seminars, exchange of preliminary and final results, collaboration on the programme synthesis).
Die Resultate unserer Studien werden in der Programmsynthese eingesetzt, um die Umsetzbarkeit von Landschaftsentwicklungsszenarien hinsichtlich möglicher Raumnutzungskonflikte zu beurteilen.
The results of our studies will be used in the program synthesis to evaluate the practicability of landscape development scenarios regarding possible land use conflicts.
Der Ansatz der Programmsynthese ist jedoch nur in eingeschränkten Szenarien anwendbar, insbesondere in reaktiven (Multi-Agenten-) Systemen mit geringer Datenkomplexität und in Kontrollsystemen.
However, the approach of program synthesis is only applicable in restricted scenarios, in particular in reactive (multi-agent-)systems with low data complexity and in control systems.
In der induktiven Programmsynthese werden rekursive Programme durch das Generalisieren über unvollständige Spezifikationen, wie zum Beispiel endliche Mengen von Eingabe/Ausgabe Beispielen (E/A-Beispielen), generiert.
In inductive program synthesis, recursive programs are constructed by generalizing over incomplete specifications such as finite sets of input/output examples (I/O examples).
2015 wurde er als erster Professor der Universität des Saarlandes mit dem ERC Consolidator Grant der Europäischen Union für seine Arbeit zur automatischen Programmsynthese ausgezeichnet.
In 2015 he was the first professor at Saarland University to be awarded the ERC Consolidator Grant of the European Union for his work on automatic program synthesis.
Die Programmsynthese beschäftigt sich mit der (semi-)automatischen Konstruktion von Computer-Programmen aus Spezifikationen.
Les exemples vous aident à traduire le mot ou l’expression cherchés dans des contextes variés. Ils ne sont ni sélectionnés ni validés par nous et peuvent contenir des mots ou des idées inappropriés. Signalez des exemples à modifier ou à retirer. Les traductions potentiellement sensibles, inappropriées ou familières sont généralement marquées de rouge ou d’orange.
Aucun résultat pour cette recherche.
Synonymes et analogies de "Programmsynthese" en allemand
