Examples with "Java memory model" 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.
In this work, we develop a machine-checked model of concurrent Java and the Java memory model and investigate the impact of concurrency on these guarantees.
In der hier vorgestellten Dissertation wird ein maschinengeprüftes Modell von nebenläufigem Java einschließlich des Java-Speichermodells entwickelt und die Auswirkungen der Nebenläufigkeit auf diese Garantien untersucht.
Andere resultaten
A machine-checked, type-safe model of Java concurrency: language, virtual machine, memory model, and verified compiler.
Ein maschinengeprüftes, typsicheres Modell der Nebenläufigkeit in Java: Sprachdefinition, virtuelle Maschine, Speichermodell und verifizierter Compiler.
The memory model and the Web site it represents are not actively linked.
Das Speichermodell und die von ihm dargestellte Website sind nicht aktiv verknüpft.
In addition, the virtual memory model for the execution environment is established.
Darüber hinaus wird das virtuelle Speichermodell für die Ausführungsumgebung begründet.
Changing the memory model changes the map on the drawing page.
Wenn das Speichermodell geändert wird, ändert sich die Übersicht auf dem Zeichenblatt.
You can find my version of a basic Java Memory Analyzers on Github.
Meine Implementierung eines rudimentären Java Memory Analyzers findet sich auf Github.
We currently do not have any information whether other memory models are intended.
Informationen darüber, ob weitere Speichermodelle geplant sind, liegen uns nicht vor.
Modern multicore processors provide weak memory models.
Moderne Multicore Prozessoren haben schwache Speichermodelle.
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.