Examples with "realen Programmen" and their translation 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.
Verifikationswerkzeuge können komplexe Eigenschaften von realen Programmen beweisen, benötigen aber hierzu korrekte Spezifikationen für unbeschränkte Schleifen und unbeschränkte rekursive Methodenaufrufe.
Verification tools can be used to prove complex properties for real-world programs, but this requires the presence of sound specifications for unbounded loops and unbounded recursive method calls.
Der Algorithmus wurde mit Hilfe des SUIF-Compilers implementiert und erfolgreich mit einer Reihe von realen Programmen getestet.
The algorithm was implemented using the SUIF compiler, and it has been successfully applied to a set of non-toy C programs.
Computerinfektion kann oben in 4 Hauptkategorien gebrochen werden, die im Detail unten erklärt werden:VirenComputer-Viren sind kleine Stücke Software, die zu den realen Programmen sich anbringen.
Computer infections can be broken up into 4 main categories which are explained in detail below:VirusesComputer Viruses are small pieces of software that attach themselves to real programs.
Der SPEC-Test hingegen gehört zu den sogenannten "Real-Life Benchmarks" die auf bestimmte Bearbeitungsschritte in realen Programmen zurückgreifen um somit ein praxisbezogeneres/ programmbezogeneres Ergebnis zu erzielen.
The SPEC test contrarily belongs to the so-called "real-life benchmarks" that revert to certain process steps in order to attain a more realistic/program orientated result.
So dürfte man jenes reale Programm nennen, welches als Verwirklichung der Neomarxismus als revolutionaere Praxis auf den Plan trat.
So one might consider this real program, which came on the stage as a concretisation of the Neomarxism as a revolutionary practice.
Beide sind reale Programme für Berufstätige entwickelt, die Kombination von bewährten Lehrmethoden mit einem intensiven Tempo, um maximalen Lern in kürzester Zeit zu gewährleisten.
Both are real-world programs designed for busy professionals, combining proven teaching methods with an intensive pace to ensure maximum learning in minimal time.
Natürlich würde in einem realen Programm das Messsystem nur einmal am Beginn des Programms geöffnet und am Ende wieder geschlossen werden.
Evidently the measurement system would be opened just once at the beginning of the program and closed at the end in a real program.
Das reale Programm der nächsten Fünfjahrespläne indes besteht darin, „Europa und Amerika einzuholen".
The real program of the coming Soviet five-year plan, however, is to "catch up with Europe and America."
Denn ohne Daten kann keine Politik konzipiert werden, und ebenso wenig lassen sich ohne Kenntnis der Realität reale Programme erarbeiten.
Because without information it is not possible to draft a policy and without a knowledge of the true state of affairs it is not possible to create proper programmes.
Die App bietet außerdem integrierte Vorlagen, um Nutzer zu ermutigen ihre Kreativität auszudrücken und reale Programme zu gestalten, welche mit Freunden via Mail oder Nachrichten geteilt oder sogar ins Netz gestellt werden können.
The app also features built-in templates to encourage users to express their creativity and create real programmes that can be shared with friends using Mail or Messages or even posted to the web.
Das reale Programm eines isolierten Arbeiterstaates kann sich nicht die „Unabhängigkeit" von der Weltwirtschaft als Ziel stellen und noch weniger, „in kürzester Frist" eine nationalsozialistische Gesellschaft aufzubauen.
A realistic program of an isolated workers' state, cannot set itself the aim of accomplishing "independence" from world economy, or even more, to construct it national socialist society in the "shortest time."
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.
