„concurrent data structure“

Suchergebnisse

115 Treffer

• 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
• Characterizing & Improving the General Performance of Apache Zookeeper – Sub-project of Apache Hadoop
  Bagai, Chandan 2016 LAP LAMBERT Academic Publishing