Anzahl: 5 10 25 50 100 Alle
Seiten: 1 2 3 > >>
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
Seiten: 1 2 3 > >>