Browsing by Author "Qadeer, Shaz"
Now showing items 1-1 of 1
-
Techniques for runtime monitoring and static verification of concurrent software
Elmas, Tayfun (KOÇ ÜNİVERSİTESİ/Fen Bilimleri Enstitüsü, 2018-08-06)Veri yapılarının ve servislerin koşut-zamanlı gerçekleştirmeleri, veritabanları, Internet sunucuları ve dosya sistemleri gibi geniş kullanım alanına sahip pek çok sistemin omurgasını oluşturmaktadır. Bu yazılımlar, ...