Infinite State Systems / Parameterized Systems / Verifying Systems / Discrete Event Systems / Intel / VMware / /
IndustryTerm
similar systems / given processor / software stacks / x86 processors / shadow page table algorithms / formalism using applications / multiplex critical systems / virtualization software / /
MarketIndex
CAM / /
OperatingSystem
Petros / /
Organization
UC Berkeley / U.S. Securities and Exchange Commission / /
Person
Randal E. Bryant / Orna Kupferman / Lahiri / Anupam Datta / David Wagner / Cynthia Sturton / /
Position
supervisor / RT / http /
Product
ShadowVisor / Franklin / S2 W. Our / /
ProgrammingLanguage
C / C++ / /
Technology
virtual machine / RAM / given processor / VPN / paging / simulation / virtual memory / operating system / x86 processors / shadow page table algorithms / /