FRP: An implementation language for event driven systems
FRP: Olay sürümlü sistemler için bir gerçekleştirim dili
- Tez No: 23579
- Danışmanlar: PROF. DR. KEMAL İNAN
- Tez Türü: Yüksek Lisans
- Konular: Elektrik ve Elektronik Mühendisliği, Electrical and Electronics Engineering
- Anahtar Kelimeler: Biçimsel Tanımlama Yordamları, Ayrık Olay Dizgeleri, Ayrık Olay Modellemesi, Programlama.'Dilleri, Bilgisayar Ağları, Protokoller, Ayrık olay modelleme, Ayrık olay sistemleri, Programlama dilleri, Protokol doğrulama, Formal Description Techniques, Discrete Event Systems, Discrete Event Modelling, Programming Languages, Networks, Protocols, Discrate event modelling, Discrate event systems, Computer networks, Protocol verification
- Yıl: 1992
- 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
oz FRP: OLAY SÜRÜMLÜ SİSTEMLER İÇİN BİR GERÇEKLEŞTİRİM DİLİ TEKUZMAN, Mehmet Oralp Yüksek Lisans Tezi, Elektrik ve Elektronik Mühendisliği Anabilim Dalı Tez Yöneticisi: Prof. Dr. Kemal İNAN Eylül, 1992, 105 sayfa. Bu çalışmada, Sonlu Özyineleyen Süreçler (FRP) biçimsel yor damına dayalı tanımlamaları işleten bir gerçekleştirim dizgesi betimlenmek tedir. Dizge bir derleyici ve buna bağlı bir işletim zamanı destek dizgesin den oluşmaktadır. C programlama dili ile SunOS 4.1.1 (UNIX) işletim diz gesi çalıştıran SUN iş istasyonlarında gerçeklenmiştir. Dizge elemanlarının tasarımları ve iki örnek tanımlama sunulmaktadır. Bunlardan biri akış deneti mini değişen bit protokolü ile sağlayan bir aktarım programıdır.
Özet (Çeviri)
ABSTRACT FRP: AN IMPLEMENTATION LANGUAGE FOR EVENT DRIVEN SYSTEMS TEKUZMAN, Mehmet Oralp M. S. in Electrical and Electronics Engineering Supervisor: Prof. Dr. Kemal İNAN September, 1992, 105 pages. In this study, an implementation system is described for executing specifications based on the formalism of Finitely Recursive Processes (FRP). The system consists of a compiler and associated run-time library. It has been implemented in C on SUN workstations running SunOS 4.1.1 (UNIX). The de sign of system components, and two sample FRP specifications are presented. One of these is a transport server utilizing an alternating bit flow control pro tocol.
Benzer Tezler
- Fiber takviyeli polimerler ve mühendislik yapılarında kullanım alanları
Fiber reinforced polymers and application fields in the engineering structures
ABDULLAH ÇELİK
Yüksek Lisans
Türkçe
2001
İnşaat MühendisliğiSakarya Üniversitesiİnşaat Mühendisliği Ana Bilim Dalı
DOÇ. DR. KEMALETTİN YILMAZ
- Cam elyaf takviyeli kompozit malzeme ile yapılmış betonarme kirişler
Reinforced concrete beams, are made of composite material with reinforced fibreglass
ÖMÜR ÜMİT ERDEM
Yüksek Lisans
Türkçe
1997
İnşaat MühendisliğiPamukkale Üniversitesiİnşaat Mühendisliği Ana Bilim Dalı
DOÇ. DR. HASAN KAPLAN
- Politics of discontent in the great depression: The Free Republican Party of Turkey (1930)
Büyük buhran ve siyaset: Serbest Cumhuriyet Fırkası (1930)
CEM EMRENCE
Yüksek Lisans
İngilizce
2000
Türk İnkılap TarihiBoğaziçi ÜniversitesiTarih Ana Bilim Dalı
PROF. DR. ŞEVKET PAMUK
- Nonlinear stress analysis of composite laminated
Tabakalı kompozit plaklarda doğrusal olmayan gerilme analizi
AHMET YAPICI
Yüksek Lisans
İngilizce
1998
Makine MühendisliğiDokuz Eylül ÜniversitesiMakine Mühendisliği Ana Bilim Dalı
PROF. DR. ONUR SAYMAN
- İkinci harmonik şavaktan pompalamalı dağılmış parametreli karıştırıcı tasarımı
Başlık çevirisi yok
MUSTAFA TUNA ORDU
Yüksek Lisans
Türkçe
1995
Elektrik ve Elektronik Mühendisliğiİstanbul Teknik ÜniversitesiPROF.DR. OSMAN PALAMUSTÇUOĞULLARI