„concurrent data structure“

Suchergebnisse

1.000+ Treffer

• Nonsequential and Distributed Programming with Go – Synchronization of Concurrent Processes
  Maurer, Christian 2025 Springer
• 21st International Conference on Principles of Distributed Systems (OPODIS 2017)
  Aspnes, James ; Bessani, Alysson ; Felber, Pascal ; Leitão, João 2018 Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
• FFT-based homogenisation for efficient concurrent multiscale modelling of thin plate structures
  Li, Haolin ; Khodaei, Z. Sharif ; Aliabadi, Mohammad H.
• Correction to: Concurrent multi-scale optimization of macro- and micro-shapes of laminated porous shell structure
  Hikasa, Motomu ; Shimoda, Masatoshi ; Al Ali, Musaddiq
• 20th International Conference on Principles of Distributed Systems (OPODIS 2016)
  Fatourou, Panagiota ; Jiménez, Ernesto ; Pedone, Fernando 2017 Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
• Compositional Concurrent Program Verification with RGITL
  Tofan, Bogdan ; Reif, Wolfgang 2014 Universität Augsburg
• Distributed Computing – 28th International Symposium, DISC 2014, Austin, TX, USA, October 12-15, 2014. Proceedings
  Kuhn, Fabian 2014 Springer Berlin Heidelberg
• Industrial Applications of Probabilistic Model Checking- A Model-based Approach for Embedded Networked Systems and Concurrent Data Structures -
  Wu, Hao ; Katoen, Joost-Pieter ; Haverkort, Boudewijn 2017 Universitätsbibliothek der RWTH Aachen
• Correction to: Concurrent topology optimization for double-skin stiffened structures considering external shape and modal characteristics
  Wang, Qian ; Ding, Xiaohong ; Shi, Xiaoming ; Li, Haidong ; Zhang, Heng
• Correction to: Concurrent multi-scale optimization of macro- and micro-shapes of laminated porous shell structure
  Hikasa, Motomu ; Shimoda, Masatoshi ; Ali, Musaddiq Al
• Correction: Concurrent multipath quantum entanglement routing based on segment routing in quantum hybrid networks
  Zhang, Ling ; Liu, Qin
• Correction to: An integrated specification and verification technique for highly concurrent data structures
  Abdulla, Parosh Aziz ; Haziza, Frédéric ; Holík, Lukáš ; Jonsson, Bengt ; Rezine, Ahmed
• Brief Announcement: Concurrent Double-Ended Priority Queues
  Fatourou, Panagiota ; Ruppert, Eric ; Xiradakis, Ioannis 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• PIPQ: Strict Insert-Optimized Concurrent Priority Queue
  Grimes, Olivia ; Hassan, Ahmed ; Fatourou, Panagiota ; Palmieri, Roberto 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Strong Linearizability Without Compare&Swap: The Case of Bags
  Ellen, Faith ; Sela, Gal 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Simple yet Exact Analysis of the MultiQueue
  Walzer, Stefan ; Williams, Marvin 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• LMQ-Sketch: Lagom Multi-Query Sketch for High-Rate Online Analytics
  Hilgendorf, Martin ; Papatriantafilou, Marina 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Nonsequential and Distributed Programming with Go – Synchronization of Concurrent Processes: Communication - Cooperation - Competition
  Maurer, Christian 2021 Springer Fachmedien Wiesbaden
• Algorithms, Probability, Networks, and Games – Scientific Papers and Essays Dedicated to Paul G. Spirakis on the Occasion of His 60th Birthday
  Zaroliagis, Christos ; Pantziou, Grammati ; Kontogiannis, Spyros C. 2015 Springer International Publishing
• Concurrent topology optimization for double-skin stiffened structures considering external shape and modal characteristics
  Wang, Qian ; Ding, Xiaohong ; Shi, Xiaoming ; Li, Haidong ; Zhang, Heng