Dynamic Software Updating Using a Relaxed Consistency Model - Chen, Haibo; Yu, Jie; Hang, Chengqun; Zang, Binyu; Yew, Pen-Chung (IEEE transactions on software engineering, 2011)
Keywords: Analysis; Bidirectional control; Computer programs; Consistency; Data structures; Digital Object Identifier; Dynamical systems; Dynamics; Maintainability; Protocols; Registers; Reliability; Runtime; runtime environments; Servers; Software; Software engineering; Software upgrading; Studies; Synchronization