activity
20092023
most citedDiVinE-CUDA - A Tool for GPU Accelerated LTL Model Checking

11 citations · 25 across the 10 of their papers we have counts for

collaborators
Showing cs.ARShow all

1 paper · 1 filter

cs.AR2022★ 3 cited

Designing Approximate Arithmetic Circuits with Combined Error Constraints

Milan Češka, Jiří Matyáš, Vojtech Mrazek +1

Approximate circuits trading the power consumption for the quality of results play a key role in the development of energy-aware systems. Designing complex approximate circuits is,…