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 1009 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 speculative design processes using rich component models

Buchtitel

5th International Conference on Application of Concurrency to System Design (ACSD 2005)

Alle Autoren

Damm, Werner

Jahr

2005

Publikationstyp

inproceedings

Titel

DCbot: Exploring the Web as Value-Added Service for Location-Based Applications.

Titel der Konferenz

Proceedings of the 21st International Conference on Data Engineering (Demonstrations)

Alle Autoren

Jakob Mihály and Großmann, Matthias and Hönle, Nicola and Nicklas, Daniela

Jahr

2005

Publikationstyp

inproceedings

Titel

DCbot: Finding Spatial Information on the Web

Buchtitel

Database Systems for Advanced Applications, 10th International Conference, {DASFAA} 2005, Beijing, China

Alle Autoren

Jakob Mihály and Großmann, Matthias and Nicklas, Daniela and Mitschang, Bernhard

Jahr

2005

Publikationstyp

inproceedings

Titel

Designing for dynamic partially reconfigurable FPGAs with SystemC and OSSS

Buchtitel

Advances in Design and Specification Languages for SoCs

Alle Autoren

Schallenberg, Andreas and Oppenheimer , Frank and Nebel, Wolfgang

Jahr

2005

Publikationstyp

inbook

Titel

Durchgängiges Kommunikationsdesign für den strukturalen, objektorientierten Hardware-Entwurf

Alle Autoren

Putzke-Röming, Wolfram

Jahr

2005

Publikationstyp

phdthesis

Titel

Efficient Feasibility Analysis for Real-time systems with EDF-Scheduling

Buchtitel

IEEE Proceeding of the Conference Design, Automation and Test in Europe (DATE) 2005

Alle Autoren

Albers, Karsten and Slomka, Frank

Jahr

2005

Publikationstyp

inproceedings

Titel

Efficiently Managing Context Information for Large-Scale Scenarios.

Buchtitel

3rd IEEE International Conference on Pervasive Computing and Communications PerCom 2005, 8-12 March 2005, Kauai Island, HI, USA

Alle Autoren

Grossmann, Matthias and Bauer, Martin and Hönle, Nicola and Käppeler Uwe-Philipp and Nicklas, Daniela and Schwarz, Thomas

Jahr

2005

Publikationstyp

inproceedings

Titel

Embedded Java Prozessor für Echtzeitsysteme

Alle Autoren

Wessels, Hauke

Jahr

2005

Publikationstyp

mastersthesis

Titel

Entwurf und Implementierung einer HW/SW-Umgebung zur Anbindung einer Emulationsplattform an einen HW-Simulator

Alle Autoren

Jaeger, Andreas

Jahr

2005

Publikationstyp

mastersthesis

Titel

Evaluierung einer TDMA Timeslot und Tum Optimierung

Alle Autoren

Rosenow, Sven

Jahr

2005

Publikationstyp

misc

Titel

Experimentelle Evaluierung der Laufzeiteigenschaften von neuen Verfahren zur Echtzeitanalyse

Alle Autoren

Nyhof, Michael

Jahr

2005

Publikationstyp

misc

Titel

Federating Location-Based Data Services

Alle Autoren

Mitschang, Bernhard and Nicklas, Daniela and Großmann, Matthias and Schwarz, Thomas and Hönle, Nicola

Jahr

2005

Publikationstyp

incollection

Titel

Finding Optimal Plans for Domains with Continuous Effects with UPPAAL CORA

Buchtitel

Proceedings of the ICAPS'05 Workshop on Verification and alidation of Model-Based Planning and Scheduling Systems

Alle Autoren

Dierks, Henning

Jahr

2005

Publikationstyp

inproceedings

Titel

Formal Verification of a Sensor Voting and Monitoring UML Model

Titel der Konferenz

4th International Workshop on Critical Systems Development Using Modeling Languages (CSDUML 2005)

Alle Autoren

Mrugalla, Christian and Robbe, Oliver and Schinz, Ingo and Toben, Tobe and Westphal, Bernd

Jahr

2005

Publikationstyp

inproceedings

Titel

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

Buchtitel

Automated Technology for Verification and Analysis (ATA)

Alle Autoren

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

Jahr

2005

Publikationstyp

inproceedings

Titel

Hardware/Software Co-Synthesis of Real-Time Systems with Approximated Analysis Algorithms

Buchtitel

Tagungsband: Model-based development of embedded systems

Alle Autoren

Slomka, Frank and Albers, Karsten

Jahr

2005

Publikationstyp

inproceedings

Titel

Herausforderungen und Ansätze für Kontextmodelle

Titel der Konferenz

Informatik LIVE! Band 2, Beiträge der 35. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Bonn

Alle Autoren

Mitschang, Bernhard and Nicklas, Daniela

Jahr

2005

Publikationstyp

inproceedings

Titel

High-Level Power Estimation and Analysis

Buchtitel

Low-Power Electronics Design

Alle Autoren

Nebel, Wolfgang and Helms, Domenik

Jahr

2005

Publikationstyp

incollection

Titel

Kommunikationsgetriebene Hardware/Software-Partitionierung eines Netzwerkprotokollstacks auf einer SoC-Plattform

Buchtitel

INFORMATIK 2005 - Informatik LIVE!, Band 1

Alle Autoren

Grüttner, Kim and Beth, Carsten and Nebel, Wolfgang

Jahr

2005

Publikationstyp

inproceedings

Titel

Konzeption und Implementierung einer Evaluationsumgebung für energiebewusstes Task-Schedulding

Alle Autoren

Kraef, Heike

Jahr

2005

Publikationstyp

mastersthesis

Titel

Leakage Power Modeling, Estimation and Optimization

Buchtitel

Tagungsband für die Workshopteilnehmer

Alle Autoren

Helms, Domenik

Jahr

2005

Publikationstyp

misc

Titel

Live and let die: LSC-based verification of UML models.

Alle Autoren

Damm, Werner and Westphal, Bernd

Jahr

2005

Publikationstyp

article

Titel

OOCOSIM - An Object-Oriented Co-design Method for Embedded HW / SW Systems

Alle Autoren

Oppenheimer, Frank

Jahr

2005

Publikationstyp

phdthesis

Titel

OOCOSIM - Eine objekt-orientierte Co-Designmethode für eingebettete Hardware/ Softwaresysteme

Buchtitel

Tagungsband: INFORMATIK 2005, Informatik LIVE!, Band 2

Alle Autoren

Oppenheimer, Frank and Kersten, Michael and Nebel, Wolfgang

Jahr

2005

Publikationstyp

inproceedings

Projekte-Schnellzugang