„java concurrency“

Suchergebnisse

1.000+ Treffer

• A Machine-Checked, Type-Safe Model of Java Concurrency – Language, Virtual Machine, Memory Model, and Verified Compiler
  Lochbihler, Andreas ; Snelting, G. 2012 KIT Scientific Publishing
• Formal Verification of Object-Oriented Software – International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers
  Beckert, Bernhard ; Marché, Claude 2011 Springer Berlin Heidelberg
• JaCaL – an implementation of Linda in Java
  Tysowski, Piotr ; Zulkernine, Mohammad ; Leue, Stefan 2013 Bibliothek der Universität Konstanz
• Compiler Construction – 20th International Conference, CC 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
  Knoop, Jens 2011 Springer Berlin Heidelberg
• Compiling Volatile Correctly in Java (Artifact)
  Liu, Shuyang ; Bender, John ; Palsberg, Jens
• Compiling Volatile Correctly in Java
  Liu, Shuyang ; Bender, John ; Palsberg, Jens 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Cooking the Books: Formalizing JMM Implementation Recipes
  Petri, Gustavo ; Vitek, Jan ; Jagannathan, Suresh 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Analysing Java's safety guarantees under concurrency
  Lochbihler, Andreas
• Parallele und verteilte Anwendungen in Java
  Oechsle, Rainer 2022 Carl Hanser Verlag GmbH & Co. KG
• Reactive Streams in Java – Concurrency with RxJava, Reactor, and Akka Streams
  2019 Apress
• Java Lambdas and Parallel Streams
  2016 Apress
• Parallele und verteilte Anwendungen in Java
  Oechsle, Rainer 2022 Hanser
• Parallele und verteilte Anwendungen in Java
  Oechsle, Rainer ; Lutz, Michael ; Märtin, Christian 2014 Hanser, Carl
• Parallele und verteilte Anwendungen in Java
  Oechsle, Rainer 2011 Hanser, Carl
• Virtual Threads, Structured Concurrency, and Scoped Values – Explore Java’s New Threading Model
  Veen, Ron ; Vlijmincx, David 2024 Apress, Imprint: Apress
• A Guide to Python Mastery – Python
  Singh, Ummed 2023 BookRix
• Lecture Notes – Concurrency Topics in Java
  Manner, Johannes ; Böhm, Sebastian 2022 Otto-Friedrich-Universität Bamberg
• Parallele und verteilte Anwendungen in Java
  Oechsle, Rainer 2022 Carl Hanser Verlag GmbH & Co. KG
• Synchronous Java – light-weight, deterministic concurrency and preemption in Java.
  Motika, Christian 2012 Institut für Informatik / Christian-Albrechts-Universität zu Kiel
• Compiler construction – 20th international conference ; proceedings
  Knoop, Jens 2011 Springer