RHEINISCHWESTFÄLISCHE TECHNISCHE HOCHSCHULE AACHEN Center for Computing

First Page		Document Content
Date: 2007-10-15 03:40:22 Computing Computer programming OpenMP Technische Hochschule Aachen RWTH Aachen University Education		RHEINISCHWESTFÄLISCHE TECHNISCHE HOCHSCHULE AACHEN Center for Computing Add to Reading List Source URL: www.compunity.org Download Document from Source Website File Size: 679,58 KB 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
	Runtime Correctness Checking for Emerging Programming Paradigms Joachim Protze (), Christian Terboven, Matthias S. Müller, Serge Petiton, Nahid Emad, Hitoshi Murai and Taisuke Boku RWTH Aachen U DocID: 1xTYR - View Document
	PDF Document DocID: 1xR6I - View Document
	PDF Document DocID: 1xQtI - View Document