Alan J. Dixon - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2014-06-03 06:51:58 Black feminism Carol Moseley Braun Alan J. Dixon Braun Dick Durbin Government of Illinois Illinois African American women in politics		Add to Reading List Source URL: www.senate.gov Download Document from Source Website File Size: 673,11 KB Share Document on Facebook

	Taking proof-based verified computation a few steps closer to practicality1 Srinath Setty, Victor Vu, Nikhil Panpalia, Benjamin Braun, Andrew J. Blumberg, and Michael Walfish The University of Texas at Austin Abstract. W DocID: 1xVQw - View Document
	Verifying computations with state Benjamin Braun, Ariel J. Feldman⋆ , Zuocheng Ren, Srinath Setty, Andrew J. Blumberg, and Michael Walfish The University of Texas at Austin ⋆ University of Pennsylvania Abstract When DocID: 1xVGQ - View Document
	Resolving the conflict between generality and plausibility in verified computation Srinath Setty? , Benjamin Braun? , Victor Vu? , Andrew J. Blumberg? , Bryan Parno† , and Michael Walfish? ? The University of Texas at DocID: 1xUGv - View Document
	PDF Document DocID: 1xiJz - View Document
	Fachbereich Bau- und Umweltingenieurwissenschaften Institut und Versuchsanstalt für Geotechnik Prof. Dr.-Ing. Rolf Katzenbach Franziska-Braun-StraßeDarmstadt Tel. + DocID: 1vmrt - View Document