Position Title Process Engineer Category

First Page		Document Content
Date: 2014-09-30 15:28:10 Arts Chemical engineering Software development process Systems design AutoCAD Science Computing Design Computer systems Architectural design		Position Title Process Engineer Category Add to Reading List Source URL: www.cpsgrp.com Download Document from Source Website File Size: 336,63 KB Share Document on Facebook

	Quantitative Verification and Strategy Synthesis for Stochastic Games M´aria Svoreˇnov´a and Marta Kwiatkowska Abstract— Design and control of computer systems that operate in uncertain, competitive or adversarial, DocID: 1xVYM - View Document
	Automatic Verification of Competitive Stochastic Systems Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, David Parker, and Aistis Simaitis Department of Computer Science, University of Oxford, Oxford, UK DocID: 1xVRU - View Document
	Vector Lane Threading S. Rivoire, R. Schultz, T. Okuda, C. Kozyrakis Computer Systems Laboratory Stanford University DocID: 1xVKA - View Document
	The Potential of Interference-Based Proof Systems Marijn J.H. Heule1 and Benjamin Kiesl2 1 2 Department of Computer Science, The University of Texas at Austin DocID: 1xVI3 - View Document
	Verification of Fault-Tolerant Protocols with Sally Bruno Dutertre, Dejan Jovanovi´c, and Jorge A. Navas Computer Science Laboratory, SRI International Abstract. Sally is a model checker for infinite-state systems that DocID: 1xVqL - View Document