Anzahl: 5 10 25 50 100 Alle
Seiten: 1 2 > >>
2006
Semantic Modelling and Simulation of Heterogeneous Embedded Systems
IN International Journal of Modelling and Simulation, page 201 - 211, ACTA Press, USA, Anahein, 2006.
2004
Einsatz von Mechanismen aktiver Datenbanken beim Entwurf eingebetteter Systeme
IN it - Information Technology, page 76 - 84, 2004.
2002
Semantische Integritätserhaltung in Wissensbasen für den wiederverwendungsorientierten Entwurf
IN Informationstechnik und Technische Informatik (it+ti), page 82 - 90, Oldenbourg Verlag, München, Deutschland, April 2002.
Knowledge-based design of embedded systems
IN International Journal of Knowledge-Based Intelligent Engineering Systems, page 1 - 8, January 2002.
2000
WIE_EIS - Ein Werkzeugprototyp zum wiederverwendungsorientierten Entwurf eingebetteter Systeme (Teil 1)
IN Informationstechnik und Technische Informatik (it+ti), page 49 - 59, Oldenbourg Verlag, München, Deutschland, 2000.
WIE_EIS - Ein Werkzeugprototyp zum wiederverwendungsorientierten Entwurf eingebetteter Systeme (Teil2)
IN Informationstechnik und Technische Informatik (it+ti), page 33 - 42, Oldenbourg Verlag, München, Deutschland, 2000.
Eine flexible Simulationsumgebung für System-On-Chip Design
IN Informationstechnik und Technische Informatik (it+ti), page 43 - 53, Oldenbourg Verlag, München, Deutschland, 2000.
1998
Wissensbasierte Methoden für die Spezifikation und den Entwurf von Systemen
page 18 - 22, 1998.
1994
Klassifikation von RISC-Prozessoren
IN Wissenschaftliche Beiträge zur Informatik, page 4 - 24, 1994.
2005
Meta Modelling of Embedded Systems using Active Databases
IN Proceedings of Forum on specification & Design Languages, page 499 - 510, September 2005.
2004
A Methodology for Embedded Systems Design supporting Layered Platforms
IN Proceedings of Forum on Specification and Design Languages (FDL'04), page 544 - 555, September 2004.
2003
A New Time Extension to PI-Calculus based on Time Consuming Transition Semantics
IN Proceedings of Forum on Specification and Design Languages (FDL'03), page 447 - 455, September 2003.
Process Algebraic Specification, Refinement, and Verification of Embedded Systems
IN Proceedings of Forum on Specification and Design Languages (FDL'03), page 525 - 535, September 2003.
A New Specification Methodology for Embedded Systems Based on the PI-Calculus Process Algebra
IN Proceedings of the 14th IEEE International Workshop on Rapid System Prototyping (RSP), page 26 - 32, IEEE Computer Society, June 2003. ISBN: 0-7695-1943-1
Datenbanken zur konsistenten Speicherung von Entwurfsdaten für eingebettete Systeme
IN Proc. of the 6. GI/ITG/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, page 62 - 71, Shaker Verlag, Aachen, Deutschland, February 2003. ISBN: 3-8322-1202-7
A universal simulation environment for embedded systems
IN Proceedings of the IASTED International Conference Modelling, Identification and Control (MIC 2003), February 2003. ISBN: 0-88986-339-3
2002
Ensuring Semantic Integrity in Knowledge Bases for Embedded Systems
IN Best of FDL'02, System Specification & Design Languages, page 327 - 340, Kluwer Academic Publishers, September 2002. ISBN: 1-4020-7414-X
Eine wiederverwendungsorientierte Entwurfsmethodik für IMA-Systeme basierend auf Methoden der künstlichen Intelligenz
IN Proc. des Kongresses der Deutschen Gesellschaft für Luft- und Raumfahrt (DGLR), September 2002.
Analysing non-functional requirements of embedded systems
IN Proceedings of the IASTED International Conference Modelling, Identification and Control (MIC 2002), page 60 - 65, February 2002. ISBN: 0-88986-319-9
2001
An Operational Framework for the Multi-Lingual System Simulation Based on Pi-Calculus
IN Proceedings of the XXI International Conference of the Chilean Computer Science Society (SCCC 2001), page 282 - 292, IEEE Computer Society, November 2001. ISBN: 0-7695-1396-4
Anwendung von UML zur Beschreibung von eingebetteten Systemen
IN 4. GI/ITG/GMM Workshop: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, page 75 - 86, Verlag MoPress, Pohrsdorf, February 2001. ISBN: 3-00-007440-6
2000
A VHDL-Centric Mixed-Language Simulation Environment
IN Proceedings of the Forum on Design Languages (FDL), page 339 - 345, September 2000. ISBN: 3-0000-6540-7
A System-Level Simulation Environment for System-On-Chip Design
IN Proceedings of 13th Annual IEEE International ASIC/SOC Conference, page 58 - 62, September 2000. ISBN: 0-7803-6598-4
1999
Kommunikation und Interfaces - eine Einführung
IN Workshop Kommunikation und Interfaces der GI/ITG/GMM-Fachgruppe 3.5.4, November 1999.
Knowledge Based Specification and Modeling of Embedded Systems
IN Workshop on Digital System Design EUROMICRO'99, page 398 - 401, IEEE Computer Society, September 1999. ISBN: 0-7695-0321-7
Ein kompositioneller Ansatz zur Synthese von Datenpfaden
IN Proc. des GI/ITG/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, page 131 - 140, February 1999. ISBN: 3-8265-4684-9
1998
Wiederverwendungsorientierte Modellierung eingebetteter Systeme
IN GI/ITG/GMM-Workshop Graphische Beschreibungsmittel für Modellierung, Entwurf und Test von Hardware- und Hardware/Software-Systemen RSS-FG4, September 1998.
An Object-Oriented Model for Specification, Prototyping, Implementation and Reuse
IN Proc. of Design Automation and Test in Europe, Conference (DATE'98), page 303 - 310, IEEE Computer Society, February 1998. ISBN: 0-8186-8359-7
1997
Ein objektorientiertes Modell als Basis für die Wiederverwendung beim Schaltungsentwurf
IN Tagungsband des 1. GI/ITG/GMM-Workshops Wiederverwendung im Schaltungsentwurf., Forschungszentrum Informatik, Karlsruhe, September 1997.
Automating System Construction by Domain Based Approaches
IN Proc. EUROMICRO97, page 336 - 342, IEEE Computer Society, September 1997. ISBN: 08186-8129-2
Ein objektorientiertes Modell als Basis für Spezifikation, Prototyping, Implementierung und Wiederverwendung
IN 3. ITG/GI/GMM-Workshop Hardwarebeschreibungssprachen und Modellierungsparadigmen, page 62 - 73, TU Chemnitz, Fakultät für Informatik, Professur Rechnersysteme, D-09107 Chemnitz, Deutschland, TU Chemnitz, February 1997.
Das Shall-Prototyp-Test-Entwicklungsmodell
IN 3. ITG/GI/GMM-Workshop Hardwarebeschreibungssprachen und Modellierungsparadigmen, page 122 - 132, TU Chemnitz, February 1997.
Automatisierte Generierung von System-Implementierungen aus abstrakten Spezifikationen durch domänenbasierten Entwurf
IN 3. ITG/GI/GMM-Workshop Hardwarebeschreibungssprachen und Modellierungsparadigmen, page 141 - 151, TU Chemnitz, February 1997.
1996
Automating Design of Digital Systems - From Specification To Architecture
IN Proc. 22nd EUROMICRO Conference, September 1996.
An Expert System for the Configuration of Complex Digital Systems
IN Proc. IASTED International Conference on Artificial Intelligence, page 197 - 200, August 1996.
High-Level Entwurf mikroelektronischer Systeme unter Verwendung von Methoden des wissensbasierten Konfigurerens
IN GI-Fachtagung CAD'96 Verteilte und Intelligente CAD-Systeme, page 209 - 224, March 1996. ISBN: 3-00-000510-2
Objektorientierte Spezifikation digitaler Systeme
IN Proceedings des 2. GI/ITG/GME - Workshops Hardwarebeschreibungssprachen und Modellierungsparadigmen, page 128 - 137, February 1996. ISBN: 3-8265-1202-2
1995
Objektorientierte Modellierung von RISC-Prozessoren für den Entwurf auf der Systemebene
IN Proc. 7. E.I.S. Workshop, November 1995.
Entwurf mikroelektronischer Systeme mit einem objektorientierten Modell
IN Proc. 2. Chemnitzer Fachtagung Mikrosystemtechnik, Mikromechanik und Mikroelektronik, October 1995.
Object-oriented system level specification and synthesis of heterogeneous systems
IN Proc. EURO-MICRO'95, September 1995.
Object-oriented high-level modeling of system components for the generation of VHDL
IN Proc. EURO-DAC '95, September 1995.
Object-oriented high-level modeling of complex systems
IN Proc. EURO-CAST'95, May 1995.
A Formal Semantics for a Graphical Model Representation in the Hardware-Software-CoDesign
IN Proc. EURO-CAST'95, May 1995.
Modellierung heterogener Systeme mit Erweiterten Sequence Charts
IN Proceedings des GI/ITG-Workshop Hardwarebeschreibungssprachen und Modellierungsparadigmen, February 1995.
Automatische Generierung von VHDL-Beschreibungen aus objektorientierten Teilspezifikationen
IN Proceedings des GI/ITG-Workshop Hardwarebeschreibungssprachen und Modellierungsparadigmen, February 1995.
1994
System Level Synthesis Using Knowledge-Based Configuration Tool
IN Proceedings of the 4th International Workshop on Computer Aided Systems Technology (CAST), May 1994.
1993
A Contribution to Design and Analysis of Heterogeneous Systems Using Graphically Oriented Methods
IN Proceedings of the First Asia Pacific Conference on Hardware Description Languages, Standards and Applications, December 1993.
High-Level Entwurf und Analyse mit Erweiterten Sequence Charts
IN Proceedings des 6. E.I.S.-Workshops, page 198 - 207, November 1993.
Design and Analysis of Heterogeneous Systems Using Graphically Oriented Methods: A Case Study
IN Proceedings of the 4th SASIMI Workshop, page 23 - 32, October 1993.
Einige Aspekte des Entwurfs auf der Systemebene
IN Proceedings des GI/ITG-Workshops CAD-Umgebungen und Methoden des Entwurf von Schaltkreisen und Systemen, page 29 - 35, Springer Verlag, September 1993.
Seiten: 1 2 > >>