„concurrent data structures“

Suchergebnisse

101 Treffer

• Nonsequential and distributed programming with Go – synchronization of concurrent processes: communication - cooperation - competition
  Maurer, Christian 2021 Springer
• Decidability of model checking for infinite-state concurrent systems
  Esparza, Javier
• CRL: Efficient Concurrent Regeneration Codes with Local Reconstruction in Geo-Distributed Storage Systems
  Xu, Quan-Qing ; Xi, Wei-Ya ; Yong, Khai Leong ; Jin, Chao
• M-nets: An algebra of high-level Petri nets, with an application to the semantics of concurrent programming languages
  Best, Eike ; Frączak, Wojciech ; Hopkins, Richard P. ; Klaudel, Hanna ; Pelz, Elisabeth
• Investigating efficient speech-based information communication: a comparison between the high-rate and the concurrent playback designs
  Abu ul Fazal, Muhammad ; Ferguson, Sam ; Johnston, Andrew
• Concurrent service access and management framework for user-centric future internet of things in smart cities
  Gomathi, P. ; Baskar, S. ; Shakeel, P. Mohamed
• 31st International Symposium on Distributed Computing (DISC 2017)
  Richa, Andrea W. 2017 Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
• Performance and power consumption evaluation of concurrent queue implementations in embedded systems
  Papadopoulos, Lazaros ; Walulya, Ivan ; Renaud-Goud, Paul ; Tsigas, Philippas ; Soudris, Dimitrios ; Barry, Brendan
• Compositional verification of asynchronous concurrent systems using CADP
  Garavel, Hubert ; Lang, Frédéric ; Mateescu, Radu
• Refining irregular image illumination with concurrent ownership embedding
  Lee, Jung-San ; Su, Hong-Chi ; Wei, Kuo-Jui
• Ontology-driven semantic unified modelling for concurrent activity recognition (OSCAR)
  Safyan, Muhammad ; Qayyum, Zia Ul ; Sarwar, Sohail ; García-Castro, Raúl ; Ahmed, Mehtab
• Guest editorial: special issue on concurrent software quality
  Yang, Zijiang ; Liu, Ting ; Luo, Daniel Xiapu ; Wang, Chao
• Concurrent abstract state machines
  Börger, Egon ; Schewe, Klaus-Dieter
• Twin-Beth: Security under active and concurrent attacks for the beth identity-based identification scheme
  Chin, Ji-Jian ; Tan, Syh-Yuan ; Heng, Swee-Huay ; Phan, Raphael C.-W
• A VLSI Architecture for Concurrent Data Structures
  1987 Springer US
• An integrated specification and verification technique for highly concurrent data structures for highly concurrent data structures
  Abdulla, Parosh Aziz ; Haziza, Frédéric ; Holík, Lukáš ; Jonsson, Bengt ; Rezine, Ahmed
• Learning discriminative context models for concurrent collective activity recognition
  Zhao, Chaoyang ; Wang, Jinqiao ; Lu, Hanqing
• Distributed computing – 28th international symposium ; proceedings
  Kuhn, Fabian 2014 Springer
• 10 Years of research on debugging concurrent and multicore software: a systematic mapping study
  Abbaspour Asadollah, Sara ; Sundmark, Daniel ; Eldh, Sigrid ; Hansson, Hans ; Afzal, Wasif
• Debugging Concurrent Software: Advances and Challenges
  Huang, Jeff ; Zhang, Charles