M Moskal - Computer Aided Verification, 2012
... The environment includes tools for monitoring proof attempts and constructing partial counterexample executions for failed proofs and has been used to verify functional correctness of tens of thousands of lines of Microsoft's Hyper-V virtualization platform and of SYSGO's ...
802.1 aq Shortest Path Bridging Design and Evolution
D Allan - 2012
... The other key requirement of Ethernet networking, which is increasingly shared by Enterprise applications as well as Providers, is virtualization, which is the ability to support multiple independent LAN segments on the same physical infrastructure. ...
[PDF] SUNYIT NCS Laboratory Design
M Polce - 2012
... 22 1.4.4 Virtualization ..... 27 ... Table 6: HP SAN .....68 Table 7: Citrix Xen Server Virtualization and Citrix Xen App Components .....69 ...
Lessons from VAX/SVS for High Assurance VM Systems
S Lipner, T Jaeger…
... Workstation support would have been the simplest task though it would have required development and manufacturing of a VAX microprocessor with the SVS-specific virtualization features (which were not in- cluded in the standard VAX architecture). ...
[PDF] Regularity-based Partitioning of Uniform Resources in Real-time Systems
Y Li, AMK Cheng… - Submmited to RTCSA, 2012
... scheduler. To avoid interactions with tasks in other applications, tasks pertaining to a specific application are assigned to the same partition. Furthermore, resource partitioning is a very important aspect of virtualization. There
[PDF] Aurasium: Practical Policy Enforcement for Android Applications
R Xu, H Saıdi…
The third approach consists of using virtualization to implement rigorous separation of domains ranging from lightweight isolation of applica- tions on the device [35] to running multiple instances of Android on the same device through the use of a hyper- visor [26, 30, 11].
[PDF] Beyond ubiquity: Mobile government, theory and practice
J Campbell…
... than at central government offices. Here again, service delivery becomes freed of a particular brick-and- mortar location and delivered on the spot to citizens. The concept of 'virtualization' also informs Page 9. 8 many concepts ...
No comments:
Post a Comment