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 1016 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

Effizienzanalyse methodenbasierter Hardware/Software Kommunikation aus Synthesesicht

Alle Autoren

Kleen, Henning

Jahr

2007

Publikationstyp

mastersthesis

Titel

Ein makrobasierter Ansatz zur Verbesserung der Ausbeute in der Produktion von FPGAs

Buchtitel

Zuverlässigkeit und Entwurf 2007

Titel der Konferenz

GMM/GI/ITG- Fachtagung Zuverlässigkeit und Entwurf 2007

Alle Autoren

Frimont, Sven and Nebel, Wolfgang

Jahr

2007

Publikationstyp

inproceedings

Titel

Eine Fallstudie zur dynamischen Rekonfiguration von Hardware: "Pain or Gain?"

Buchtitel

Tagungsband des 10. ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen"

Jahr

2007

Publikationstyp

inproceedings

Titel

Exact state set representations in the verification of linear hybrid systems with large discrete state-space

Buchtitel

Automated Technology for Verification and Analysis, 5th International Symposium, ATVA 2007

Alle Autoren

Damm, Werner and Disch, Stefan and Hungar, Hardi and Jacobs, Swen and Pang, Jun and Pigorsch, Florian and Scholl, Christoph and Waldmann, Uwe and Wirtz, Boris

Jahr

2007

Publikationstyp

inproceedings

Titel

Exploration, Partitioning and Simulation of Reconfigurable Systems

Alle Autoren

Dittmann, Florian and Rammig, Franz and Streubühr, Martin and Haubelt, Christian and Schallenberg, Andreas and Nebel, Wolfgang

Jahr

2007

Publikationstyp

article

Titel

Federated Spatial Cursors

Titel der Konferenz

Proceedings of the VIII Brazilian Symposium on GeoInformatics : GeoInfo2006

Alle Autoren

Cipriani Nazario and Grossmann, Matthias and Nicklas, Daniela and Mitschang, Bernhard

Jahr

2007

Publikationstyp

inproceedings

Titel

From High-Level Verification to Real-Time Scheduling: A Property-Preserving Integration

Alle Autoren

Faber, Johannes and Stierand, Ingo

Jahr

2007

Publikationstyp

techreport

Titel

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

Buchtitel

International Journal of Foundations of Computer Science

Alle Autoren

Werner Damm and Guilherme Pinto and Stefan Ratschan

Jahr

2007

Publikationstyp

article

Titel

Human Error Analysis Based on a Semantically Defined Cognitive Pilot Model

Buchtitel

26th International Conference on Computer Safety, Reliability and SecurityComputer Safety, Reliability, and Security, 26th International Conference, SAFECOMP 2007

Alle Autoren

Lüdtke, Andreas and Pfeiffer, Lothar

Jahr

2007

Publikationstyp

inproceedings

Titel

Interoperable Human Performance Modelling of Distributed Cognitive Agents

Buchtitel

10th IFAC/IFIP/IFORS/IEA Symposium on Analysis, Design, and Evaluation of Human-Machine Systems (IFAC-HMS 2007)

Alle Autoren

Lüdtke, Andreas and Leuchter, Sandro and Urbas, Leon

Jahr

2007

Publikationstyp

inproceedings

Titel

Koordination dezentraler Kraft-Wärme-Kopplungsanlagen für die Verwendung einer netzorientierten Betriebsweise im Verbund

Buchtitel

Tagungsband zum ETG-Kongress 2007

Alle Autoren

Korte, Mario and Tröschel, Martin and Schulz, Christian and Pielke, Magnus and Kurrat, Micheal and Slomka, Frank

Jahr

2007

Publikationstyp

inproceedings

Titel

Latency Optimization for a Reconfigurable, Self-Timed and Bit-Serial Architecture

Buchtitel

Proceedings of the 2007 International Conference on Engineering of Reconfigurable Systems & Algorithms

Titel der Konferenz

ERSA 2007

Alle Autoren

Dittmann, Florian and Rettberg, Achim and Weber, Raphael

Jahr

