„Asynchronous programs“

Suchergebnisse

1.000+ Treffer

• Algorithms and Tools for Verification and Testing of Asynchronous Programs
  Wang, Zilong ; Majumdar, Rupak 2016 Technische Universität Kaiserslautern
• Asynchronous programs on IoT devices
  Pflugfelder, Christian 2022 Universitätsbibliothek der Universität Stuttgart
• Transactions on Petri Nets and Other Models of Concurrency XIII
  2018 Springer International Publishing
• Recent Advances in Natural Computing – Selected Results from the IWNC 8 Symposium
  Suzuki, Yasuhiro ; Hagiya, Masami 2016 Springer Japan
• Transactions on Petri Nets and Other Models of Concurrency XV
  Koutny, Maciej 2021 Springer International Publishing
• A semi-asynchronous federated learning method integrating personalization and staleness awareness for traffic flow prediction in dynamic Internet of Vehicles
  Zhao, Peng ; Liao, Zhuhua ; Zhao, Yijiang ; Xu, Jianbo ; Yi, Aiping
• Transactions on Petri Nets and Other Models of Concurrency XI
  2016 Springer International Publishing
• RBC-MSS: asynchronous broadcasting protocol based on multi-secret sharing
  Bai, Fenhua ; Xu, Hongye ; Shen, Tao ; Zeng, Kai ; Zhang, Xiaohui ; Zhang, Chi
• Checking Refinement of Asynchronous Programs Against Context-Free Specifications
  Baumann, Pascal ; Ganardi, Moses ; Majumdar, Rupak ; Thinniyam, Ramanathan S. ; Zetzsche, Georg 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Complexity of Bounded Context Switching with Dynamic Thread Creation
  Baumann, Pascal ; Majumdar, Rupak ; Thinniyam, Ramanathan S. ; Zetzsche, Georg 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Static Analysis for Asynchronous JavaScript Programs
  Sotiropoulos, Thodoris ; Livshits, Benjamin 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Verification of Timed Asynchronous Programs
  Abdulla, Parosh Aziz ; Atig, Mohamed Faouzi ; Krishna, Shankara Narayanan ; Vaidya, Shaan 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Synchronizing the Asynchronous
  Kragl, Bernhard ; Qadeer, Shaz ; Henzinger, Thomas A. 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Verification of Asynchronous Programs with Nested Locks
  Atig, Mohamed Faouzi ; Bouajjani, Ahmed ; Narayan Kumar, K. ; Saivasan, Prakash 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Rely/Guarantee Reasoning for Asynchronous Programs
  Gavran, Ivan ; Niksic, Filip ; Kanade, Aditya ; Majumdar, Rupak ; Vafeiadis, Viktor 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Analyzing Asynchronous Programs with Preemption
  Atig, Mohamed Faouzi ; Bouajjani, Ahmed ; Touili, Tayssir 2008 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• ERBFT: improved asynchronous BFT with erasure code and verifiable random function
  Lan, Yu ; Huang, Hui ; Huang, Zhenjie ; Chen, Qunshan ; Wu, Shuaike
• Transactions on Petri nets and other models of concurrency XVI
  Koutny, Maciej 2022 Springer
• Simulation and Inference for Stochastic Processes with YUIMA – A Comprehensive R Framework for SDEs and Other Stochastic Processes
  Iacus, Stefano Maria ; Yoshida, Nakahiro 2018 Springer International Publishing
• Transactions on Petri Nets and Other Models of Concurrency X
  Koutny, Maciej ; Desel, Jörg ; Haddad, Serge 2015 Springer Berlin Heidelberg