Examples with "SystemC/TLM" 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.
Die Transformation und die Optimierungstechniken haben wir in einer Toolchain implementiert, die vollautomatisch auf SystemC/TLM Designs angewendet werden kann.
We have implemented our transformation and our optimization techniques in a toolchain, which can be applied to SystemC/TLM designs fully automatically.
Andere resultaten
Diese Pfade werden dann verwendet, um in der Simulation des generierten SystemC/TLM-Programms aufwändige Taskwechsel zu reduzieren...
Therewith, predefined traces are then used during the execution of the generated SystemC/TLM program to avoid time consuming context switches...
Der große Vorteil des wie oben vorgeschlagen kombinierten Entwurfsflusses ist die Möglichkeit, das formale Modell der Anwendung über die Generierung von SytemC/TLM-Programmen hinaus auszunutzen.
However, the real beauty of the combined design flow, as suggested above, is the opportunity to exploit the formal application model beyond the generation of a SystemC/TLM program.
Integration mit jedem vorhandenen System/TDM PBX
Sie können den Server jederzeit mit systemctl stop named anhalten.
Für den Verwalter selbst wird systemctl show alle verfügbaren Eigenschaften anzeigen.
For the manager itself, systemctl show will show all available properties.
Abschließend muss der Webserver über den Befehl systemctl restart nginx neu gestartet werden.
Finally, the web server is restarted using the command systemctl restart nginx.
Geben Sie in der Kommandozeile systemctl start sfcb als root ein.
Enter systemctl start sfcb as root in the command line.
Zum Prüfen des aktuellen systemd-Standardziels führen Sie das Kommando sudo systemctl get-default aus.
To check the current systemd default target run the command sudo systemctl get-default.
Nach der Bearbeitung von/etc/fstab sollte der Benutzer systemctl daemon-reload aufrufen.
After editing/etc/fstab, the user should invoke systemctl daemon-reload.
Starten Sie den svcgssd-Dienst auf dem Server mit systemctl start rpc-svcgssd.service.
Start the svcgssd service on the server with systemctl start rpc-svcgssd.service.
Daher sind die üblichen systemctl-Kommandos auch für wicked gültig.
Führen Sie das Kommando systemctl daemon-reload aus und wiederholen Sie das rcmd-executor Startkommando.
Run systemctl daemon-reload and then repeat the rcmd-executor start command.
