Cambridge University Engineering Department UROP Project Technical Report Designing and prototyping technologies to support mental health 18th July - 23rd September 2011 - Player Project - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2013-11-04 16:34:20 DirectShow VLC media player Model–view–controller Media Foundation Application programming interface Software framework ASP.NET Windows Presentation Foundation Technical features new to Windows Vista Software Windows Vista Software architecture		Cambridge University Engineering Department UROP Project Technical Report Designing and prototyping technologies to support mental health 18th July - 23rd September 2011 Add to Reading List Source URL: homepages.inf.ed.ac.uk Download Document from Source Website File Size: 299,73 KB Share Document on Facebook

	BGPStream: A Software Framework for Live and Historical BGP Data Analysis Chiara Orsini 1 , Alistair King1 , Danilo Giordano2 , Vasileios Giotsas1 , Alberto Dainotti1 1 CAIDA, UC San Diego 2 DocID: 1xVAn - View Document
	A Framework for Verification of Software with Time and Probabilities Marta Kwiatkowska1 , Gethin Norman2 , and David Parker1 1 2 DocID: 1xUUp - View Document
	SeaHorn: A Framework for Verifying C Programs (Competition Contribution)? Arie Gurfinkel1 , Temesghen Kahsai2 , and Jorge A. Navas3 1 Software Engineering Institute / CMU, USA DocID: 1xTGL - View Document
	Dealing with Hardware in Embedded Software: A Retargetable Framework Based on the Devil Language Fabrice Mérillon, Gilles Muller To cite this version: Fabrice Mérillon, Gilles Muller. Dealing with Hardware in Embedded DocID: 1uWSK - View Document
	A Functional Framework for Result Checking Gilles Barthe1 , Pablo Buiras1,2 , and C´esar Kunz1 2 1 IMDEA Software, Spain DocID: 1uHbN - View Document