A parallelization approach to Haskell language through category theoretic implementations
Kategori kuramı uygulamaları altında Haskell diline bir paralelizasyon yaklaşımı
- Tez No: 329410
- Danışmanlar: DOÇ. DR. AHMET HASAN KOLTUKSUZ
- Tez Türü: Yüksek Lisans
- Konular: Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol, Computer Engineering and Computer Science and Control
- Anahtar Kelimeler: Kategori, Paralel hesaplama, Category, Parallel computing
- Yıl: 2012
- Dil: İngilizce
- Üniversite: Yaşar Üniversitesi
- Enstitü: Fen Bilimleri Enstitüsü
- Ana Bilim Dalı: Bilgisayar Mühendisliği Ana Bilim Dalı
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: Belirtilmemiş.
Ö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
- 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
2019
Endüstri ve Endüstri Mühendisliğiİstanbul Teknik ÜniversitesiUçak ve Uzay Mühendisliği Ana Bilim Dalı
DR. ÖĞR. ÜYESİ NAZIM KEMAL ÜRE
- 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
2016
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolBoğaziçi ÜniversitesiBilgisayar Mühendisliği Ana Bilim Dalı
PROF. DR. TAFLAN İMRE GÜNDEM
- A novel real-time full parameters estimator and multi-purpose MPC for pmasynrms: A sparsity and parallelization based approach
Pmasynrmler için yenilikçi gerçek zamanlı tüm parametre kestirimcisi ve çok amaçlı bir MPC: Seyrek ve koşut zamanlı bir yaklaşım
ALPER TAP
Doktora
İngilizce
2025
Elektrik ve Elektronik Mühendisliğiİstanbul Teknik ÜniversitesiElektrik Mühendisliği Ana Bilim Dalı
PROF. DR. LALE ERGENE
- Enhancing breast cancer detection with a hybrid machine learning approach
Hı̇brı̇t makı̇ne öğrenme yaklaşımı ı̇le göğüs kanserı̇ tespı̇tı̇nı̇n gelı̇ştı̇rı̇lmesı̇
MUSTAFA ETCİL
Yüksek Lisans
Türkçe
2024
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolAbdullah Gül ÜniversitesiElektrik ve Bilgisayar Mühendisliği Ana Bilim Dalı
DOÇ. DR. BURCU GÜNGÖR
PROF. DR. V. CAGRİ GÜNGÖR
- Design and optimization of a general algorithm to calculate possible states of final tables of sport competitions
Spor yarışmalarının nihai tablo durumlarının hesaplanması için genel bir algoritmanın tasarımı ve optimizasyonu
MOUSLEM DAMKHI
Doktora
İngilizce
2021
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolKaradeniz Teknik ÜniversitesiBilgisayar Mühendisliği Ana Bilim Dalı
DOÇ. DR. HÜSEYİN PEHLİVAN