The goal of the ECXL project is to develop a design and verification platform for RISC-V based systems. The verification platform will allow models on …
The goal of the project is to adapt the results of the projects "KI-Suche" to the B2C area. In doing so, search queries from mobile devices to diverse …
The project MANIAC aims to optimise algorithms for approximate computing on the basis of binary decision diagrams. Approximate computing (AC) exploits …