DocumentCode :
2435959
Title :
2012 4th InternationalWorkshop on Hot Topics in Software Upgrades (HotSWUp) - Proceedings [front matter]
fYear :
2012
fDate :
3-3 June 2012
Abstract :
The following topics are dealt with: just-in-time overhead; multithreaded program; dynamic software updating system; software security; automated state transfer; software transactional memory; mutable software component; software change verification; ExpliSAT; multiversion software update; and Java server.
Keywords :
Java; multi-threading; program compilers; program verification; security of data; transaction processing; ExpliSAT; Java server; automated state transfer; dynamic software updating system; just-in-time overhead; multithreaded program; multiversion software update; mutable software component; software change verification; software security; software transactional memory;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Hot Topics in Software Upgrades (HotSWUp), 2012 Fourth Workshop on
Conference_Location :
Zurich
Print_ISBN :
978-1-4673-1765-8
Type :
conf
DOI :
10.1109/HotSWUp.2012.6226606
Filename :
6226606
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=2435959
بازگشت