Zobrazeno 1 - 10
of 54
pro vyhledávání: '"Ozkan, Burcu"'
We present a coverage-guided testing algorithm for distributed systems implementations. Our main innovation is the use of an abstract formal model of the system that is used to define coverage. Such abstract models are frequently developed in early p
Externí odkaz:
http://arxiv.org/abs/2410.02307
Byzantine consensus protocols aim at maintaining safety guarantees under any network synchrony model and at providing liveness in partially or fully synchronous networks. However, several Byzantine consensus protocols have been shown to violate liven
Externí odkaz:
http://arxiv.org/abs/2310.09006
Autor:
Ozkan, Burcu, Cavdar, Ikbal
Publikováno v:
In Pain Management Nursing December 2021 22(6):775-782
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Ozkan, Burcu1 (AUTHOR), Altuntas, Ebru2 (AUTHOR), Cakir Koc, Rabia3 (AUTHOR), Budama-Kilinc, Yasemin3 (AUTHOR) budama@yildiz.edu.tr
Publikováno v:
Drug Development & Industrial Pharmacy. Mar2022, Vol. 48 Issue 3, p117-127. 11p.
Autor:
Gao, Mingyu, Chakraborty, S.S., Kulahcioglu Ozkan, Burcu, Aamodt, Tor M., Jerger, Natalie Enright, Swift, Michael
Publikováno v:
ASPLOS 2023-Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems
The Probabilistic Concurrency Testing (PCT) algorithm that provides theoretical guarantees on the probability of detecting concurrency bugs does not apply to weak memory programs. The PCT algorithm builds on the interleaving semantics of sequential c
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::04ddff640478e52a6f1fb14522cba3c5
http://resolver.tudelft.nl/uuid:361563b6-2b26-40e8-9d4c-ffe7a763b610
http://resolver.tudelft.nl/uuid:361563b6-2b26-40e8-9d4c-ffe7a763b610
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.