Homepage
Sitemap
Kontakt




Universität Bremen Universität Bremen Fachbereich 3 Informatik
Home « Publikationen auf einen Blick
Übersicht der AGRA-Publikationen
  1. Bücher

  2. Buchbeiträge

  3. Zeitschriften

  4. Konferenzen

  5. Workshops



Sehen Sie zur Übersicht die jüngsten 3 Publikationen...
  1. Bücher

    • Advanced Logic Synthesis
      Autor: André Inácio Reis, Rolf Drechsler
    • Formal System Verification State-of the-Art and Future Trends
      Autor: Rolf Drechsler
    • Computer: Wie funktionieren Smartphone, Tablet & Co.?
      Autor: Rolf Drechsler, Andrea Fink, Jannis Stoppe
  2. Buchbeiträge

    • On the Computational Complexity of Error Metrics in Approximate Computing
      Autor: Oliver Keszöcze, Mathias Soeken, Rolf Drechsler
    • On the Application of Formal Fault Localization to Automated RTL-to-TLM Fault Correspondence Analysis for Fast and Accurate VP-Based Error Effect Simulation: A Case Study
      Autor: Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler
    • Logic Synthesis for Majority based In-Memory Computing
      Autor: Saeideh Shirinzadeh, Mathias Soeken, Pierre-Emmanuel Gaillardon, Rolf Drechsler
  3. Zeitschriften

    • An Automated Approach for Generating and Checking Control Logic for Reversible Hardware Description Language-Based Designs
      Autor: Robert Wille, Oliver Keszöcze, Larts Othmer, Michael Kirkedal Thomsen, Rolf Drechsler
    • An Energy-aware Model for the Logic Synthesis of Quantum-Dot Cellular Automata
      Autor: Frank Sill Torres, Robert Wille, Philipp Niemann, Rolf Drechsler
    • Frame Conditions in the Automatic Validation and Verification of UML/OCL Models: A Symbolic Formulation of modifies only Statements
      Autor: Nils Przigoda, Philipp Niemann, Jonas Gomes Filho, Robert Wille, Rolf Drechsler
  4. Konferenzen

    • Reliability Improvements for Multiprocessor Systems by Health-Aware Task Scheduling
      Autor: Robert Schmidt, Rehab Massoud, Jaan Raik, Alberto Garcia-Ortiz, Rolf Drechsler
    • Natural Language based Power Domain Partitioning
      Autor: David Lemma, Daniel Große, Rolf Drechsler
    • Augmenting All Solution SAT Solving for Circuits with Structural Information
      Autor: Abraham Temesgen Tibebu, Görschwin Fey
  5. Workshops

    • Evaluation of Power State Cross Coverage in Firmware-Based Power Management
      Autor: Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler
    • Towards Automated Refinement of TLM Properties to RTL
      Autor: Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler
    • A Codeword-based Compaction Technique for On-Chip Generated Debug Data Using Two-Stage Artificial Neural Networks
      Autor: Sebastian Huhn, Marcel Merten, Stephan Eggersglüß and Rolf Drechsler

Wussten Sie, dass wir einen regelmäßigen Newsletter versenden? Melden Sie sich gerne an, wenn Sie alle Themen rund um die Arbeitsgruppen interessiert. Auch interessant könnte für Sie der @agra_uni_bremen oder @Rolf_Drechsler -Account bei twitter sein!
Wir freuen uns über Ihren Besuch!



















Zum Seitenanfang Zur Homepage
Zur Sitemap
Kontakt