On the Challenge of Delivering High-Performance, Dependable, Model-Checked Internet Servers Anil Madhavapeddy1 and David Scott2 University of Cambridge Computer Laboratory1 , Fraser Research2 [removed]1 , djs@fr - Challenge X - Document - PDFSEARCH.IO

First Page	Meta Content
	On the Challenge of Delivering High-Performance, Dependable, Model-Checked Internet Servers Anil Madhavapeddy1 and David Scott2 University of Cambridge Computer Laboratory1 , Fraser Research2 [removed]1 , djs@fr Add to Reading List Document Date: 2013-09-29 14:14:18 Open Document File Size: 79,60 KB Share Result on Facebook

UPDATE

On the Challenge of Delivering High-Performance, Dependable, Model-Checked Internet Servers Anil Madhavapeddy1 and David Scott2 University of Cambridge Computer Laboratory1 , Fraser Research2 [removed]1 , djs@frAdd to Reading List