Learn More
The virtualization of mobile devices such as smartphones, tablets, netbooks, and MIDs offers significant potential in addressing the mobile manageability, security, cost, compliance, application development and deployment challenges that exist in the enterprise today. Advances in mobile processor performance, memory and storage capacities have led to the(More)
The article presents the SMC system. SMC can be used for checking safety and liveness properties of concurrent programs under different fairness assumptions. It is based on explicit state enumeration. It combats the state explosion by exploiting symmetries of the input concurrent program, usually present in the form of identical processes, in two different(More)
  • Perry L Hung, Larry Rudolph, M I T Thesis Supervisor, Vi, Vi-Acmpamy Thesis Supervisor, Mike Rieker +17 others
  • 2009
This thesis presents a just-in-time binary translation scheme that dynamically switches between system emulation with a slower but more memory efficient instruction interpreter , and a faster, more memory intensive binary translator. In testing, this hybrid intepreter/translator scheme reduced the size of the binary translation cache by up to 99% with a(More)
  • 1