Sciweavers

123 search results - page 1 / 25
» Modular Software Upgrades for Distributed Systems
Sort
View
ECOOP
2006
Springer
13 years 8 months ago
Modular Software Upgrades for Distributed Systems
Abstract. Upgrading the software of long-lived, highly-available distributed systems is difficult. It is not possible to upgrade all the nodes in a system at once, since some nodes...
Sameer Ajmani, Barbara Liskov, Liuba Shrira
FM
2009
Springer
190views Formal Methods» more  FM 2009»
13 years 11 months ago
Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objects
Abstract. Many long-lived and distributed systems must remain available yet evolve over time, due to, e.g., bugfixes, feature extensions, or changing user requirements. To facilit...
Einar Broch Johnsen, Marcel Kyas, Ingrid Chieh Yu
HOTOS
2003
IEEE
13 years 10 months ago
Scheduling and Simulation: How to Upgrade Distributed Systems
Upgrading the software of long-lived distributed systems is difficult. It is not possible to upgrade all the nodes in a system at once, since some nodes may be down and halting t...
Sameer Ajmani, Barbara Liskov, Liuba Shrira
COMPSAC
2002
IEEE
13 years 9 months ago
Dependable On-Line Upgrading of Distributed Systems
Alexander B. Romanovsky, Iain Smith