2 papers
eess.IV2021
Weighted multi-level deep learning analysis and framework for processing breast cancer WSIs
Peter Bokor, Lukas Hudec, Ondrej Fabian +1
Prevention and early diagnosis of breast cancer (BC) is an essential prerequisite for the selection of proper treatment. The substantial pressure due to the increase of demand for…
cs.PL2018
Safe Execution of Concurrent Programs by Enforcement of Scheduling Constraints
Patrick Metzler, Habib Saissi, Péter Bokor +1
Automated software verification of concurrent programs is challenging because of exponentially large state spaces with respect to the number of threads and number of events per thr…