Kernel Mode Linux: www.yl.is.s.u-tokyo.ac.jp/~tosh/kml [1]
“Kernel Mode Linux” by Toshiyuki Maeda, Linux Journal, May 2003: /article/6516 [2]
MySQL: www.mysql.com [3]
System V Application Binary Interface for AMD64: www.x86-64.org/documentation [4]
Virtual machines
VMware: www.vmware.com [5]
Xen: www.cl.cam.ac.uk/Research/SRG/netos/xen [6]
Protection by Software
.NET: www.microsoft.com/net [7]
Proof-Carrying Code: raw.cs.berkeley.edu/pcc.html [8]
Typed Assembly Language: www.cs.cornell.edu/talc [9]
Links:
[1] http://www.yl.is.s.u-tokyo.ac.jp/~tosh/kml
[2] http://www.linuxjournal.com/article/6516
[3] http://www.mysql.com
[4] http://www.x86-64.org/documentation
[5] http://www.vmware.com
[6] http://www.cl.cam.ac.uk/Research/SRG/netos/xen
[7] http://www.microsoft.com/net
[8] http://raw.cs.berkeley.edu/pcc.html
[9] http://www.cs.cornell.edu/talc