Examples with "SystemC/TLM" and their translation in Duits
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.
We have implemented our transformation and our optimization techniques in a toolchain, which can be applied to SystemC/TLM designs fully automatically.
Die Transformation und die Optimierungstechniken haben wir in einer Toolchain implementiert, die vollautomatisch auf SystemC/TLM Designs angewendet werden kann.
The combination of both is achieved by automatic SystemC/TLM program generation.
Therewith, predefined traces are then used during the execution of the generated SystemC/TLM program to avoid time consuming context switches...
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.
Andere resultaten
Stop the server at any time by entering systemctl stop named.
Sie können den Server jederzeit mit systemctl stop named anhalten.
For the manager itself, systemctl show will show all available properties.
Für den Verwalter selbst wird systemctl show alle verfügbaren Eigenschaften anzeigen.
Finally, the web server is restarted using the command systemctl restart nginx.
Abschließend muss der Webserver über den Befehl systemctl restart nginx neu gestartet werden.
Enter systemctl start sfcb as root in the command line.
Geben Sie in der Kommandozeile systemctl start sfcb als root ein.
To check the current systemd default target run the command sudo systemctl get-default.
Zum Prüfen des aktuellen systemd-Standardziels führen Sie das Kommando sudo systemctl get-default aus.
After editing/etc/fstab, the user should invoke systemctl daemon-reload.
Nach der Bearbeitung von/etc/fstab sollte der Benutzer systemctl daemon-reload aufrufen.
Start the svcgssd service on the server with systemctl start rpc-svcgssd.service.
Starten Sie den svcgssd-Dienst auf dem Server mit systemctl start rpc-svcgssd.service.
So the usual systemctl commands will apply to wicked.
Run systemctl daemon-reload and then repeat the rcmd-executor start command.
Führen Sie das Kommando systemctl daemon-reload aus und wiederholen Sie das rcmd-executor Startkommando.