Mit dieser Technik lassen sich alle möglichen Laufzeitbedingungen vollständig und umfassend verifizieren. Für jede Codeoperation wird automatisch die Diagnose „bewiesen", „fehlgeschlagen", „unerreichbar" oder „unbewiesen" gestellt.
This technique completely and comprehensively verifies all possible run-time conditions and automatically provides a diagnostic of proven, failed, unreachable, or unproven for each code operation.
Für jede Codeoperation wird automatisch die Diagnose „bewiesen", „fehlgeschlagen", „unerreichbar" oder „unbewiesen" gestellt.
Verify completely and comprehensively all risky operations, getting a diagnostic of "proven," "fail," "unreachable," or "unproven" for each operation
Autres résultats
VERFAHREN UND VORRICHTUNG ZUR DURCHFÜHRUNG VON CODEOPERATIONEN DER NIEDERDICHTE-PARITÄTSPRÜFUNG (LDPC) UNTER VERWENDUNG EINER MEHREBENENPERMUTATION
METHOD AND APPARATUS FOR PERFORMING LOW-DENSITY PARITY-CHECK (LDPC) CODE OPERATIONS USING A MULTI-LEVEL PERMUTATION
BODENOPERATIONS- UND ERWEITERTES RUNWAY-BEWUSSTHEITS- UND RATSCHLAGSYSTEM
SEPAC lautet die Abkürzung für Small European Postal Administration Cooperations.
SEPAC is an abbreviation for 'Small European Postal Administration Cooperations'.
Hinzu kommt, dass Brand Cooperations in den Maßnahmenplänen touristischer Anbieter - allen voran Landesorganisationen und Destinationen - ein fixer Bestandteil sind.
In addition, brand cooperation is an integral part of the action plans for tourism providers - above all national organisations and destinations.
Der von uns vorgeschlagene Anwendungsbereich wird zudem um die cooperations gekürzt werden.
Das Team "Cooperations" ist Teil von "Cargo Evolution" - der Lufthansa Cargo Strategie.
The cooperations team is part of Cargo Evolution - Lufthansa Cargo's strategy.
In unserer Abteilung Academic Cooperations besteht außerdem die Möglichkeit, an Forschungsprojekten mitzuarbeiten, die wir gemeinsam mit Universitäten oder Industrieunternehmen realisieren.
In addition, our Academic Cooperations department has the opportunity to collaborate on research projects that we implement together with universities or industrial companies.
Kreativen, engagierten Musikern und Bands zeitgenössischer, urbaner Musik bieten wir ein professionelle Arbeitsumgebung, etabliertes Netzwerk und langrfistige Cooperations-Möglichkeit zu fairen Konditionen.
We offer creative, enthusiastic musicians and bands of contemporary, urban music, a professional work environment, established network and longterm cooperations with fair conditions.
Das Projekt wird jedoch unter neuem Namen von einem Teil der Gruppe weitergeführt, und ist heute unter der Bezeichnung Cooperations Asbl bekannt.
The project will be continued though by a part of the group under a new name and is now known as Cooperations Asbl.
Contenu potentiellement sensible ou inapproprié
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.
