Complete formal verification of the PSTM transaction Scheduler

Autor: Miroslav Popovic, Marko Popovic, Branislav Kordic, Huibiao Zhu

Publikováno v: Computer Science and Information Systems. 20:307-327

State of the art formal verification is based on formal methods and its goal is proving given correctness properties. For example, a PSTM scheduler was modeled in CSP in order to prove deadlock-freeness and starvation-freeness. However, as this paper

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::41c5d839ec006e71b35cf7be614aaf54
https://doi.org/10.2298/csis210908058p

PSTM Transaction Scheduler Verification Based on CSP and Testing

Autor: Huibiao Zhu, Marko Popovic, Branislav Kordic, Miroslav Popovic

Publikováno v: ECBS

Many online transaction scheduler architectures and algorithms for various software transactional memories have been designed in order to maintain good system performance even for high concurrency workloads. Most of these algorithms were directly imp

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ce50a601ccf887b3fc79109a3c889bda
https://doi.org/10.1145/3459960.3459962

Online algorithms for scheduling transactions on python software transactional memory

Autor: Miroslav Popovic, Marko Popovic, Ilija Basicevic, Branislav Kordic

Publikováno v: Serbian Journal of Electrical Engineering, Vol 16, Iss 1, Pp 85-104 (2019)
Serbian Journal of Electrical Engineering (2019) 16(1):85-104

Designing online transaction scheduling algorithms is challenging because one needs to reconcile three opposing requirements: (i) they should be fast, (ii) they should minimize make span and maximize throughput, and (iii) they should produce conflict

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9d3dd2ca3cc33d65aa01188c966ce37f
http://www.doiserbia.nb.rs/img/doi/1451-4869/2019/1451-48691901085P.pdf

A Solution for Measuring Code Coverage during Automated Testing of an Electronic Circuit Unit

Autor: Branislav Kordic, Teodor Malbasic, Marko Kovacevic, Zivko Bojovic

Publikováno v: 2019 27th Telecommunications Forum (TELFOR).

Code coverage provides information about quality of test cases. It provides information on how much code (object of testing) is executed. This paper offers a technical solution for acquiring information about code coverage of code which is running on

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::c9847e68765414622c99464dd355e9aa
https://doi.org/10.1109/telfor48224.2019.8971377

A Protein Structure Prediction Program Architecture Based on a Software Transactional Memory

Autor: Moshe Amitay, Moshe Goldstein, David Dayan, Marko Popovic, Miroslav Popovic, Branislav Kordic

Publikováno v: ECBS

As an alternative for traditional lock-based synchronization mechanisms Software Transactional Memories (STMs) are dominantly evaluated on synthetic benchmarks and simplified applications rather than on real-world applications. So far, only a few not

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::2d9e4b8722db25308767a749268ef0ee
https://doi.org/10.1145/3352700.3352701