Traduction de "the Java virtual machine" en allemand
Nous n’avons pas trouvé cette entrée. Affichage de résultats approximatifs. Vérifiez l’orthographe ou proposez d’ajouter ce terme au dictionnaire.
die virtuelle Java-Maschine
der Java VM
An apparatus comprising a Java virtual machine (302) for use in a Java computing environment, the Java virtual machine being suitable for executing a synchronized Java method and operable:to invoke a synchronized Java method
Vorrichtung, welche eine virtuelle Java-Maschine (302) für die Verwendung in einer Java-Rechnerumgebung aufweist, wobei die virtuelle Java-Maschine für das Ausführen einer synchronisierten Java-Methode geeignet ist und in der Weise betreibbar ist, daß sie:eine synchronisierte Java-Methode aufruft,
An application or applet has crashed the Java Virtual Machine (JVM).
A new system procedure, lists all classes loaded by the Java virtual machine.
Die neue Systemprozedur listet alle Klassen auf, die von der Java Virtual Machine geladen wurden.
The peak live thread count since the Java virtual machine started or peak was reset.
Die Anzahl der Peak-Live-Threads seit die Java Virtual Machine gestartet oder der Peak zurückgesetzt wurde.
You can use the -sl java option to force the Java virtual machine to load at server startup.
Mit der Java-Option -sl können Sie erzwingen, dass die Java Virtual Machine beim Start des Servers geladen wird.
Unlike previous times, in the process I had to choose only the Java virtual machine and language, which must be so.
Im Gegensatz zu früheren Zeiten, in den Prozess musste ich nur die Java Virtual Machine und die Sprache, die so sein muss wählen.
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.