TU Darmstadt / ULB / TUbiblio

Browsen nach Person

Ebene hoch
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Datum | Sprache
Anzahl der Einträge: 10.

Boßung, Wolfgang :
Funktionale Spezifikation und Codedesign eingebetteter Systeme.
Shaker , Aachen
[Dissertation]

Boßung, Wolfgang ; Geyer, T. ; Wehmeyer, L. ; Huss, Sorin A. :
Specification and validation of information processing systems by process encapsulation and symbolic execution.
In: IEEE Computer Society Workshop on VLSI <2000, Orlando, Fla.>: Proceedings. - Los Alamitos: IEEE Computer Soc., 2000 . IEEE Computer Soc. , Los Alamitos
[Konferenz- oder Workshop-Beitrag], (2000)

Boßung, Wolfgang ; Huss, Sorin A. :
An efficient specification and concept validation of embedded information processing systems.
In: Online Symposium for Electronics Engineers <1, 2000>: Proceedings .
[Konferenz- oder Workshop-Beitrag], (2000)

Boßung, Wolfgang ; Huss, Sorin A. ; Stini, M. :
xCDM - ein interaktives Werkzeug zur graphenbasierten Systemmodellierung.
In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen: 3. ITG/GI/GMM Workshop, Frankfurt 2000. Hrsg.: K. Waldschmidt (u.a.) - Berlin: VDE-Verl., 2000. S. 153-161 .
[Konferenz- oder Workshop-Beitrag], (2000)

Boßung, Wolfgang ; Huss, Sorin A. ; Klaus, S. ; Wehmeyer, L. :
Functional specification of distributed digital image processing systems by process interface descriptions.
In: International Conference on Parallel and Distributed Processing Techniques and Applications <1999, Las Vegas, Nevada>: Proceedings .
[Konferenz- oder Workshop-Beitrag], (1999)

Boßung, Wolfgang ; Huss, Sorin A. ; Klaus, S. ; Wehmeyer, L. :
High-Level Spezifikationen für eingebettete Systeme unter Einbeziehung bedingter Prozeßaktivierungen.
In: Entwurf integrierter Schaltungen: 9. EIS Workshop 1999 Darmstadt. Hrsg.: S. Huss. - Berlin: VDE-Verl., 1999 . VDE-Verl. , Berlin
[Konferenz- oder Workshop-Beitrag], (1999)

Boßung, Wolfgang ; Huss, Sorin A. ; Klaus, S. :
High-level embedded system specifications based on process activation conditions.
In: Journal of VLSI signal processing, 21 pp. 277-291.
[Artikel], (1999)

Boßung, Wolfgang ; Huss, Sorin A. ; Wehmeyer, L. :
xpViCE - eine graphische Schnittstelle zur Konfiguration und Laufzeitüberwachung einer parallelen Maschine.
In: ITG/GI-Diskussionsforum Analog'99 <5, 1999, München>: Tagungsbd. .
[Konferenz- oder Workshop-Beitrag], (1999)

Boßung, Wolfgang ; Huss, Sorin A. :
Cyclic process nets as a high-level behavioral specification model for embedded systems synthesis.
In: IEEE Computer Society Workshop on VLSI <1998, Orlando, FL>: Proceedings. S. 116-121 .
[Konferenz- oder Workshop-Beitrag], (1998)

Boßung, Wolfgang ; Deegener, M. ; Huss, Sorin A. :
Intervallbasiertes Scheduling von Prozeßnetzen für HW/SW-Codesign.
In: EIS Workshop <8, 1997, Hamburg>: Proceedings. S. 22-29 .
[Konferenz- oder Workshop-Beitrag], (1997)

Diese Liste wurde am Tue Dec 12 08:05:18 2017 CET generiert.