Jens Brandt Livres

Der Workshop „Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen“ (MBMV 2012) ist bereits das fünfzehnte gemeinsame Treffen der Fachgruppen 3 und 4 der Kooperationsgemeinschaft „Rechnergestützter Schaltungs- und Systementwurf (RSS)“ der Gesellschaft für Informatik (GI), der Informationstechnischen Gesellschaft im VDE (ITG) und der Gesellschaft für Mikroelektronik, Mikro- und Feinwerktechnik (GMM). Ziel der Veranstaltung ist es, neueste Trends, Ergebnisse und aktuelle Probleme auf dem Gebiet der Methoden zur Modellierung und Verifikation sowie der Beschreibungssprachen digitaler, analoger und Mixed-Signal-Schaltungen zu diskutieren und Ideen auszutauschen. Dieser Tagungsband enthält die Beiträge aller Autoren.

Transmission of digital audio and video streams is one of the major applications in future wireless networks. Increasing bandwidths and processing power make it possible to receive video streams almost everywhere. But the classes of mobile devices vary from multimedia enabled mobile phones to high-end notebooks. The varying capabilities of these devices such as display resolution, processing power, memory size or network connection result in a great heterogeneity of client devices. To support as many different devices as possible, some kind of video adaptation is needed. In this book we propose a multimedia gateway system that provides a video adaptation service to its clients. The main focus, however, is the adaptation process itself. Therefore, we investigated different compressed domain transcoding techniques and identified three adaptation dimensions that need to be considered to support a great heterogeneity of devices. Based on these observations a novel transcoding architecture is presented that smartly combines existing transcoding mechanisms to build a multidimensional compressed domain transcoder.

Die Untersuchung des Teamqualitäts-Fragebogens TQF beleuchtet die Verbindung zwischen Teamprozessen und emergenten Zuständen. Durch faktorenanalytische und strukturanalytische Prüfungen wird ein Modell der Teamqualität entwickelt, das sich gut in das Input-Prozess-Output-Modell integriert. Die Komponenten umfassen die "Qualität der Führung" und "Organisation der Zusammenarbeit" als Prozess-Input, während die "Handlungsfähigkeit" und "Leistungsfähigkeit des Teams" den Interaktionsprozess darstellen. Das "Teamklima" fungiert als Prozess-Output. Die Ergebnisse zeigen eine konsistente Struktur auf individueller und Team-Ebene.