Search Results - Christmann, Anika

  • Showing 1 - 4 results of 4
Refine Results
  1. 1
    Formal Analysis of Timing Diversity for Autonomous Systems

    Formal Analysis of Timing Diversity for Autonomous Systems by Christmann, Anika, Hapka, Robin, Ernst, Rolf

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  2. 2
    Controlling High-Performance Platform Uncertainties with Timing Diversity

    Controlling High-Performance Platform Uncertainties with Timing Diversity by Hapka, Robin, Christmann, Anika, Ernst, Rolf

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  3. 3
    Safe Usage of Multi-Cores in Neural Network Avionics Applications

    Safe Usage of Multi-Cores in Neural Network Avionics Applications by Hapka, Robin, Christmann, Anika, Ernst, Rolf, Kuzolap, Alexander, Hecker, Peter, Rockschies, Marius, Halle, Martin, Thielecke, Frank

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  4. 4
    Integrating Multi-/Many-Cores in Avionics: Open Issues and Future Concepts

    Integrating Multi-/Many-Cores in Avionics: Open Issues and Future Concepts by Christmann, Anika, Kostrzewa, Adam, Ernst, Rolf, Rockschies, Marius, Halle, Martin, Thielecke, Frank, Peuker, Alexander, Kuzolap, Alexander, Steen, Meiko, Hecker, Peter, Nessitt, Kai-Frederik, Saidi, Selma

    Request full text
    Conference Proceeding
    Save to List
    Saved in:

Search Tools: