摘要
Gautam Altekar、Ilya Bagrak、Paul Burstein和Andrew Schultz。 OPUS:在线补丁和安全更新。 在 第14届USENIX安全研讨会 ,第287-302页,2005年7月。 谷歌学者 数字图书馆 Jeff Arnold和M.Frans Kaashoek。 KSplice:自动无重启内核更新。 在 2009年欧洲系统 2009年4月。 谷歌学者 数字图书馆 安德鲁·鲍曼(Andrew Baumann)、格诺特·海瑟(Gernot Heiser)、乔纳森·阿帕沃奥(Jonathan Appavoo)、迪尔玛·达·席尔瓦(Dilma Da Silva)、奥兰·克里格(Orran Krieger)和罗伯特·维斯。 在操作系统中提供动态更新。 在 USENIX操作系统设计与实现研讨会 2005年4月。 谷歌学者 数字图书馆 陈海波(Haibo Chen)、余杰(Jie Yu)、陈蓉(Rong Chen),臧宾玉(Binyu Zang)和彭昌耀(Pen-Chung Yew)。 Polus:一个强大的实时更新系统。 在 ICSE’07:第29届国际软件工程会议记录 ,第271-281页,美国华盛顿特区,2007年。 IEEE计算机学会。 谷歌学者 数字图书馆 多米尼克·达根。 正在运行的模块的基于类型的热交换。 在 函数式程序设计国际会议 ,第62-73页,2001年。 谷歌学者 数字图书馆 Deepak Gupta、Pankaj Jalote和Gautam Barua。 在线软件版本更改的正式框架。 软件工程 , 22(2):120-131, 1996. 谷歌学者 数字图书馆 苏珊·霍维茨。 识别程序的两个版本之间的语义和文本差异。 在 ACM SIGPLAN 90年编程语言设计和实现会议记录 ,第25卷,第234-245页,纽约州怀特普兰斯,1990年6月。 谷歌学者 数字图书馆 Susan Horwitz和Thomas Reps。软件工程中程序依赖图的使用 第十四届国际软件工程会议论文集 ,第392-411页,1992年。 谷歌学者 数字图书馆 费拉斯·卡拉布利赫(Feras Karablieh)和里达·巴兹(Rida A.Bazzi)。 多线程应用程序的异构检查点。 在 第21届可靠分布式系统(SRDS)研讨会 2002年10月。 谷歌学者 数字图书馆 费拉斯·卡拉布利赫(Feras Karablieh)、里达·巴齐(Rida A.Bazzi)和玛格丽特·希克斯(Margaret Hicks)。 编译器辅助的异构检查点。 在 第20届IEEE可靠分布式系统研讨会(SRDS) 2001年10月。 谷歌学者 Kristis Makris和Kyung Dong Ryu。 商品操作系统内核中非静态子系统的动态和自适应更新。 在 欧洲系统2007 2007年3月。 谷歌学者 数字图书馆 尤利安·尼姆图。 实用动态软件更新 马里兰州大学博士论文,2008年8月。 谷歌学者 数字图书馆 尤利安·尼姆图、迈克尔·希克斯、杰弗里·福斯特和波利维奥斯·普拉蒂卡基斯。 版本一致性动态软件更新和安全并发编程的上下文影响。 在 ACM程序设计语言原理会议记录(POPL) ,第37-50页,2008年1月。 谷歌学者 数字图书馆 尤利安·尼姆图(Iulian Neamtiu)、迈克尔·希克斯(Michael Hicks)、加雷斯·斯托尔(Gareth Stoyle)和曼努埃尔·奥利奥(Manuel Oriol)。 实用的C.In动态软件更新 ACM编程语言设计与实现会议记录 2006年6月。 谷歌学者 数字图书馆 George C.Necula、ScottMcPeak、S.P.Rahul和Westley Weimer。 CIL:用于分析和转换C程序的中间语言和工具。 在 编者建设会议记录 , 2002. 谷歌学者 数字图书馆 加雷思·斯托尔(Gareth Stoyle)、迈克尔·希克斯(Michael Hicks)、加文·比尔曼(Gavin Bierman)、彼得·苏厄尔(Peter Sewell)和尤利安·尼姆图(Iulian Neamtiu)。 Mutatis Mutandis公司 :安全灵活的动态软件更新。 美国计算机学会程序设计语言与系统汇刊(TOPLAS) , 2006. 谷歌学者 数字图书馆 Ariel Tamches和Barton P.Miller。 商品操作系统内核的细粒度动态检测。 在 第三届操作系统设计与实现研讨会 1999年2月。 谷歌学者 数字图书馆
建议
动态软件更新:以虚拟机为中心的方法 PLDI’09:第30届ACM SIGPLAN编程语言设计与实现会议记录 软件不断发展以修复错误并添加功能。 停止和重新启动程序以应用更改是不方便的,而且通常代价高昂。 动态软件更新(DSU)通过在程序执行时更新程序来解决此问题,但现有的DSU系统。。。 动态软件更新:以虚拟机为中心的方法 2009年PLDI 软件不断发展以修复错误并添加功能。 停止和重新启动程序以应用更改是不方便的,而且通常代价高昂。 动态软件更新(DSU)通过在程序执行时更新程序来解决此问题,但现有的DSU系统。。。