Zur Seitennavigation oder mit Tastenkombination für den
accesskey
-Taste und Taste 1
Zum Seiteninhalt oder mit Tastenkombination für den
accesskey
und Taste 2
S
tartseite
A
nmelden
Sommer 2024
Hilfe
Sitemap
Impressum
Datenschutz
node2
Studentisches Leben
Veranstaltungen
Einrichtungen
Räume und Gebäude
Personen
Forschung
Startseite
Publikation: Konferenz/Workshop
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen: MBMV 2013
Grunddaten
Autoren
Einrichtung
Grunddaten
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
Untergeordnete Publikationen
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
Autoren
Haubelt, Christian
Timmermann, Dirk
Einrichtung
IEF/Institut für Angewandte Mikroelektronik und Datentechnik (IMD)