CONTRADICTION ANALYSIS IN SOFTWARE REQUIREMENTS USING A SAT-SOLVER
Lisansüstü Eğitim Enstitüsü, İstanbul Teknik Üniversitesi, 2024
SİMGE YATKIN
|
Konu
Tez ile ilgili açıklama girilmemiştir.
|
Enhancing Rope data structure for collaborative text editing
Lisansüstü Eğitim Enstitüsü, İstanbul Teknik Üniversitesi, 2023
SEMİH SANDAL
|
Konu
Tez ile ilgili açıklama girilmemiştir.
|
Analyzing player engagement in western action role playing games using user reviews and achievements
Lisansüstü Eğitim Enstitüsü, İstanbul Teknik Üniversitesi, 2022
ZİYA VOLKAN HACITAHİROĞULLARI
|
Konu
Tez ile ilgili açıklama girilmemiştir.
|
Veri Madenciliği Yöntemlerini Kullanarak Sosyal Medya Reytingleri İle Geleneksel TV Reytingleri Arasındaki İlişkiyi Bulmak
Lisansüstü Eğitim Enstitüsü, İstanbul Teknik Üniversitesi, 2022
MEHMET ÖZKAR
|
Konu
Tez ile ilgili açıklama girilmemiştir.
|
Kusurlu Durum Makinesi Modellerinin, Model Güdümlü Yöntemlerle Otomatik Onarımı
Lisansüstü Eğitim Enstitüsü, İstanbul Teknik Üniversitesi, 2022
MEHMET AKTAŞ
|
Konu
Tez ile ilgili açıklama girilmemiştir.
|
Path-based predictive caching for state machines
Lisansüstü Eğitim Enstitüsü, İstanbul Teknik Üniversitesi, 2021
JAMES RYAN PERRY AKYUZ
|
Konu
Tez ile ilgili açıklama girilmemiştir.
|
DAĞITILMIŞ DURUM MAKİNELERİ İÇİN YOL TAHMİNİNE DAYALI ÖNBELLEK YÖNETİMİ
Lisansüstü Eğitim Enstitüsü, İstanbul Teknik Üniversitesi, 2021
ONUR GÖKSEL
|
Konu
Tez ile ilgili açıklama girilmemiştir.
|
An enhanced two phase commit protocol for high performance consistency management in replicated state machines
Fen Bilimleri Enstitüsü, İstanbul Teknik Üniversitesi, 2020
HALİT UYANIK
|
Konu
Tez ile ilgili açıklama girilmemiştir.
|
DCfRSM: Fault-Tolerant checkpoint approach for replicated state machines
Fen Bilimleri Enstitüsü, İstanbul Teknik Üniversitesi, 2020
NİYAZİ ÖZDİNÇ ÇELİKEL
|
Konu
Tez ile ilgili açıklama girilmemiştir.
|
Indoor positioning in the presence of an uncertain reference point
Fen Bilimleri Enstitüsü, İstanbul Teknik Üniversitesi, 2019
EMRE TEOMAN
|
Konu
Tez ile ilgili açıklama girilmemiştir.
|
Debugging remote services developed on cloud systems
Fen Bilimleri Enstitüsü, İstanbul Teknik Üniversitesi, 2018
MOHAMMED SUBHI SHEIKH QUROUSH
|
Konu
Tez ile ilgili açıklama girilmemiştir.
|
Tailoring scrum methodology for global software development teams
Fen Bilimleri Enstitüsü, İstanbul Teknik Üniversitesi, 2018
İBRAHİM SEÇKİN
|
Konu
Tez ile ilgili açıklama girilmemiştir.
|
Fault tolerant virtual machine consolidation for energy-efficient cloud systems
Fen Bilimleri Enstitüsü, İstanbul Teknik Üniversitesi, 2018
CİHAN SEÇİNTİ
|
Konu
Tez ile ilgili açıklama girilmemiştir.
|
Java garbage collector selection using object oriented software metrics
Fen Bilimleri Enstitüsü, İstanbul Teknik Üniversitesi, 2017
GENCAY SAZAK
|
Konu
Tez ile ilgili açıklama girilmemiştir.
|
Resource mapping optimization for distributed cloud services
Fen Bilimleri Enstitüsü, İstanbul Teknik Üniversitesi, 2016
ATAKAN ARAL
|
Konu
Tez ile ilgili açıklama girilmemiştir.
|
Generating web service tests during behavior-driven development
Fen Bilimleri Enstitüsü, İstanbul Teknik Üniversitesi, 2016
AHMET FURKAN ORUÇ
|
Konu
Tez ile ilgili açıklama girilmemiştir.
|
Quality of service trades-offs between central data centers and nano data centers
Fen Bilimleri Enstitüsü, İstanbul Teknik Üniversitesi, 2015
FARZANEH AKHBAR
|
Konu
Tez ile ilgili açıklama girilmemiştir.
|
Anklaşman sistemi yazılım modelinin model sınamasının yapılması
Fen Bilimleri Enstitüsü, İstanbul Teknik Üniversitesi, 2015
DAVUT POLAT
|
Konu
Tez ile ilgili açıklama girilmemiştir.
|
An approach to cope with state space explosion problem in model checking embedded TV software
Fen Bilimleri Enstitüsü, İstanbul Teknik Üniversitesi, 2015
FURKAN CÖMERT
|
Konu
Tez ile ilgili açıklama girilmemiştir.
|