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.
PolySpace Server
mehrere Verifizierungsaufträge an PolySpace Server auf einem Computer-Cluster oder einer Compute Farm senden
Submit multiple verification jobs to PolySpace servers running on a computer cluster or compute farm
Mit PolySpace Server für C/C++ können Sie die Code-Verifizierung beschleunigen und die Verifizierungen auf einem Computer-Cluster durchführen.
With PolySpace Server for C/C++ you can accelerate code verification by performing the verifications on a computer cluster.
PolySpace Server für C/C++ rationalisiert den Verifizierungsprozess dadurch, dass Sie Ihre Verifizierungsaufträge in eine Warteschlange bringen und verteilen können.
PolySpace Server for C/C++ streamlines the verification process by letting you queue and distribute verification jobs.
PolySpace Server für C/C++ bietet zusammen mit PolySpace Client für C/C++ ein Code-basiertes Verifizierungstool, mit dem die Zuverlässigkeit des Quellcodes geprüft sowie Laufzeitfehler im Quellcode erkannt werden können, ohne dass Sie den Code ausführen oder modifizieren müssen.
PolySpace Server for C/C++, together with PolySpace Client for C/C++, provides a code-based verification tool that proves source code reliability and detects run-time errors in source code without requiring you to execute or modify the code.
PolySpace Server für C/C++ bietet zusammen mit PolySpace Client für C/C++ eine Code-basierte Verifizierung, mit der Laufzeitfehler im Quellcode, wie z. B. Überlauf, Division durch Null oder unzulässiger Array-Zugriff geprüft werden können.
PolySpace Server for C/C++, in conjunction with PolySpace Client for C/C++, provides code-based verification that proves the absence of overflow, divide by zero, out-of-bounds array access, and other run-time errors in source code.
den Status der an PolySpace Server für C/C++ übermittelten Aufträge überwachen
Monitor the status of jobs submitted to PolySpace Server for C/C++
Mehrere PolySpace Clients mit einem PolySpace Server.
Multiple PolySpace clients with one PolySpace server.
In Verbindung mit PolySpace Server für C/C++ ermöglicht Ihnen PolySpace Client für C/C++ das Senden von Verifikationsaufgaben an Computer-Cluster.
When used with PolySpace Server for C/C++, PolySpace Client for C/C++ lets you submit verification jobs to computer clusters.
Workflow der Code-Verifizierung mit PolySpace Client für C/C++ und PolySpace Server für C/C++.
Code verification workflow with PolySpace Client for C/C++ and PolySpace Server for C/C++.
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.
