Dynamic software updates

机译：动态软件更新

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

We consider the state mapping problem for dynamic software updates and propose a number of approaches that have the potential of automating the state mapping in practical setting.

机译：我们考虑动态软件更新的状态映射问题，并提出了许多在实际环境中具有使状态映射自动化的潜力的方法。

著录项

来源
《Proceedings of the Second International Workshop on Hot Topics in Software Upgrades》|2009年|P.1 - 2|共2页
会议地点
作者
Rida A. Bazzi; Kristis Makris; Peyman Nayeri; Jun Shen;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类计算机软件;
关键词
backward compatibility; bug fixes; dynamic updates; live software update; program slicing; software evolution; unification;

机译：向后兼容性;错误修复;动态更新;实时软件更新;程序切片;软件演进;统一;

相似文献

外文文献
中文文献
专利

1. Software news and updates chimera:a software tool for reaction rate calculations and kinetics and thermodynamics analysis [J] . Konstantin P.Novoselov, Denis B.Shirabaikin, Alexander S.Vladimirov, Journal of Computational Chemistry: Organic, Inorganic, Physical, Biological . 2002,第14a15期

机译：软件新闻和更新Chimera：用于反应速率计算以及动力学和热力学分析的软件工具
2. ThermoData Engine (TDE): Software Implementation of the Dynamic Data Evaluation Concept. 2. Equations of State on Demand and Dynamic Updates over the Web [J] . Vladimir Diky, Chris D. Muzny, Eric W. Lemmon Journal of chemical information and modeling . 2007,第4期

机译：ThermoData Engine（TDE）：动态数据评估概念的软件实现。 2.按需状态方程和网络上的动态更新
3. Software news and updates - Carma: A molecular dynamics analysis program [J] . Glykos NM Journal of Computational Chemistry: Organic, Inorganic, Physical, Biological . 2006,第14期

机译：软件新闻和更新-Carma：分子动力学分析程序
4. A Formal Verification of Safe Update Point Detection in Dynamic Software Updating [C] . Razika Lounas, Nisrine Jafri, Axel Legay, International Conference on Risks and Security of Internet and Systems . 2017

机译：动态软件更新中安全更新点检测的形式验证
5. Whole-program dynamic software updating. [D] . Makris, Kristis. 2009

机译：全程序动态软件更新。
6. Constructing and analysing dynamic models with modelbase v1.2.3: a software update [O] . Marvin van Aalst, Oliver Ebenhöh, Anna Matuszyńska 2021

机译：使用ModelBase V1.2.3构建和分析动态模型：软件更新
7. Analyzing Software Updates: Should You Build a Dynamic Updating Infrastructure? [O] . Bashar Gharaibeh, Hridesh Rajan, J. Morris Chang 2011

机译：分析软件更新：您应该建立动态更新基础结构吗？
8. Specifying and Verifying the Correctness of Dynamic Software Updates. [R] . Hayden, C. M., Magill, S., Hicks, M., 2011

机译：指定和验证动态软件更新的正确性。

Dynamic software updates

摘要

著录项

相似文献

相关主题

期刊订阅