Homepage
Sitemap
Kontakt




Universität Bremen Universität Bremen Fachbereich 3 Informatik
Home « Publikationen « Konferenzen

Sortieren nach: [ Titel ] [ Autor ] [ Konferenz ] [ Referenz ]
Suche nach:




» Using density of training data to improve evolutionary algorithms with approximative fitness functions




Autor:

Christina Plump, Bernhard J. Berger, Rolf Drechsler
Konferenz:
Congress of Evolutionary Computation (CEC)
Referenz:

Padua, Italien, 2022
Hyperlink:

[Link zur Konferenz]



» Advanced Environment Modeling and Interaction in an Open Source RISC-V Virtual Prototype




Autor:

Pascal Pieper, Vladimir Herdt, Rolf Drechsler
Konferenz:
Great Lakes Symposium on VLSI (GLSVLSI)
Referenz:

Irvine, CA, USA, 2022
Hyperlink:

[Link zur Konferenz]



» Efficient Cross-Level Processor Verification using Coverage-guided Fuzzing




Autor:

Niklas Bruns, Vladimir Herdt, Daniel Große, Rolf Drechsler
Konferenz:
Great Lakes Symposium on VLSI (GLSVLSI)
Referenz:

Irvine, CA, USA, 2022
Hyperlink:

[Link zur Konferenz]



» Adapting mutation and recombination operators to range-aware relations in real-world application data




Autor:

Christina Plump, Bernhard J. Berger, Rolf Drechsler
Konferenz:
The Genetic and Evolutionary Computation Conference (GECCO Companion)
Referenz:

Boston, USA, 2022
Hyperlink:

[Link zur Konferenz]



» Nearest Neighbor Mapping of Quantum Circuits to Two-Dimensional Hexagonal Qubit Architecture




Autor:

Kamalika Datta, Abhoy Kole, Indranil Sengupta, Rolf Drechsler
Konferenz:
IEEE International Symposium on Multiple-Valued Logic (ISMVL)
Referenz:

Virtual Conference, Dallas, 2022
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» Polynomial-Time Formal Verification of Adder Circuits for Multiple-Valued Logic




Autor:

Philipp Niemann, Rolf Drechsler
Konferenz:
IEEE International Symposium on Multiple-Valued Logic (ISMVL)
Referenz:

Dallas, USA, 2022
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» Formal Verification of Modular Multipliers using Symbolic Computer Algebra and Boolean Satisfiability




Autor:

Alireza Mahzoon, Daniel Große, Christoph Scholl, Alexander Konrad, Rolf Drechsler
Konferenz:
Design Automation Conference (DAC)
Referenz:

San Francisco, USA, 2022
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» Verifying SystemC TLM Peripherals using Modern C++ Symbolic Execution Tools




Autor:

Pascal Pieper, Vladimir Herdt, Daniel Große, Rolf Drechsler
Konferenz:
Design Automation Conference (DAC)
Referenz:

San Francisco, USA, 2022
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» Equivalence Checking of System-Level and SPICE-Level Models of Linear Analog Filters




Autor:

Kemal Çağlar Coşkun, Muhammad Hassan, Rolf Drechsler
Konferenz:
25th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS)
Referenz:

Prague, Czech Republic, 2022
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» Early Performance Estimation of Embedded Software on RISC-V Processor using Linear Regression




Autor:

Weiyan Zhang, Mehran Goli, Rolf Drechsler
Konferenz:
25th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS)
Referenz:

Prague, Czech Republic, 2022
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» Towards Polynomial Formal Verification of Complex Arithmetic Circuits




Autor:

Rolf Drechsler, Alireza Mahzoon, Mehran Goli
Konferenz:
25th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS)
Referenz:

Prague, Czech Republic, 2022
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» Virtual Prototype driven Design, Implementation and Evaluation of RISC-V Instruction Set Extensions




Autor:

Milan Funck, Vladimir Herdt, Rolf Drechsler
Konferenz:
25th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS)
Referenz:

Prague, Czech Republic, 2022
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» ML-based Power Estimation of Convolutional Neural Networks on GPGPUs




Autor:

Christopher Metz, Mehran Goli, Rolf Drechsler
Konferenz:
25th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS)
Referenz:

Prague, Czech Republic, 2022
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» Quality Assessment of RFET-based Logic Locking Protection Mechanisms using Formal Methods




Autor:

Marcel Merten, Sebastian Huhn, Rolf Drechsler
Konferenz:
IEEE European Test Symposium (ETS)
Referenz:

Barcelona, Spain, 2022
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» Choosing the right technique for the right restriction - a domain-specific approach for enforcing search-space restrictions in evolutionary algorithms




Autor:

Christina Plump, Bernhard Berger, Rolf Drechsler
Konferenz:
LDIC-2022
Referenz:

Bremen, Germany
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» A Hardware-based Evolutionary Algorithm with Multi-Objective Optimization Operators for On-Chip Transient Fault Detection




Autor:

Marcel Merten, Sebastian Huhn, Rolf Drechsler
Konferenz:
40th IEEE VLSI Test Symposium (VTS)
Referenz:

San Diego, USA, 2022
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» The Scale4Edge RISC-V Ecosystem




Autor:

Wolfgang Ecker, Milos Krstic, Andreas Mauderer, Eyck Jentzsch, Mihaela Damian, Julian Oppermann, Andreas Koch, Peer Adelt, Wolfgang Müller, Vladimir Herdt, Rolf Drechsler, Rafael Stahl, Karsten Emrich, Daniel Müller-Gritschneder, Jan Schlamelcher, Kim Grüttner, Jörg Bormann, Wolfgang Kunz, Reinhold Heckmann, Gerhard Angst, Ralf Wimmer, Bernd Becker, Philipp Scholl, Paul Palomero Bernardo, Oliver Bringmann, Johannes Partzsch, Christian Mayr
Konferenz:
Design, Automation and Test in Europe Conference (DATE)
Referenz:

Antwerp, Belgium, 2022
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» Cross-Level Processor Verification via Endless Randomized Instruction Stream Generation with Coverage-guided Aging




Autor:

Niklas Bruns, Vladimir Herdt, Eyck Jentzsch, Rolf Drechsler
Konferenz:
Design, Automation and Test in Europe Conference (DATE)
Referenz:

Antwerp, Belgium, 2022
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» LiM-HDL: HDL-Based Synthesis for In-Memory Computing




Autor:

Saman Fröhlich, Rolf Drechsler
Konferenz:
Design, Automation and Test in Europe Conference (DATE)
Referenz:

Antwerp, Belgium, 2022
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» Polynomial Formal Verification of Arithmetic Circuits




Autor:

Rolf Drechsler, Alireza Mahzoon, Lennart Weingarten
Konferenz:
International Conference on Computational Intelligence and Data Engineering (ICCIDE)
Referenz:

Vijayawada, India, 2021
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]




ältere Einträge im Archiv






English









Zum Seitenanfang Zur Homepage
Zur Sitemap
Kontakt