Publikationen im FuE-Bereich Verkehr

Nachfolgend finden Sie alle - innerhalb des FuE-Bereichs Verkehr veröffentlichten - Publikationen.

Anhand des Suchfelds können Sie die Ausgabe weiter einschränken, z. B. können Sie nach Autor, Titel, Textinhalten oder Publikationsart suchen.

Publikationsliste

  Suche  UND ODER Erweiterte Suche
schließen
Alle 1077 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Titel

Compositional Performability Evaluation for STATEMATE

Buchtitel

QEST '06: Proceedings of the 3rd international conference on the Quantitative Evaluation of Systems

Alle Autoren

Böde, Eckard and Herbstritt, Marc and Hermanns, Holger and Johr, Sven and Peikenkamp, Thomas and Pulungan, Reza and Wimmer, Ralf and Becker, Bernd

Jahr

2006

Publikationstyp

inproceedings

Titel

Concurrent LSC Verification

Titel der Konferenz

5th International Workshop on Automated Verification of Critical Systems (AVoCS 2005)

Alle Autoren

Toben, Tobe and Westphal, Bernd

Jahr

2006

Publikationstyp

inproceedings

Titel

Datenabhängige RT-Ebenen Modellierung von Leckströmen in Tiefen Sub-Mikrometer CMOS Technologien

Alle Autoren

Ehmen, Günter

Jahr

2006

Publikationstyp

mastersthesis

Titel

Design and implementation of a Maple-package for the predictability of real-time systems

Buchtitel

Proceedings of the Maple Conference 2006

Titel der Konferenz

Maple Conference 2006

Alle Autoren

Korte, Mario and Albers, Karsten and Slomka, Frank

Jahr

2006

Publikationstyp

inproceedings

Titel

Design and Implementation of a Maple-Package for the Predictability of Real-Time Systems

Buchtitel

Proceedings of the Maple Conference 2006

Titel der Konferenz

Maple Conference

Alle Autoren

Korte, Mario and Albers, Karsten and Slomka, Frank

Jahr

2006

Publikationstyp

inproceedings

Titel

Die Nutzung von teildefekten FPGAs unter Berücksichtigung des Entwurfsablaufes und der Performance

Buchtitel

Tagungsband: Dresdner Arbeitstagung Schaltungs- und Systementwurf

Alle Autoren

Frimont, Sven and Nebel, Wolfgang

Jahr

2006

Publikationstyp

inproceedings

Titel

Effizienter Entwurf verteilter eingebetteter Echtzeit-Systeme

Alle Autoren

Metzner, Alexander

Jahr

2006

Publikationstyp

phdthesis

Titel

Ein EDF Scheduler für das eingebettete Betriebssystem µC/OS-II

Alle Autoren

Ohler, Christian

Jahr

2006

Publikationstyp

misc

Titel

Ein umfassendes Umgebungsmodell als Integrationsstrategie für ortsbezogene Daten und Dienste

Alle Autoren

Daniela Nicklas

Jahr

2006

Publikationstyp

phdthesis

Titel

Ein Verfahren zur Verifikation hochkomplexer Randbedingungen beim IC-Entwurf

Buchtitel

Tagungsband der ANALOG 2006

Alle Autoren

Freuer, Jan and Jerke, G. and Schäfer, A. and Hahn, K. and Brück, R. and Nassaj, A. and Nebel, W.

Jahr

2006

Publikationstyp

inproceedings

Titel

Eingebettete Systeme für die Sicherheit von Logistikeinheiten

Titel der Konferenz

Mikrosysteme für die maritime Sicherheit im Rahmen des Forum Küste und Meer

Alle Autoren

Nebel, Wolfgang

Jahr

2006

Publikationstyp

misc

Titel

Entwicklung ortsbezogener Anwendungen

Buchtitel

PIK - Praxis der Informationsverarbeitung und Kommunikation

Alle Autoren

Becker Christian and Dürr Frank and Knoll, Mirko and Nicklas, Daniela and Weis, Torben

Jahr

2006

Publikationstyp

article

Titel

