BibSonomy :: author  ::

bookmarks

publications

(4)

• Xen and the Art of Repeated Research
  Bryan Clark and Todd Deshane and Eli Dow and Stephen Evanchik and Matthew Finlayson and Jason Herne and Jeanna Neefe Matthews USENIX 2004 Annual Technical Conference, FREENIX Track Abstract (2004)
  to imported by cabird and 1 other person on 2008-08-15 20:29:46
  | BibTeX  
• Quantifying the performance isolation properties of virtualization systems.
  Jeanna Neefe Matthews and Wenjin Hu and Madhujith Hapuarachchi and Todd Deshane and Demetrios Dimatos and Gary Hamilton and Michael McCabe and James Owens Experimental Computer Science 6 (2007)
  to dblp by dblp on 2008-04-02 00:00:00
  | URL | BibTeX  
• Encoding First Order Proofs in SAT.
  Todd Deshane and Wenjin Hu and Patty Jablonski and Hai Lin and Christopher Lynch and Ralph Eric McGregor CADE 476-491 (2007)
  to dblp by dblp on 2007-09-05 00:00:00
  | URL | BibTeX  
• Xen and the Art of Repeated Research.
  Bryan Clark and Todd Deshane and Eli Dow and Stephen Evanchik and Matthew Finlayson and Jason Herne and Jeanna Neefe Matthews USENIX Annual Technical Conference, FREENIX Track 135-144 (2004)
  to dblp by dblp and 1 other person on 2004-11-11 00:00:00
  | URL | BibTeX