( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Verification of Source Code Transformations by Program Equivalence Checking.

, , , и . CC, том 3443 из Lecture Notes in Computer Science, стр. 221-236. Springer, (2005)

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.

No persons found for author name Catthoor, Francky
add a person with the name Catthoor, Francky
 

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

Mapping Spiking Neural Networks to Neuromorphic Hardware., , , , , , , , , и . CoRR, (2019)A tool flow for predicting system level timing failures due to interconnect reliability degradation., , , , , и . ACM Great Lakes Symposium on VLSI, стр. 291-296. ACM, (2008)Functional Equivalence Checking for Verification of Algebraic Transformations on Array-Intensive Source Code, , , и . CoRR, (2007)Spatial locality exploitation for runtime reordering of JPEG2000 wavelet data layouts., , , , , , и . ACM Trans. Design Autom. Electr. Syst., 15 (1): 8:1-8:6 (2009)Control flow optimization for fast system simulation and storage minimization., , , , и . EDAC-ETC-EUROASIC, стр. 20-24. IEEE Computer Society, (1994)Systematic architecture exploration based on optimistic cycle estimation for low energy embedded processors., , , , , , и . ASP-DAC, стр. 449-454. IEEE, (2009)Towards high-performance polarity-controllable FETs with 2D materials., , , , , , , , и . DATE, стр. 637-641. IEEE, (2018)Degradation analysis of high performance 14nm FinFET SRAM., , , , , , и . DATE, стр. 201-206. IEEE, (2018)Finite precision processing in wireless applications., , , , и . DATE, стр. 1230-1233. IEEE, (2009)Analysis of scratch-pad and data-cache performance using statistical methods., и . ASP-DAC, стр. 820-825. IEEE, (2006)