„Dynamic Software Updates“

Suchergebnisse

12 Treffer

• DyNetKAT – An Algebra of Dynamic Networks
  Caltais, Georgiana ; Hojjat, Hossein ; Mousavi, Mohammad Reza ; Tunç, Hünkar Can 2022 KOPS Universität Konstanz
• Decentralized Coordination of Dynamic Software Updates in the Internet of Things
  Weißbach, Martin ; Taing, Nguonly ; Wutzler, Markus ; Springer, Thomas ; Schill, Alexander ; Clarke, Siobhán 2021 Technische Universität Dresden
• Declarative Dynamic Object Reclassification
  Sieve, Riccardo ; Kamburjan, Eduard ; Damiani, Ferruccio ; Johnsen, Einar Broch 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Declarative Dynamic Object Reclassification (Artifact)
  Sieve, Riccardo ; Kamburjan, Eduard ; Damiani, Ferruccio ; Johnsen, Einar Broch
• Sinatra: Stateful Instantaneous Updates for Commercial Browsers Through Multi-Version eXecution (Artifact)
  Rumsevicius, Ugnius ; Venkateshwaran, Siddhanth ; Kidane, Ellen ; Pina, Luís
• Sinatra: Stateful Instantaneous Updates for Commercial Browsers Through Multi-Version eXecution
  Rumsevicius, Ugnius ; Venkateshwaran, Siddhanth ; Kidane, Ellen ; Pina, Luís 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Staccato: A Bug Finder for Dynamic Configuration Updates (Artifact)
  Toman, John ; Grossman, Dan
• Staccato: A Bug Finder for Dynamic Configuration Updates
  Toman, John ; Grossman, Dan 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Efficient computation of distance labeling for decremental updates in large dynamic graphs
  Qin, Yongrui ; Sheng, Quan Z. ; Falkner, Nickolas J. G. ; Yao, Lina ; Parkinson, Simon
• Parallel Data Cube Storage Structure for Range Sum Queries and Dynamic Updates
  Gao, Hong ; Li, Jian-Zhong
• TOAST: Automated Testing of Object Transformers in Dynamic Software Updates
  Zhao, Ze-Lin ; Huang, Di ; Ma, Xiao-Xing
• A History Based Logic for Dynamic Preference Updates
  Başkent, Can ; McCusker, Guy