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

    • Building Fast Multi-Agent Systems using Hardware Design Languages for High-Throughput Systems
      Autor: Jannis Stoppe, Christina Plump, Sebastian Huhn, Rolf Drechsler
    • Verifying Next Generation Electronic Systems
      Autor: Rolf Drechsler, Daniel Große
    • Towards Lightweight Satisfiability Solvers for Self-Verification
      Autor: Fritjof Bornebusch, Robert Wille, Rolf Drechsler
  5. Workshops

    • A Lightweight Method for Transient Test Power Pattern Analysis for Pattern Selection
      Autor: Harshad Dhotre, Stephan Eggersglüß
    • 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
    • Time-stamps for Hardware Simulation Models Accurate Time-back Annotation
      Autor: Rehab Massoud, Jannis Stoppe, Karthik Maddikunta, 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