A Dataflow graph execution model for prolog
Başlık çevirisi mevcut değil.
- Tez No: 7315
- Danışmanlar: IŞIK AYBAY
- Tez Türü: Yüksek Lisans
- Konular: Elektrik ve Elektronik Mühendisliği, Electrical and Electronics Engineering
- Anahtar Kelimeler: Prolog, veri akış mimarisi, paralel Prolog, Veri akış diagramları, Prolog, dataflow architecture, parallel Prolog Scientific Classification Code: 6^3.03. 0Z m, Parallel prolog, Data flow diagrams
- Yıl: 1989
- Dil: İngilizce
- Üniversite: Orta Doğu Teknik Üniversitesi
- Enstitü: Fen Bilimleri Enstitüsü
- Ana Bilim Dalı: Belirtilmemiş.
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: Belirtilmemiş.
Özet
ÖZET PROLOG İÇİN BİR VERİ AKIŞ ÇtZGELERİ İŞLETME MODELİ BAŞBU?O?LU, Osman Yüksek Lisans Tezi, Elektrik ve Elektronik Müh. Bölümü Tez Yöneticileri: öğretim Gör. Işık Aybay Yard. Doç. Uğur Halıcı Kasım 1989, 211 Sayfa Bu çalışmada Prolog programlarının paralel işletilmesi için Prolog Veri Akış Çizgeleri İşletimi Modeli geliştirildi. Model veri akış çizgelerinin işletimine dayanmaktadır. Modelde, Prolog programları veri akış çizgelerine derlenir ve bu çizgeler veri akış kavramına göre işletilir. Prolog Veri Akış Çizgeleri İşletimi Modeli VEYA-paralelliğini, kısıtlı VE-paralelliğini ve VE-akış paralelliğini gerçekleştirir. Modelin verimliliğini ölçmek için bir benzetim yazılımı hazırlandı. Model, bazı Prolog denektaşı yazılımlarında denendi. Benzetim sonuçları, modelin Prolog programları için uygun hızlanma sağlayabileceğini ortaya koydu.
Özet (Çeviri)
ABSTRACT A DATAFLOW GRAPH EXECUTION MODEL FOR PROLOG BAŞBÜ?OGLU, Osman M.S. in Electrical and Electronics Engineering Supervisors: Instr.Dr. Işık Aybay Asst.Prof.Dr. Uğur Halıcı November 1989, 211 Pages An execution model has been developed for parallel execution of Prolog programs. The model is based on the dataflow graph execution concept. In the model, Prolog programs are compiled into dataflow graphs, and these graphs are executed using the dataflow concept. The Prolog Dataflow Graph Execution Model implements OR-parallelism, restricted AND-parallelism and stream parallelism (AND-pipelining). A simulator to measure the efficiency of the model has been developed as well. The model is then tested on a number of Prolog benchmark programs. The simulation results have revealed that the model may provide a good speed-up for Prolog programs.
Benzer Tezler
- Algoritma animasyonu sistemleri konusunda inceleme
Başlık çevirisi yok
NAZAN ÇAYRAK
Yüksek Lisans
Türkçe
1998
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrolİstanbul Teknik ÜniversitesiKontrol ve Bilgisayar Mühendisliği Ana Bilim Dalı
DOÇ. DR. TAKUHİ NADİA ERDOĞAN
- Formalization of workflows and correctness issues in the presence of concurrency
İş akışlarının formalizasyonu ve eşzamanlılığın varlığında iş akışı doğruluğunun sağlanması
İSMAİL CEM BUDAK ARPINAR
Doktora
İngilizce
1998
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolOrta Doğu Teknik ÜniversitesiBilgisayar Mühendisliği Ana Bilim Dalı
PROF. DR. ASUMAN DOĞAÇ
- Veri akış denklemlerinin çözümü ile kod optimizasyonu
Code optimization by solving data flow equations
EROL AKARSU
Yüksek Lisans
Türkçe
1993
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrolİstanbul Teknik ÜniversitesiDOÇ.DR. NADİA ERDOĞAN
- İzlenceleme problemleri için alt sınır tahmin yöntemleri
Lower bound estimation methods for scheduling problems
RIZA DİNDİR
Yüksek Lisans
Türkçe
1998
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolEge ÜniversitesiUluslararası Bilgisayar Ana Bilim Dalı (disiplinlerarası)
DOÇ. DR. MEHMET EMİN DALKILIÇ
- A Parallel computer hardware and software architecture for digital signal processing
Başlık çevirisi yok
HALUK GÜMÜŞKAYA
Doktora
İngilizce
1995
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrolİstanbul Teknik ÜniversitesiDOÇ.DR. BÜLENT ÖRENCİK