6119innovationandtechnologyeresearchstatement7bweb31[removed]pdf

First Page		Document Content
Date: 2012-11-11 18:01:11 La Trobe University Victorian Life Sciences Computation Initiative ERT Australian Synchrotron Melbourne Academia States and territories of Australia Victoria Victorian Partnership for Advanced Computing E-research Research Association of Commonwealth Universities		6119innovationandtechnologyeresearchstatement7bweb31[removed]pdf Add to Reading List Source URL: cdn77.platformtechnologies.org Download Document from Source Website File Size: 495,77 KB Share Document on Facebook

	Efficient E-matching for SMT Solvers Leonardo de Moura, Nikolaj Bjørner Microsoft Research, Redmond DocID: 1xV4c - View Document
	An Algorithmic Framework for Synthesis of Concurrent Programs E. Allen Emerson and Roopsha Samanta Dept. of Computer Science and Computer Engineering Research Centre, University of Texas, Austin, TX 78712, USA. {emerson, DocID: 1xUxz - View Document
	451 RESEARCH REPRINT R E P O RT R E P R I N T Open source supporter Crunchy Data gives PostgreSQL a place in DocID: 1xUoZ - View Document
	The use of theorem-proving techniques in question-answering systems by C. C O R D E L L G R E E N and BERTRAM RAPHAEL Stanford Research Institute Menlo Park, California DocID: 1xUl1 - View Document
	A Survey of Rollback-Recovery Protocols in Message-Passing Systems E.N. (MOOTAZ) ELNOZAHY IBM Research LORENZO ALVISI The University of Texas at Austin DocID: 1xUa3 - View Document