Author of the publication

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Tracking hardware evolution., , , , , and . ISQED, page 442-447. IEEE, (2011)Enabling Binary Neural Network Training on the Edge., , , , , , , , and . ACM Trans. Embed. Comput. Syst., 22 (6): 105:1-105:19 (November 2023)Semi-automatic generation of monitoring applications for wireless networks., , , , and . ETFA (1), page 506-511. IEEE, (2003)Selection of formal verification heuristics for parallel execution., , , , , and . Int. J. Softw. Tools Technol. Transf., 14 (1): 95-108 (2012)Beyond verification: leveraging formal for debugging., , and . DAC, page 648-651. ACM, (2009)Enabling Binary Neural Network Training on the Edge., , , , , , , , and . EMDL@MobiSys, page 37-38. ACM, (2021)Implementation of an Edge Detection Algorithm in a Reconfigurable Computing System., , and . SBCCI, page 38-41. IEEE Computer Society, (1998)Decision heuristic for Davis Putnam, Loveland and Logemann algorithm satisfiability solving based on cube subtraction., , and . IET Comput. Digit. Tech., 2 (1): 30-39 (2008)TCAD EIC Message: February 2019., , , , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 38 (2): 197-198 (2019)Enabling Binary Neural Network Training on the Edge., , , , , , , and . CoRR, (2021)