Yıla göre Araştırma Çıktıları
Yıla göre Araştırma Çıktıları
Yürütülen Tezler
- 18 sonuç
Arama sonuçları
-
An approach to cope with state space explosion problem in model checking embedded TV software
CÖMERT, F. (Yazar), Ovatman, T. (Danışman), 2015Öğrenci tezi: Yüksek Lisans Tezi
-
Quality of service trades-offs between central data centers and nano data centers
AKHBAR, F. (Yazar), Ovatman, T. (Danışman), 2015Öğrenci tezi: Yüksek Lisans Tezi
-
Anklaşman sistemi yazılım modelinin model sınamasının yapılması
POLAT, D. (Yazar), Ovatman, T. (Danışman), 2015Öğrenci tezi: Yüksek Lisans Tezi
-
Resource mapping optimization for distributed cloud services
ARAL, A. (Yazar), Ovatman, T. (Danışman), 2016Öğrenci tezi: Doktora Tezi
-
Generating web service tests during behavior-driven development
ORUÇ, A. F. (Yazar), Ovatman, T. (Danışman), 2016Öğrenci tezi: Yüksek Lisans Tezi
-
Java garbage collector selection using object oriented software metrics
SAZAK, G. (Yazar), Ovatman, T. (Danışman), 2017Öğrenci tezi: Yüksek Lisans Tezi
-
Tailoring scrum methodology for global software development teams
SEÇKİN, İ. (Yazar), Ovatman, T. (Danışman), 2018Öğrenci tezi: Yüksek Lisans Tezi
-
Debugging remote services developed on cloud systems
QUROUSH, M. S. S. (Yazar), Ovatman, T. (Danışman), 2018Öğrenci tezi: Yüksek Lisans Tezi
-
Fault tolerant virtual machine consolidation for energy-efficient cloud systems
SEÇİNTİ, C. (Yazar), Ovatman, T. (Danışman), 2018Öğrenci tezi: Yüksek Lisans Tezi
-
Indoor positioning in the presence of an uncertain reference point
TEOMAN, E. (Yazar), Ovatman, T. (Danışman), 2019Öğrenci tezi: Yüksek Lisans Tezi
-
An enhanced two phase commit protocol for high performance consistency management in replicated state machines
UYANIK, H. (Yazar), Ovatman, T. (Danışman), 2020Öğrenci tezi: Yüksek Lisans Tezi
-
An enhanced two phase commit protocol for high performance consistency management in replicated state machines Çoğaltılmış durum makinelerinde yüksek performanslı tutarlılık yönetimi için geliştirilmi
UYANIK, H. (Yazar), Ovatman, T. (Danışman), 2020Öğrenci tezi: Yüksek Lisans Tezi
-
DCfRSM: Fault-Tolerant checkpoint approach for replicated state machines
ÇELİKEL, N. Ö. (Yazar), Ovatman, T. (Danışman), 2020Öğrenci tezi: Yüksek Lisans Tezi
-
DCfRSM: Fault-Tolerant checkpoint approach for replicated state machines DCfRSM: Eslenmis Durum Makinalarında hata kabul edebilirligi yüksek kontrol noktası tutma yaklaşımı
ÇELİKEL, N. Ö. (Yazar), Ovatman, T. (Danışman), 2020Öğrenci tezi: Yüksek Lisans Tezi
-
DAĞITILMIŞ DURUM MAKİNELERİ İÇİN YOL TAHMİNİNE DAYALI ÖNBELLEK YÖNETİMİ
GÖKSEL, O. (Yazar), Ovatman, T. (Danışman), 2021Öğrenci tezi: Yüksek Lisans Tezi
-
Path-based predictive caching for state machines Durum makı̇nelerı̇ ı̇çı̇n yol öngörülü önbellekleme
AKYUZ, J. R. P. (Yazar), Ovatman, T. (Danışman), 2021Öğrenci tezi: Yüksek Lisans Tezi
-
Path-based predictive caching for state machines
AKYUZ, J. R. P. (Yazar), Ovatman, T. (Danışman), 2021Öğrenci tezi: Yüksek Lisans Tezi
-
Kusurlu Durum Makinesi Modellerinin, Model Güdümlü Yöntemlerle Otomatik Onarımı
AKTAŞ, M. (Yazar), Ovatman, T. (Danışman), 2022Öğrenci tezi: Yüksek Lisans Tezi