TU Darmstadt / ULB / TUbiblio

Automatic verification of scheduling results in high-level synthesis

Eveking, Hans ; Hinrichsen, H. ; Ritter, G. (1999)
Automatic verification of scheduling results in high-level synthesis.
Konferenzveröffentlichung, Bibliographie

Typ des Eintrags: Konferenzveröffentlichung
Erschienen: 1999
Autor(en): Eveking, Hans ; Hinrichsen, H. ; Ritter, G.
Art des Eintrags: Bibliographie
Titel: Automatic verification of scheduling results in high-level synthesis
Sprache: Englisch
Publikationsjahr: 1999
Ort: Los Alamitos
Verlag: IEEE
Reihe: DATE'99: Design, Automation and Test in Europe <1999, München>; Proceedings. - Los Alamitos: IEEE, 1999
Fachbereich(e)/-gebiet(e): 18 Fachbereich Elektrotechnik und Informationstechnik
Hinterlegungsdatum: 19 Nov 2008 16:22
Letzte Änderung: 05 Mär 2013 08:45
PPN:
Export:
Suche nach Titel in: TUfind oder in Google
Frage zum Eintrag Frage zum Eintrag

Optionen (nur für Redakteure)
Redaktionelle Details anzeigen Redaktionelle Details anzeigen