Learn 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)
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 paper presents the SMC system for checking safety and liveness properties of concurrent programs under diierent fairness assumptions. It is based on explicit state enumeration; it combats the state explosion problem by utilizing symmetries of the input concurrent program usually present in the form of identical processes. It reduces the number of(More)
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