Tudor Zaharia

Learn More
This paper presents a framework for modeling and verification of mini real-time applications running under a multitasking kernel. The model described as networks of timed automata is mapped to real time operating systemspsila tasks. We focus on cooperative scheduling tasks with different priorities. For the tasks to be as simple as possible, a unified(More)
Although virtualization has been around for more than 50 years, the subject is hotter than ever. Initiated to simulate multiple machines using hardware and software techniques, virtualization today brings server consolidation, security and isolation for multiple operating systems running on the same hardware. This article's main objective is to show that(More)
  • 1