Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
analysis of programs
Vertaling van "analysis of programs" in Duits
Analyse von Programmen
We provide a new approach to the automated semantic analysis of programs by encoding their behavior into formal logic.
Wir stellen ein neues Vorgehen zur automatisierten semantischen Analyse von Programmen bereit durch die Kodierung ihres Verhaltens in die formale Logik.
PhD student recognized for role as a co-author in developing innovative new algorithms for static analysis of programs
Auszeichnung an PhD-Studenten für Rolle als Co-Autor in der Entwicklung innovativer neuer Algorithmen für die statische Analyse von Programmen
Many of the world's top pharmaceutical and biotechnology companies depend on ICON Clinical plc (ICON) for strategic development, management and analysis of programs that support clinical development.
Viele der führenden Pharmaunternehmen und Biotechnologiebetriebe der Welt verlassen sich bei der strategischen Bereitstellung, Verwaltung und Analyse von Programmen zur Förderung der klinischen Entwicklung auf ICON Clinical plc (ICON).
In addition to these generic techniques there are special procedure for the verification of temporal properties and for the analysis of programs, especially of programs working on pointer structures.
Neben diesen generischen Techniken gibt es spezielle Verfahren z.B. zur Verifikation temporaler Eigenschaften und zur Programmanalyse, insbesondere von Programmen auf Pointerstrukturen.
Tracer system for fault analysis of programs in running real-time systems, having a monitoring means (SFG) which determines the dynamic load on the real-time system caused by the tracer system and deactivates the tracer system if this dynamic load exceeds at least one specific threshold value.
Tracer-System zur Fehleranalyse von Programmen in laufenden Realzeitsystemen, mit einem Überwachungsmittel (SFG), das die durch das Tracer-System bedingte dynamische Belastung des Realzeitsystems ermittelt und das Tracer-System deaktiviert, falls diese dynamische Belastung wenigstens einen bestimmten Schwellwert überschreitet.
Moreover, we also discuss related areas such as automated complexity analysis of programs and methods to prove liveness of processes. Times
Darüber hinaus gehen wir auch auf verwandte Bereiche wie die automatische Komplexitätsanalyse von Programmen und auf Verfahren zur Lebendigkeitsuntersuchung von Prozessen ein.
ECLAIR is a powerful tool for static code analysis of programs written in C/C++.
ECLAIR ist eine leistungsfähige Plattform zur statische Code-Analyse von Programmen, die in C/C++ geschrieben sind.
In September 2009, he was awarded the Konrad Zuse Medal for his achievements in research and education with respect to compiler construction, real time analysis of programs and his service as scientific director of the LZI/Schloss Dagstuhl.
Am 30. September 2009 wurde er mit der Konrad-Zuse-Medaille für Verdienste in Forschung und Lehre auf dem Gebiet des Übersetzerbaus und der Echtzeitanalyse von Programmen sowie für seine Tätigkeit als wissenschaftlicher Direktor des Leibniz-Zentrums für Informatik, Schloss Dagstuhl geehrt.
Synoniemen voor analysis of programs in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Suggesties
Resultaten: 8. Exact: 8. Verstreken tijd: 51 ms.
