Microsoft PowerPoint - presentation_ohm_wiamis_2008 - Adaptive optimization - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2008-05-19 08:27:44 Video Videotelephony Video compression Digital media Technology High-definition television ISO standards H.264/MPEG-4 AVC Computer file formats Scalable Video Coding RWTH Aachen University Moving Picture Experts Group		Microsoft PowerPoint - presentation_ohm_wiamis_2008 Add to Reading List Source URL: wiamis2008.itec.uni-klu.ac.at Download Document from Source Website File Size: 3,13 MB Share Document on Facebook

	A Study of Pushdown Games Von der Fakultät für Mathematik, Informatik und Naturwissenschaften der RWTH Aachen University zur Erlangung des akademischen Grades eines Doktors der Naturwissenschaften genehmigte Dissertat DocID: 1xVTs - View Document
	Predicate Abstraction for Programmable Logic Controllers Sebastian Biallas, Mirco Giacobbe and Stefan Kowalewski Embedded Software Laboratory, RWTH Aachen University, Germany Abstract. In this paper, we present a predic DocID: 1xUQe - View Document
	TECHNOLOGIES EU-BRIDGE Partners Karlsruhe Institute of Technology (Germany), RWTH Aachen University (Germany), Fondazione Bruno Kessler (Italy) DocID: 1vnZC - View Document
	Termination Analysis of Programs with Bitvector Arithmetic by Symbolic Execution J¨ urgen Giesl LuFG Informatik 2, RWTH Aachen University, Germany DocID: 1vhFO - View Document
	Grußwort des Rektors der RWTH Aachen University zur Eröffnung des 108. Bundeskongresses des MNU Im Namen der RWTH Aachen heiße ich Sie herzlich auf dem 108. Bundeskongress des Verbandes zur Förderung des MINT-Unterri DocID: 1v9Di - View Document