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

Controlling KNX devices from an interactive 3D environment

Buchtitel

KNX Scientific Conference Contact and further information: Tagungsband KNX Scientific Conference 2007

Alle Autoren

Ommen, Dennis and Behrensen, Stefan and Busemann, Claas and Martens, Birger and Kamenik, Jens and Brucke, Matthias

Jahr

2007

Publikationstyp

inproceedings

Titel

CSP with Synthesisable SystemC and OSSS

Buchtitel

Proceeding of the FDL 2007

Titel der Konferenz

Specification & Design Languages

Alle Autoren

Brunzema, Claus and Nebel, Wolfgang

Jahr

2007

Publikationstyp

inproceedings

Titel

Die Testperson ist virtuell

Buchtitel

DLR Nachrichten, November 2007

Alle Autoren

Lüdtke, Andreas

Jahr

2007

Publikationstyp

techreport

Titel

Die Testperson ist virtuell

Alle Autoren

Lüdtke, Andreas

Jahr

2007

Publikationstyp

article

Titel

Distributed Power Generation: Requirements and Recommendations for an ICT Architecture

Buchtitel

Information Technologies in Environmental Engineering - ITEE 2007 - Third International ICSC Symposium

Alle Autoren

Winkels, Ludger and Osterloh, Jan-Patrick and Gruening, Fabian and Boers, Dave and Tröschel, Martin and Schmedes, Tanja and Uslar, Mathias

Jahr

2007

Publikationstyp

inproceedings

Titel

Driver Modelling: Two-Point- or Inverted Gaze-Beam-Steering

Buchtitel

Prospektive Gestaltung von Mensch-Technik-Interaktion

Titel der Konferenz

7. Berliner Werkstatt Mensch-Maschine-Systeme

Alle Autoren

Möbus, C. and Hübner, S. and Garbe, H.

Jahr

2007

Publikationstyp

inproceedings

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

Projekte-Schnellzugang