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
- Ses eğitiminin solo ve toplu çalışmalarındaki tarihsel gelişimi ve önemi
Başlık çevirisi yok
FİKRET ESRA GÜLER
- VHDL ile lojik devre tasarımı ve DSP uygulamaları için çarpma bloklarının modellenmesi
Başlık çevirisi yok
SIDDIKA BERNA ÖRS
Yüksek Lisans
Türkçe
1998
Elektrik ve Elektronik Mühendisliğiİstanbul Teknik ÜniversitesiElektronik ve Haberleşme Mühendisliği Ana Bilim Dalı
PROF. DR. AHMET DERVİŞOĞLU
- How cryptographic implementations affect mobile agent systems
Şifreleme gerçekleştirmelerinin gezgin aracı internet sistemlerini nasıl etkilediği
İSMAİL ULUKUŞ
Yüksek Lisans
İngilizce
2003
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolBoğaziçi ÜniversitesiSistem ve Kontrol Mühendisliği Ana Bilim Dalı
PROF. DR. EMİN ANARIM
- Sincap kafesli asenkron makinalarda modern kontrol yöntemlerinin uygulanması
The Application of modern control methods in squirrel cage induction machines
METİN GÖKAŞAN
Doktora
Türkçe
1989
Elektrik ve Elektronik Mühendisliğiİstanbul Teknik ÜniversitesiPROF.DR. TAMER KUTMAN
- Türkiye'nin kamu diplomasisi çerçevesinde Afrika'ya uyguladığı yumuşak güç (2002 ve sonrası)
Implementation of Turkish public diplomacy in Africa within the framework of soft power (2002 and beyond)
SITTA DOUBARE
Yüksek Lisans
Türkçe
2021
Uluslararası İlişkilerAnkara Hacı Bayram Veli ÜniversitesiUluslararası İlişkiler Ana Bilim Dalı
PROF. DR. CEMALETTİN TAŞKIRAN