Zum Inhalt springen

  1. Richter, Dirk [VerfasserIn] ; Zimmermann, Wolf [AkademischeR BetreuerIn]; Knoop, Jens [AkademischeR BetreuerIn]

    Programmanalysen zur Verbesserung der Softwaremodellprüfung

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Halle, Saale: Universitäts- und Landesbibliothek Sachsen-Anhalt, 2012

  2. Tetzlaff, Dirk [VerfasserIn] ; Glesner, Sabine [AkademischeR BetreuerIn]; Marwedel, Peter [AkademischeR BetreuerIn]; Knoop, Jens [AkademischeR BetreuerIn]

    A framework for machine learning based mapping of concurrent applications to parallel architectures

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin: Technische Universität Berlin, 2014

  3. Prantl, Adrian [VerfasserIn]; Schordan, Markus [VerfasserIn]; Knoop, Jens [VerfasserIn] ; Adrian Prantl and Markus Schordan and Jens Knoop [MitwirkendeR]

    TuBound - A Conceptually New Tool for Worst-Case Execution Time Analysis

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2008

  10. Knoop, Jens [HerausgeberIn]; Karl, Wolfgang [HerausgeberIn]; Schulz, Martin [HerausgeberIn]; Inoue, Kōji [Sonstige Person, Familie und Körperschaft]; Pionteck, Thilo [HerausgeberIn]

    Architecture of Computing Systems - ARCS 2017 : 30th International Conference, Vienna, Austria, April 3–6, 2017, Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cham: Springer, 2017

    Erschienen in: Lecture notes in computer science ; 10172

  11. Biere, Armin [VerfasserIn]; Knoop, Jens [VerfasserIn]; Kovács, Laura [VerfasserIn]; Zwirchmayr, Jakob [VerfasserIn] ; Armin Biere and Jens Knoop and Laura Kovács and Jakob Zwirchmayr [MitwirkendeR]

    The Auspicious Couple: Symbolic Execution and WCET Analysis

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2013

  12. Prantl, Adrian [VerfasserIn]; Knoop, Jens [VerfasserIn]; Kirner, Raimund [VerfasserIn]; Kadlec, Albrecht [VerfasserIn]; Schordan, Markus [VerfasserIn] ; Adrian Prantl and Jens Knoop and Raimund Kirner and Albrecht Kadlec and Markus Schordan [MitwirkendeR]

    From Trusted Annotations to Verified Knowledge

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2009

  13. Kirner, Raimund [VerfasserIn]; Kadlec, Albrecht [VerfasserIn]; Prantl, Adrian [VerfasserIn]; Schordan, Markus [VerfasserIn]; Knoop, Jens [VerfasserIn] ; Raimund Kirner and Albrecht Kadlec and Adrian Prantl and Markus Schordan and Jens Knoop [MitwirkendeR]

    Towards a Common WCET Annotation Language: Essential Ingredients

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2008

  14. Kirner, Raimund [VerfasserIn]; Knoop, Jens [VerfasserIn]; Prantl, Adrian [VerfasserIn]; Schordan, Markus [VerfasserIn]; Wenzel, Ingomar [VerfasserIn] ; Raimund Kirner and Jens Knoop and Adrian Prantl and Markus Schordan and Ingomar Wenzel [MitwirkendeR]

    WCET Analysis: The Annotation Language Challenge

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2007

  15. Altman, Erik [VerfasserIn]; Dehnert, James [VerfasserIn]; Kessler, Christoph W. [VerfasserIn]; Knoop, Jens [VerfasserIn] ; Erik Altman and James Dehnert and Christoph W. Kessler and Jens Knoop [MitwirkendeR]

    05101 Abstracts Collection – Scheduling for Parallel Architectures: Theory, Applications, Challenges

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2005

  16. Altman, Erik [VerfasserIn]; Dehnert, James [VerfasserIn]; Kessler, Christoph W. [VerfasserIn]; Knoop, Jens [VerfasserIn] ; Erik Altman and James Dehnert and Christoph W. Kessler and Jens Knoop [MitwirkendeR]

    05101 Executive Summary – Scheduling for Parallel Architectures: Theory, Applications, Challenges

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2005

  17. Knoop, Jens [VerfasserIn]; Lee, Jaejin [VerfasserIn]; Midkiff, Samuel P. [VerfasserIn]; Padua, David [VerfasserIn] ; Jens Knoop and Jaejin Lee and Samuel P. Midkiff and David Padua [MitwirkendeR]

    Hardware and Software Consistency Models: Programmability and Performance (Dagstuhl Seminar 03431)

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2003

  18. Dulong, Carole [VerfasserIn]; Gupta, Rajiv [VerfasserIn]; Kennedy, Robert [VerfasserIn]; Knoop, Jens [VerfasserIn]; Pierce, Jim [VerfasserIn] ; Carole Dulong and Rajiv Gupta and Robert Kennedy and Jens Knoop and Jim Pierce [MitwirkendeR]

    Code Optimisation: Trends, Challenges and Perspectives (Dagstuhl Seminar 00381)

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2001

  19. Grimm, Daniel [VerfasserIn]; Doll, Jens [VerfasserIn]; Ochs, Sven [VerfasserIn]; Schamm, Thomas [VerfasserIn]; Knoop, Steffen [VerfasserIn]; Haberny, Olga [VerfasserIn]; Koch, Artur [VerfasserIn]; Nienhüser, Dennis [VerfasserIn]; Schütz, Markus [VerfasserIn]; Schreiber, Miriam [VerfasserIn]; Lüttgens, Luis [VerfasserIn]; Penning, Nils [VerfasserIn]; Kammerer, Jakob [VerfasserIn]; Angol, Victor [VerfasserIn]; Seidel, Sabine [VerfasserIn]; Fratzke, Dirk [VerfasserIn] ; Kuhnt, Florian [MitwirkendeR] FZI Forschungszentrum Informatik, Robert Bosch GmbH, ioki GmbH, Verkehrsbetriebe Karlsruhe, TÜV SÜD Auto Service GmbH

    Elektrische, vernetzte und autonom fahrende Elektro-Mini-Busse im ÖPNV - EVA-Shuttle-Busse : Schlussbericht : Laufzeit des Vorhabens: 01.10.2018-30.06.2021, Berichtszeitraum: 01.10.2018-30.06.2021

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    [Karlsruhe]: [FZI Forschungszentrum Informatik], [2021?]

  20. Holsti, Niklas [VerfasserIn]; Gustafsson, Jan [VerfasserIn]; Bernat, Guillem [VerfasserIn]; Ballabriga, Clément [VerfasserIn]; Bonenfant, Armelle [VerfasserIn]; Bourgade, Roman [VerfasserIn]; Cassé, Hugues [VerfasserIn]; Cordes, Daniel [VerfasserIn]; Kadlec, Albrecht [VerfasserIn]; Kirner, Raimund [VerfasserIn]; Knoop, Jens [VerfasserIn]; Lokuciejewski, Paul [VerfasserIn]; Merriam, Nicholas [VerfasserIn]; de Michiel, Marianne [VerfasserIn]; Prantl, Adrian [VerfasserIn]; Rieder, Bernhard [VerfasserIn]; Rochange, Christine [VerfasserIn]; Sainrat, Pascal [VerfasserIn]; Schordan, Markus [VerfasserIn] ; Niklas Holsti and Jan Gustafsson and Guillem Bernat and Clément Ballabriga and Armelle Bonenfant and Roman Bourgade and Hugues Cassé and Daniel Cordes and Albrecht Kadlec and Raimund Kirner and Jens Knoop and Paul Lokuciejewski and Nicholas Merriam and Marianne de Michiel and Adrian Prantl and Bernhard Rieder and Christine Rochange and Pascal Sainrat and Markus Schordan [MitwirkendeR]

    WCET 2008 -- Report from the Tool Challenge 2008 -- 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2008