article

On line software version change using state transfer between processes

Authors:

Deepak Gupta,

Pankaj JaloteAuthors Info & Claims

Software—Practice & Experience, Volume 23, Issue 9

Pages 949 - 964

https://doi.org/10.1002/spe.4380230903

Published: 01 September 1993 Publication History

Abstract

No abstract available.

Cited By

View all

Rommel FDietrich CRodin MLohmann D(2019)MultiverseProceedings of the Fourteenth EuroSys Conference 201910.1145/3302424.3303959(1-13)Online publication date: 25-Mar-2019
https://dl.acm.org/doi/10.1145/3302424.3303959
(2017)A formal verification of dynamic updating in a Java-based embedded systemInternational Journal of Critical Computer-Based Systems10.1504/IJCCBS.2017.0899767:4(303-340)Online publication date: 1-Jan-2017
https://dl.acm.org/doi/10.1504/IJCCBS.2017.089976
Sadeghi AEsfahani NMalek S(2017)Ensuring the Consistency of Adaptation through Inter- and Intra-Component Dependency AnalysisACM Transactions on Software Engineering and Methodology10.1145/306338526:1(1-27)Online publication date: 10-May-2017
https://dl.acm.org/doi/10.1145/3063385
Show More Cited By

Index Terms

On line software version change using state transfer between processes
1. Software and its engineering
  1. Software creation and management
    1. Software post-development issues
      1. Software version control
  2. Software notations and tools
    1. Software configuration management and version control systems

Recommendations

Continuous-Time Markov Decision Processes with State-Dependent Discount Factors

We consider continuous-time Markov decision processes in Polish spaces. The performance of a control policy is measured by the expected discounted reward criterion associated with state-dependent discount factors. All underlying Markov processes are ...
An Approach to Modelling Software Evolution Processes
Software Evolution and Software Evolution Processes

Most of the software in regular use in businesses and organisations all over the world cannot be completely specified. It cannot be implemented, once and for all. Both the original implementation and the inevitable subsequent evolution (maintenance) are ...

Comments

Information & Contributors

Information

Published In

Software Volume 23, Issue 9

Sept. 1993

122 pages

ISSN:0038-0644

EISSN:1097-024X

Editors:
J. A. Campbell
Univ. College London, London, UK
,
D. E. Comer
Purdue Univ., West Lafayette, IN

Issue’s Table of Contents

Publisher

John Wiley & Sons, Inc.

United States

Publication History

Published: 01 September 1993

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

33
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 01 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Rommel FDietrich CRodin MLohmann D(2019)MultiverseProceedings of the Fourteenth EuroSys Conference 201910.1145/3302424.3303959(1-13)Online publication date: 25-Mar-2019
https://dl.acm.org/doi/10.1145/3302424.3303959
(2017)A formal verification of dynamic updating in a Java-based embedded systemInternational Journal of Critical Computer-Based Systems10.1504/IJCCBS.2017.0899767:4(303-340)Online publication date: 1-Jan-2017
https://dl.acm.org/doi/10.1504/IJCCBS.2017.089976
Sadeghi AEsfahani NMalek S(2017)Ensuring the Consistency of Adaptation through Inter- and Intra-Component Dependency AnalysisACM Transactions on Software Engineering and Methodology10.1145/306338526:1(1-27)Online publication date: 10-May-2017
https://dl.acm.org/doi/10.1145/3063385
Dwyer M(2017)Improving Timeliness and Visibility in Publishing Software Engineering ResearchIEEE Transactions on Software Engineering10.1109/TSE.2017.266391843:3(205-206)Online publication date: 1-Mar-2017
https://dl.acm.org/doi/10.1109/TSE.2017.2663918
Giuffrida CIorgulescu CTamburrelli GTanenbaum A(2017)Automating Live Update for Generic Server ProgramsIEEE Transactions on Software Engineering10.1109/TSE.2016.258406643:3(207-225)Online publication date: 1-Mar-2017
https://dl.acm.org/doi/10.1109/TSE.2016.2584066
La Manna VGreenyer JClun DGhezzi CGray JChechik MKulkarni VPaige R(2015)Towards executing dynamically updating finite-state controllers on a robot systemProceedings of the Seventh International Workshop on Modeling in Software Engineering10.5555/2820489.2820499(42-47)Online publication date: 16-May-2015
https://dl.acm.org/doi/10.5555/2820489.2820499
Brasser FBucicoiu MSadeghi AAhn GOprea ASafavi-Naini R(2014)Swap and PlayProceedings of the 6th edition of the ACM Workshop on Cloud Computing Security10.1145/2664168.2664173(33-44)Online publication date: 7-Nov-2014
https://dl.acm.org/doi/10.1145/2664168.2664173
Giuffrida CIorgulescu CTanenbaum ARéveillère LCherkasova LTaïani F(2014)Mutable checkpoint-restartProceedings of the 15th International Middleware Conference10.1145/2663165.2663328(133-144)Online publication date: 8-Dec-2014
https://dl.acm.org/doi/10.1145/2663165.2663328
Giuffrida CIorgulescu CKuijsten ATanenbaum ADesai NSkaar K(2013)Back to the futureProceedings of the 27th USENIX conference on Large Installation System Administration10.5555/2717477.2717485(89-104)Online publication date: 3-Nov-2013
https://dl.acm.org/doi/10.5555/2717477.2717485
Panzica La Manna VGreenyer JGhezzi CBrenner CLitoiu MMylopoulos J(2013)Formalizing correctness criteria of dynamic updates derived from specification changesProceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems10.5555/2663546.2663559(63-72)Online publication date: 20-May-2013
https://dl.acm.org/doi/10.5555/2663546.2663559
Show More Cited By

Abstract

Cited By

Index Terms

Recommendations

Continuous-Time Markov Decision Processes with State-Dependent Discount Factors

An Approach to Modelling Software Evolution Processes

Software Evolution and Software Evolution Processes

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Share

Share this Publication link

Share on social media

Affiliations