( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
The K*BMD: A Verification Data Structure.

, , и . IEEE Des. Test Comput., 14 (2): 51-59 (1997)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Rolf Drechsler

Rolf Drechsler

Christine Drechsler

Klaus Drechsler

Heidrun Drechsler

 

Другие публикации лиц с тем же именем

An adaptive prioritized ε-preferred evolutionary algorithm for approximate BDD optimization., , , и . GECCO, стр. 1232-1239. ACM, (2017)Technische Informatik - eine Einführung., , и . Pearson Studium Pearson Education, (2005)Synthesis of Reversible Circuits Using Decision Diagrams., и . ISED, стр. 1-5. IEEE, (2012)Approximate hardware generation using symbolic computer algebra employing grobner basis., , и . DATE, стр. 889-892. IEEE, (2018)Approximate Hardware Generation Using Formal Techniques., , и . Approximate Circuits, Springer, (2019)A Hybrid Embedded Multichannel Test Compression Architecture for Low-Pin Count Test Environments in Safety-Critical Systems., , и . ITC-Asia, стр. 115-120. IEEE, (2019)Heuristic Learning based on Genetic Programming, , , и . Genetic Programming, Proceedings of EuroGP'2001, том 2038 из LNCS, стр. 1--10. Lake Como, Italy, Springer-Verlag, (18-20 April 2001)Verifying Instruction Set Simulators using Coverage-guided Fuzzing*., , , и . DATE, стр. 360-365. IEEE, (2019)Detection of Hardware Trojans in SystemC HLS Designs via Coverage-guided Fuzzing., , , и . DATE, стр. 602-605. IEEE, (2019)Scalable One-Pass Synthesis for Digital Microfluidic Biochips., , , , и . IEEE Des. Test, 32 (6): 41-50 (2015)