Geri Dön

A parallelization approach to Haskell language through category theoretic implementations

Kategori kuramı uygulamaları altında Haskell diline bir paralelizasyon yaklaşımı

  1. Tez No: 329410
  2. Yazar: BURAK EKİCİ
  3. Danışmanlar: DOÇ. DR. AHMET HASAN KOLTUKSUZ
  4. Tez Türü: Yüksek Lisans
  5. Konular: Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol, Computer Engineering and Computer Science and Control
  6. Anahtar Kelimeler: Belirtilmemiş.
  7. Yıl: 2012
  8. Dil: İngilizce
  9. Üniversite: Yaşar Üniversitesi
  10. Enstitü: Fen Bilimleri Enstitüsü
  11. Ana Bilim Dalı: Bilgisayar Mühendisliği Ana Bilim Dalı
  12. Bilim Dalı: Belirtilmemiş.
  13. Sayfa Sayısı: 189

Özet

Kategori teorisi, cebirsel yapıların evrensel bileşenlerini görselleştirmemizi ve bazı farklı yapıların aralarındaki ilişkileri kurmamızı sağlayan güçlü bir kuramsal çerçeve ve soyut cebirsel dildir. Teori son yıllarda, bilgisayar bilimlerinde alt uygulama alanları bulmuş, özellikle fonksiyonelprogramlama dilleri alanında birc¸ok yenili?gin ortaya çıkmasına katkıda bulunmuştur. Bubağlamda; çalışma, kategori teorisinin fonktörleri, doğal transformasyonları ve monadları ile birlikte gelen soyutlama yeteneğiyle; çözümlerine katkıda bulunduğu ya da alternatif bakış açıları getirdiği problemlerin ve bu problemlerin ait oldukları alt alanların, ?fonksiyonel bir programlama dilinin saflığından, yarı-belirgin paralelizasyon uygulamalarına? kadar, incelenmesini hedeflemektedir.

Özet (Çeviri)

Category theory is a powerful abstract algebraic language and a conceptual framework that lets us visualize universal components of structures of given types and how those structures of different types are interrelated. In recent years, category theory has found new application areasin theoretical computer science and has contributed to developments of new logical systems, especially in the area of functional programming languages. In that sense, this study aims to indicate the areas to which category theory brings alternative solution methods by increasing the number of abstraction layers together with the usage of its functors, natural transformations and monads varying from ?purity of a functional programming language? to ?semi-explicit parallelization in functional programming?.

Benzer Tezler

  1. A parallel approach to solving satisfiability problems on graphics processing units using neural networks

    Sinir ağları kullanarak grafik işleme üniteleri üzerinde gerçeklenebilirlik problemleri çözme için paralel bir yaklaşım

    MELİH MERT

    Yüksek Lisans

    İngilizce

    İngilizce

    2016

    Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolBoğaziçi Üniversitesi

    Bilgisayar Mühendisliği Ana Bilim Dalı

    PROF. DR. TAFLAN İMRE GÜNDEM

  2. A new approach to crew pairing problem with parallelization

    Ekip eşleme problemine paralel yöntemle yeni bir yaklaşım

    OSMAN ÖZGÜN ALTUNKAYA

    Yüksek Lisans

    İngilizce

    İngilizce

    2019

    Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrolİstanbul Teknik Üniversitesi

    Uçak ve Uzay Mühendisliği Ana Bilim Dalı

    DR. ÖĞR. ÜYESİ NAZIM KEMAL ÜRE

  3. Ağaç-tohum algoritması için cuda tabanlı bir paralel programlama yaklaşımı

    A cuda-based parallel programming approach to tree-seed algorithm

    AHMET CEVAHİR ÇINAR

    Yüksek Lisans

    Türkçe

    Türkçe

    2016

    Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolSelçuk Üniversitesi

    Bilgisayar Mühendisliği Ana Bilim Dalı

    DOÇ. DR. MUSTAFA SERVET KIRAN

  4. Machine learning methods for opponent modeling in games of imperfect information

    Makine öğrenmesi yöntemleri ile eksik bilgi oyunlarında rakip modelleme

    VOLKAN ŞİRİN

    Yüksek Lisans

    İngilizce

    İngilizce

    2012

    Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolOrta Doğu Teknik Üniversitesi

    Bilgisayar Mühendisliği Ana Bilim Dalı

    PROF. DR. FATOŞ TÜNAY YARMAN VURAL