Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

5 Publications


2021 | Dissertation | LibreCat-ID: 26746 | OA
Guaranteeing Properties of Reconfigurable Hardware Circuits with Proof-Carrying Hardware
T. Wiersema, Guaranteeing Properties of Reconfigurable Hardware Circuits with Proof-Carrying Hardware, Paderborn University, Paderborn, 2021.
LibreCat | Download (ext.)
 

2010 | Conference Paper | LibreCat-ID: 37057
Verification of a CAN Bus Model in SystemC with Functional Coverage
G.B. Defo, W. Müller, C. Kuznik, in: Proceedings of SIES 2010, IEEE, Trento, Italy, 2010.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 9576
Development of a biomedical tissue differentiation system using piezoelectric actuators
D.O. Uribe, R. Stroop, T. Hemsel, J. Wallaschek, in: Frequency Control Symposium, 2008 IEEE International, 2008, pp. 91–94.
LibreCat | DOI
 

2007 | Conference Paper | LibreCat-ID: 6508
MOVES: A Modular Framework for Hardware Evolution
P. Kaufmann, M. Platzner, in: Second NASA/ESA Conference on Adaptive Hardware and Systems (AHS 2007), IEEE, 2007, pp. 447–454.
LibreCat | DOI
 

2002 | Conference Paper | LibreCat-ID: 8926
Piezoelectric transformers - state of the art and development trends
T. Hemsel, W. Littmann, J. Wallaschek, in: Ultrasonics Symposium, 2002. Proceedings. 2002 IEEE, 2002, pp. 645–648.
LibreCat | DOI
 

Filters and Search Terms

keyword="Circuits"

Search

Filter Publications

Display / Sort

Export / Embed