INVITED SPEAKER SEMINAR IN ELECTRICAL AND COMPUTER ENGINEERING CO-SPONSORED BY: The Department of Electrical and Computer Engineering, Concordia University, IEEE Montreal Section,

First Page		Document Content
Date: 2014-04-11 16:22:00 Computing Computer systems Edsger W. Dijkstra Software architecture Software engineering Scalability Big data Database Information and communications technology Computer engineering		INVITED SPEAKER SEMINAR IN ELECTRICAL AND COMPUTER ENGINEERING CO-SPONSORED BY: The Department of Electrical and Computer Engineering, Concordia University, IEEE Montreal Section, Add to Reading List Source URL: users.encs.concordia.ca Download Document from Source Website File Size: 183,79 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