Achtung:

Sie haben Javascript deaktiviert!
Sie haben versucht eine Funktion zu nutzen, die nur mit Javascript möglich ist. Um sämtliche Funktionalitäten unserer Internetseite zu nutzen, aktivieren Sie bitte Javascript in Ihrem Browser.

Group picture of the Computer Engineering Group. Show image information

Group picture of the Computer Engineering Group.

|

Best Paper Award at the ARC 2018

Tim Hansmeier, Marco Platzner and David Andrews won the best paper award at the International Symposium on Applied Reconfigurable Computing 2018 for their paper „An FPGA/HMC-Based Accelerator for Resolution Proof Checking“. This paper originated from Tim Hansmeier’s Bachelor thesis project that was carried out as cooperation between Paderborn University and the University of Arkansas at Fayetteville, USA. The paper discusses an FPGA design leveraging cutting-edge Hybrid Memory Cube technology for accelerating a challenging task in the domain of verification. Tim Hansmeier presented this work at ARC 2018 held in Santorini, Greece, May 2-4.

The University for the Information Society