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, ...