Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
PolySpace Server
Vertaling van "PolySpace Server" in Duits
PolySpace Server
With PolySpace Server for C/C++ you can accelerate code verification by performing the verifications on a computer cluster.
Mit PolySpace Server für C/C++ können Sie die Code-Verifizierung beschleunigen und die Verifizierungen auf einem Computer-Cluster durchführen.
PolySpace Server for C/C++ streamlines the verification process by letting you queue and distribute verification jobs.
PolySpace Server für C/C++ rationalisiert den Verifizierungsprozess dadurch, dass Sie Ihre Verifizierungsaufträge in eine Warteschlange bringen und verteilen können.
Monitor the status of jobs submitted to PolySpace Server for C/C++
den Status der an PolySpace Server für C/C++ übermittelten Aufträge überwachen
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++ 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++, 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.
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.
When used with PolySpace Server for C/C++, PolySpace Client for C/C++ lets you submit verification jobs to computer clusters.
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.
Code verification workflow with PolySpace Client for C/C++ and PolySpace Server for C/C++.
Workflow der Code-Verifizierung mit PolySpace Client für C/C++ und PolySpace Server für C/C++.
Multiple PolySpace clients with one PolySpace server.
Mehrere PolySpace Clients mit einem PolySpace Server.
Synoniemen voor PolySpace Server in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 8. Exact: 8. Verstreken tijd: 73 ms.