2007

Publikationstyp

inproceedings

Titel

Logic design techniques for 65 to 45nm and below for reducing total energy and solving technology variations problems

Buchtitel

Proceedings on the 14th IEEE Internactional Conference on Electronics, Circuits, and Systems

Titel der Konferenz

14th IEEE Internactional Conference on Electronics, Circuits, and Systems

Alle Autoren

Helms, Domenik and Nebel, Wolfgang

Jahr

2007

Publikationstyp

inproceedings

Titel

Mind the Shapes: Abstraction Refinement via Topology Invariants

Titel der Konferenz

5th International Symposium on Automated Technology for Verification and Analysis (ATVA 2007)

Alle Autoren

Bauer, Jörg and Toben, Tobe and Westphal, Bernd

Jahr

2007

Publikationstyp

inproceedings

Titel

Modellierung von Komplexität und Qualität als Faktoren von Produktivität in Design-Flows für integrierte Schaltungen

Buchtitel

edaWorkshop 07

Alle Autoren

Häusler, Stefan and Poppen, Frank and Hausmann, Kevin and Preis, Sonja and Hahn, Axel and Nebel, Wolfgang and Leppelt, Peter and Hassine, Amir and Barke, Erich

Jahr

2007

Publikationstyp

inproceedings

Titel

Modelling and Synthesis of Adaptive SoC

Titel der Konferenz

Workshop on Reconfigurable Systems-on-Chip

Alle Autoren

Oppenheimer, Frank

Jahr

2007

Publikationstyp

misc

Titel

Modelling the impact of high level leakage optimization techniques on the delay of RT-components

Buchtitel

Proceedings of the PATMOS 2007

Alle Autoren

Hoyer, M. and Helms, D. and Nebel, W.

Jahr

2007

Publikationstyp

inproceedings

Titel

Nexus-A Global, Active, and 3D Augmented Reality Model

Buchtitel

Photogrammetic Week '07

Alle Autoren

Daniela Nicklas

Jahr

2007

Publikationstyp

inproceedings

Titel

Non-Interference Properties for Data-Type Reduction of Communicating Systems

Titel der Konferenz

6th International Conference on Integrated Formal Methods (IFM 2007)

Alle Autoren

Toben, Tobe

Jahr

2007

Publikationstyp

inproceedings

Titel

Object Oriented Design and Synthesis of Communication in Hardware-/Software Systems with OSSS

Buchtitel

proceeding in SASIMI 2007, Hokkaido, Japan

Titel der Konferenz

SASIMI 07

Alle Autoren

Grüttner, Kim and Grabbe, Cornelia and Oppenheimer, Frank and Nebel, Wolfgang

Jahr

2007

Publikationstyp

inproceedings

Titel

Objektorientierter Entwurf und Synthese von Hardware-/Softwaresystemen

Alle Autoren

Oppenheimer, Frank and Grüttner, Kim

Jahr

2007

Publikationstyp

misc

Titel

On the Benefit of Synergistic Model-Based Approach for Safety Critical Interactive System Testing

Buchtitel

Task Models and Diagrams for User Interface Design

Titel der Konferenz

International workshop on TAsk MOdels and DIAgrams

Alle Autoren

Nabarra D., Palanque P., Barboni E., Mistrzyk T.

Jahr

2007

Publikationstyp

inproceedings

Titel

On the Expressive Power of Live Sequence Charts

Buchtitel

Program Analysis and Compilation, Theory and Practise: Essays Dedicated to Reinhard Wilhelm

Alle Autoren

Damm, Werner and Toben, Tobe and Westphal, Bernd

Jahr

2007

Publikationstyp

inproceedings

Titel

OPRAIL - Normenkonforme Entwicklung sicherheitsrelevanter Software unter Einsatz der UML

Buchtitel

SIGNAL + DRAHT 09/2007

Alle Autoren

Hungar, Hardi and Bruhns, Gerhard and Plan, Oliver and Lemke, Oliver

Jahr

2007

Publikationstyp

article

Projekte-Schnellzugang