Ereignisabhängigkeitsgraphen für die Echtzeitanalyse eingebetteter Systeme

Alle Autoren

Bodmann, Frank

Jahr

2006

Publikationstyp

mastersthesis

Titel

Event-based Synchronization of Model-Based Multimodal User Interfaces

Buchtitel

MDDAUI '06 - Model Driven Development of Advanced User Interfaces 2006

Alle Autoren

Marco Blumendorf and Sebastian Feuerstack and Sahin Albayrak

Jahr

2006

Publikationstyp

inproceedings

Titel

Exploiting Type and Space in a Main Memory Query Engine

Buchtitel

Proceedings of the VIII Brazilian Symposium on GeoInformatics : GeoInfo2006 ; Campos do Jordao, Brazil

Alle Autoren

Grossmann, Matthias and Schwarz, Thomas and Nicklas, Daniela and Mitschang, Bernhard

Jahr

2006

Publikationstyp

inproceedings

Titel

Formal Verification of LSC's in the Development Process

Buchtitel

Integration of Software Specification Techniques for Applications in Engineering

Alle Autoren

Brill, Matthias and Buschermöhle, Ralf and Damm, Werner and Klose, Jochen and Westphal, Bernd and Wittke, Hartmut

Jahr

2006

Publikationstyp

incollection

Titel

Formale Verifikation von ASCET Modellen im Rahmen der Entwicklung der Aktivlenkung

Alle Autoren

Damm, W. and Schulte, C. and Segelken, M. and Wittke, H. and Higgen, U. and Eckrich, M.

Jahr

2006

Publikationstyp

article

Titel

Guaranteed termination in the verification of LTL properties of non-linear robust discrete time hybrid systems.

Alle Autoren

Damm, W. and Pinto, G. and Ratschan, S.

Jahr

2006

Publikationstyp

article

Titel

Hierarchical Event Streams and Event Dependency Graphs: A New Computational Model for Embedded Real-Time Systems

Buchtitel

IEEE Proceedings of the 18th Euromicro Conference on Real-Time Systems

Titel der Konferenz

18th Euromicro Conference on Real-Time Systems

Alle Autoren

Albers, Karsten and Bodmann, Frank and Slomka, Frank

Jahr

2006

Publikationstyp

inproceedings

Titel

Human Error Analysis based on Cognitive Architecture

Buchtitel

Proceedings of the International Conference on Human -Computer Interaction in Aeronautics (HCI-Aero 06)

Alle Autoren

Lüdtke, A. and Cavallo, A. and Christophe, L. and Cifaldi, M. and Fabbri, M. and Javaux, D.

Jahr

2006

Publikationstyp

inproceedings

Titel

Human Error Analysis Tool

Buchtitel

Proceedings of the International Conference on Human Computer Interaction in Aeronautics (HCI-Aero 06)

Alle Autoren

Lüdtke, A. and Weber, L.

Jahr

2006

Publikationstyp

inproceedings

Titel

Human Modeling and Complexity

Buchtitel

Proceedings of the International Conference on Human-Computer Interaction in Aeronautics (HCI-Aero 06)

Alle Autoren

Javaux, D. and Lüdtke, A. and Polson, P. and Reuzeau, F. and Sarter, N.

Jahr

2006

Publikationstyp

inproceedings

Titel

Human Performance Modellierung mit interoperablen kognitiven Agenten

Buchtitel

48. Fachausschusssitzung Anthropotechnik der Deutschen Gesellschaft für Luft- und Raumfahrt e.V., Cognitive Systems Engineering in der Fahrzeug- und Prozessführung, , 24.-25. Oktober 2006, Fraunhofer-IITB, Karlsruhe

Alle Autoren

Leuchter, S. and Lüdtke, A. and Urbas, L.

Jahr

2006

Publikationstyp

inproceedings

Titel

Impact of Array Data Flow Analysis on the Design of Energy-Efficient Circuits

Buchtitel

Proceedings PATMOS 2006

Titel der Konferenz

PATMOS 2006

Alle Autoren

Hillers, Mark

Jahr

2006

Publikationstyp

inproceedings

Projekte-Schnellzugang