1052 search results - page 37 / 211 » Foundations for Virtual Types |
223
click to vote
POPL
2001
ACM
16 years 3 months ago
2001
ACM
Secure Safe Ambients (SSA) are a typed variant of Safe Ambients [9], whose type system allows behavioral invariants of ambients to be expressed and verified. The most significant a...
81
Voted
IEEESP
2008
15 years 2 months ago
2008
hardware, eliminating an abstraction layer and often improving efficiency as a result. Examples of type 1 systems include VMware ESX,3 Xen (www. xensource.com/xen/xen/nfamily/virtu...
171
Voted
HPDC
2012
IEEE
13 years 5 months ago
2012
IEEE
networking with a layer 2 abstraction provides a powerful model for virtualized wide-area distributed computing resources, including for high performance computing (HPC) on collec...
159
Voted
PADL
2012
Springer
13 years 10 months ago
2012
Springer
We begin with a functional reactive programming (FRP) model in which every program is viewed as a signal function that converts a stream of input values into a stream of output va...
141
Voted
IEEECIT
2010
IEEE
15 years 1 months ago
2010
IEEE
—“Network Storage and System Virtualization Technologies” is an up-to-date course opened by the school of electronics engineering and computer science of Peking University. T...