Back to Results
First PageMeta Content
Kitsune / Correctness / KeY / Formal methods / Applied mathematics / Software / Dynamic Software Updating / System administration / Theoretical computer science


ABSTRACT Title of dissertation: CLEAR, CORRECT, AND EFFICIENT DYNAMIC SOFTWARE UPDATES
Add to Reading List

Document Date: 2012-09-10 20:37:24

Open Document

File Size: 893,48 KB

Share Result on Facebook

Facility

University of Maryland / College Park / /

IndustryTerm

software updating background / software updating / /

Organization

Graduate School / University of Maryland / College Park / Professor Jeffrey S. Foster Department of Computer Science Dynamic / Advisory Committee / /

Person

Peter J. Keleher / Yudi Turpie / Karla Saur / Paul / Stephen Magill / Michael Hicks / Ted Smith / Mike Hicks / Nate Foster / Kyle / Eric Hardisty / Jo / Jeff Foster / Christopher Michael Hayden / Christopher M. Hayden / Amol Deshpande Professor Peter / Shuvra S. Bhattacharyya / Jeffrey S. Foster / /

Position

Co-chair /Advisor / Representative / Professor / advisors / Dean / programmer / /

ProgrammingLanguage

C / /

ProvinceOrState

Maryland / /

RadioStation

Work 160 / /

TVStation

Kyle / /

SocialTag