Publikation: Konferenz/Workshop

Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen: MBMV 2013

Titel	Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen: MBMV 2013
Untertitel	MBMV 2013 ; 16. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen ... im März 2013 an der Universität Rostock
Erscheinungsjahr	2013
Verlag	Universität Rostock
Verlagsort	Rostock
Seitenzahl	284
Publikationsform	Druckschrift
Publikationsart	Konferenz/Workshop
Sprache	Deutsch
Tagungsname	16. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (16. MBMV)
Organisator	Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen / Universität Rostock
Tagungsort	Rostock
Tagungsdatum	03/2013
ISBN	978-3-86009-147-0
Letzte Änderung	16.05.2019 19:34:13
Bearbeitungsstatus	durch UB Rostock abschließend validiert
Dauerhafte URL	http://purl.uni-rostock.de/fodb/pub/41267
Links zu Katalogen

Seite	25 –	34	System level modeling of Networks-on-Chip for power estimation and design space exploration
Seite	35 –	46	A combined mapping and routing algorithm for 3D NoCs based on ASP
Seite	105 –	115	Model-based representation of schedules for dataflow graphs

Haubelt, Christian
Timmermann, Dirk