Rolf Drechsler
www.informatik.uni-bremen.de
0000-0002-9872-1740
591 papers found
Refreshing results…
The complexity of error metrics
Exploration of the Synchronization Constraint in Quantum-dot Cellular Automata
On the complexity of design tasks for Digital Microfluidic Biochips
Towards Reversed Approximate Hardware Design
Evaluating the Impact of Interconnections in Quantum-Dot Cellular Automata
Towards Dynamic Execution Environment for System Security Protection Against Hardware Flaws
Combining Symbolic Computer Algebra and Boolean Satisfiability for Automatic Debugging and Fixing of Complex Multipliers
A Novel Approach for Nearest Neighbor Realization of 2D Quantum Circuits
Logic Synthesis for RRAM-Based In-Memory Computing
Logic Synthesis for In-memory Computing Using Resistive Memories
Reliability Improvements for Multiprocessor Systems by Health-Aware Task Scheduling
Logic Design Using Memristors: An Emerging Technology
Synthesis of Reversible Circuits Using Conventional Hardware Description Languages
Natural Language Based Power Domain Partitioning
Constraint-Based Pattern Retargeting for Reducing Localized Power Activity During Testing
Testbench qualification for SystemC-AMS timed data flow models
Towards fully automated TLM-to-RTL property refinement
Approximate hardware generation using symbolic computer algebra employing grobner basis
An exact method for design exploration of quantum-dot cellular automata
Resilience evaluation via symbolic fault injection on intermediate code
Missing publications? Search for publications with a matching author name.