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