„(concurrent) data structures“

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.
• 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
• 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: 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
• 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
• 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
• Formal Methods and Distributed Computing: Stronger Together (Dagstuhl Seminar 22492)
  Attiya, Hagit ; Enea, Constantin ; Rajsbaum, Sergio ; Sokolova, Ana
• Multi-scale multi-material concurrent topology optimization of graded cellular structures
  Guo, Yanding ; Gang, Tieqiang ; Cheng, Shanshan ; Wang, Yi ; Chen, Lijie
• Brief Announcement: Concurrent Aggregate Queries
  Sela, Gal ; Petrank, Erez 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Teleportation Design Pattern for Hardware Transactional Memory
  Cohen, Nachshon ; Herlihy, Maurice ; Petrank, Erez ; Wald, Elias 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Brief Announcement: BatchBoost: Universal Batching for Concurrent Data Structures
  Aksenov, Vitaly ; Anoprenko, Michael ; Fedorov, Alexander ; Spear, Michael 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik