Homepage
Sitemap
Kontakt




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

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




» Property-driven Timestamps Encoding for Timeprints-based Tracing and Monitoring




Autor:

Rehab Massoud, Hoang M. Le, Rolf Drechsler
Konferenz:
17th International Conference on Formal Modeling and Analysis of Timed Systems, (FORMATS)
Referenz:

Amsterdam, Netherlands, 27-29 August, 2019
Hyperlink:

[Link zur Konferenz]



» Systematic RISC-V based Firmware Design




Autor:

Vladimir Herdt, Daniel Große, Rolf Drechsler, Christoph Gerum, Alexander Jung, Joscha-Joel Benz, Oliver Bringmann, Michael Schwarz, Dominik Stoffel, Wolfgang Kunz
Konferenz:
Forum on specification & Design Languages (FDL)
Referenz:

Southampton, United Kingdom, 2019
Hyperlink:

[Link zur Konferenz]



» Functional Coverage-Driven Characterization of RF Amplifiers




Autor:

Muhammad Hassan, Daniel Große, Thilo Vörtler, Karsten Einwich and Rolf Drechsler
Konferenz:
Forum on specification & Design Languages (FDL)
Referenz:

Southampton, United Kingdom, 2019
Hyperlink:

[Link zur Konferenz]



» One Additional Qubit is Enough: Encoded Embeddings for Boolean Components in Quantum Circuits




Autor:

Alwin Zulehner, Philipp Niemann, Rolf Drechsler, Robert Wille
Konferenz:
49th IEEE International Symposium on Multiple-Valued Logic (ISMVL)
Referenz:

Fredericton, NB, Canada, 2019
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» T-Depth Optimization for Fault-Tolerant Quantum Circuits




Autor:

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

Fredericton, NB, Canada, 2019
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» ComPRIMe: A Compiler for Parallel and Scalable ReRAM-based In-Memory Computing




Autor:

Steffen Frerix, Saiedeh Shirinzadeh, Saman Fröhlich, Rolf Drechsler
Konferenz:
International Symposium on Nanoscale Architectures (NanoArch 2019)
Referenz:

Qingdao, China, 2019
PDF:

[hier ansehen]



» Scalable Simulation-based Verification of SystemC-based Virtual Prototypes




Autor:

Mehran Goli, Rolf Drechsler
Konferenz:
EUROMICRO Digital System Design Conference (DSD)
Referenz:

Kallithea - Chalkidiki, Greece, 2019
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» Towards Formal Verification of Plans for Cognition-enabled Autonomous Robotic Agents




Autor:

Tim Meywerk, Marcel Walter, Vladimir Herdt, Daniel Große, Rolf Drechsler
Konferenz:
EUROMICRO Digital System Design Conference (DSD)
Referenz:

Kallithea - Chalkidiki, Greece, 2019
Hyperlink:

[Link zur Konferenz]



» SAT-Hard: A Learning-based Hardware SAT-Solver




Autor:

Buse Ustaoglu, Sebastian Huhn, Frank Sill Torres, Daniel Große and Rolf Drechsler
Konferenz:
EUROMICRO Digital System Design Conference (DSD)
Referenz:

Kallithea - Chalkidiki, Greece, 2019
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» A Hybrid Embedded Multichannel Test Compression Architecture for Low-Pin Count Test Environments in Safety-Critical Systems




Autor:

Sebastian Huhn, Daniel Tille, Rolf Drechsler
Konferenz:
International Test Conference in Asia (ITC-Asia)
Referenz:

Tokyo, Japan, 2019
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» Ignore Clocking Constraints: An Alternative Physical Design Methodology for Field-coupled Nanotechnologies




Autor:

Robert Wille, Marcel Walter, Frank Sill Torres, Daniel Große, Rolf Drechsler
Konferenz:
IEEE Computer Society Annual Symposium on VLSI (ISVLSI)
Referenz:

Miami, Florida, USA, 2019
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» Logic Synthesis for Hybrid CMOS-ReRAM Sequential Circuits




Autor:

Saman Fröhlich, Saeideh Shirinzadeh, Rolf Drechsler
Konferenz:
IEEE Computer Society Annual Symposium on VLSI (ISVLSI)
Referenz:

Miami, Florida, USA, 2019
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» Smart Homes Programming: Development and Evaluation of an Educational Programming Application for Young Learners




Autor:

Mazyar Seraj, Cornelia Große, Serge Autexier, Rolf Drechsler
Konferenz:
2019 ACM Interaction Design and Children (IDC) conference
Referenz:

Boise, Idaho, USA, 2019
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» Improved Look-ahead Approaches for Nearest Neighbor Synthesis of 1D Quantum Circuits




Autor:

Anirban Bhattacharjee, Chandan Bandyopadhyay, Robert Wille, Rolf Drechsler and Hafizur Rahaman
Konferenz:
International Conference on VLSI Design (VLSI Design)
Referenz:

Florida, USA, 2019
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» Automated Analysis of Virtual Prototypes at Electronic System Level




Autor:

Mehran Goli, Muhammad Hassan, Daniel Große, Rolf Drechsler
Konferenz:
29th ACM Great Lakes Symposium on VLSI (GLSVLSI)
Referenz:

Washington, D.C., USA, 2019
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» Hybrid Architecture for Embedded Test Compression to Process Rejected Test Patterns




Autor:

Sebastian Huhn, Daniel Tille, Rolf Drechsler
Konferenz:
IEEE European Test Symposium (ETS)
Referenz:

Baden Baden, Germany, 2019
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» Machine Learning-based Prediction of Test Power




Autor:

Harshad Dhotre, Stephan Eggersglüß, Krishnendu Chakrabarty, Rolf Drechsler
Konferenz:
IEEE European Test Symposium (ETS)
Referenz:

Baden Baden, Germany, 2019
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» Early Concolic Testing of Embedded Binaries with Virtual Prototypes: A RISC-V Case Study




Autor:

Vladimir Herdt, Daniel Große, Hoang M. Le, Rolf Drechsler
Konferenz:
Design Automation Conference (DAC)
Referenz:

Las Vegas, USA, 2019
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» RevSCA: Using Reverse Engineering to Bring Light into Backward Rewriting for Big and Dirty Multipliers




Autor:

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

Las Vegas, USA, 2019
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» Temporal Tracing of On-Chip Signals using Timeprints




Autor:

Rehab Massoud, Hoang M. Le, Peter Chini, Prakash Saivasan, Roland Meyer and Rolf Drechsler
Konferenz:
Design Automation Conference (DAC)
Referenz:

Las Vegas, USA, 2019
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]




ältere Einträge im Archiv






English









Zum Seitenanfang Zur Homepage
Zur Sitemap
Kontakt