Computer Engineering / Bilgisayar Mühendisliği
Permanent URI for this collectionhttps://hdl.handle.net/11147/10
Browse
38 results
Search Results
Article Ieee 802.11 Kablosuz Ağları için Bir Gerçek Zamanlı İletişim Protokolü(Dokuz Eylül Üniversitesi, 2017) Ayav, Tolga802.11 kablosuz ağları gerçek zamanlı uygulamaların gereksiniminlerini karşılayabilecek sağlıklı mekanizmalardan yoksundur. Bu çalışma, uygulama katmanında kolaylıkla gerçekleştirilebilen ve iletişim verimliliğini artırarak sistemi gerçek zamanlı uygulamaların beklenti seviyesine çıkartan bir protokol sunmaktadır. Protokol, seçilen bir merkez düğümün diğer düğümleri sorgulaması esasına dayanmakta olup, trafiğin zamanlaması En Yakın Zaman Sınırı İlk algoritması tarafından sağlanmaktadır. Değişken trafik yükleriyle baş edebilmek amacıyla, kanal kullanımını istenen seviyede tutacak bir geri beslemeli kontrol döngüsü de protokole eklenmiştir. İletişimin matematiksel modeli oluşturularak, kontrol döngüsünün kararlılık analizi gerçekleştirilmiştir. Ağın NS-3 benzetimleri, protokolün değişken trafik yüklerinde kanal kullanım oranını istenen seviyede tutabildiğini ve daha az paket kaybına ulaştığını göstermektedir.Conference Object Yazılım Yapısal Kapsama Analizinde Testlerin Önceliklendirilmesi(CEUR Workshop Proceedings, 2015) Ayav, TolgaBu çalışma değiştirilmiş koşul/karar kapsama stratejisince türetilmiş test girişlerinin önceliklendirilmesi için bir teknik sunmaktadır. Teknik Fourier analizine dayanmaktadır ve testlerin hata ortaya çıkarma potansiyellerine göre sıralanabilmesini hedeflemektedir. Bu sayede yazılımın yüksek öncelikli testlerden başlayarak düşüğe doğru sınanması veya test kümesinin yüksek öncelikli testleri kapsayacak şekilde daraltılması mümkün olabilecektir.Report Design Notes of Microprocessor U311.1(Izmir Institute of Technology, 2017) Ayav, TolgaThis handbook includes a part of the lecture notes of CENG 311 Computer Architecture course given in the undergraduate program of the Department of Computer Engineering at Izmir Institute of Technology. One aim of this course is to introduce the preliminaries of a general purpose microprocessor design. To this end, I aim to teach a very simple microprocessor which we call μ311.1 , an 16-bit processor with only 25 instructions. This document is intended to help the students with their laboratory works. In the experimental part of the course, students are expected to implement this or another similar processor using VHDL in order to attain a sufficient knowledge and intuition about “What is really happening inside a computer system?”. In other words, starting from typing printf("value:%d",*p); they must understand compiling, assembling, linking, loading the machine code and how processors execute this code. This document aims to give a very short and abstract answer to the above question. Students may find many parts missing, too short or incomplete. Nonetheless, I hope that this will be a good starting point for their deeper research as well as their study of computer architecture.Conference Object 13. Ulusal Yazılım Mühendisliği Sempozyumu(Izmir Institute of Technology, 2019) Ayav, Tolga; Tekir, Selma; Erten, MuratThe 13th National Software Engineering Symposium (UYMS) of Turkey was held Izmir Institute of Technology on 23-25 September 2019. There has been a great interest in this year’s symposium, as in previous years. UYMS is a platform which helps bring together the software industry and the academicians working in this area. It is being organized since 2003 and it plays an important role in shaping the future of the software industry in Turkey. We would like to thank all the participants whose contributions led to the successful realization of this symposium. We would also like to express our belief that these contributions will lead to a better and more productive efforts in the field of software engineering. Along with the main area of UYMS, in the thematic areas of Software Test Engineering, Software Engineering for Health, Software Modeling, and Graduate Theses, a total of 77 papers were accepted this year. At least three referees reviewed each paper and the papers were evaluated based on these reviews. We thank all the program committee members who served as referees.Conference Object Sonlu Durum Makinelerinin Fourier Analizi Tabanlı Sınanması(CEUR Workshop Proceedings, 2018) Takan, Savaş; Ayav, TolgaSonlu durum makinesi (FSM), devre ve yazılım testlerinde yaygın kullanıma sahip bir modelleme tekniğidir. FSM'lerin testi için literatürde çeşitli yöntemler bulunmakla birlikte, modellerin büyümesi sonucu test kümesinin büyüklüğü, hata yakalama oranı ve test üretim süresi gibi konularda yüksek başarıma sahip alternatif test yöntemlerine ihtiyaç bulunmaktadır. Bu çalışma ikili fonksiyonların Fourier analizine dayanan yeni bir test oluşturma yöntemi önermektedir. İlk sonuçlar, fonksiyonun frekans bileşenlerinden yararlanarak oluşturulan test takımının daha yüksek bir performansa sahip olduğunu göstermektedir. Önerilen yöntem, karakteristiği, maliyeti ve hata yakalama oranı üzerinden literatürden seçilen iki yöntemle karşılaştırılmıştır.Conference Object Cerrahın Anlık Yönlendirilebildiği Robot Yardımlı Endoskop Kontrol Sistemi Mimarisi - Neuroboscope(Boğaziçi Üniversitesi, 2018) Dede, Mehmet İsmet Can; Kiper, Gökhan; Ayav, Tolga; Tatlıcıoğlu, Enver; Özdemirel, Barbaros; Maaroof, Omar; Ateş, Gizem; Berker, Mustafa; Işıkay, İlkay; Hanalioğlu, ŞahinBu bildiride ele alınan çalışmada endoskopik hipofiz cerrahisinde kullanılan optik-kamera sistemini, cerrahın anlık isteklerini takip ederek yönlendirilmesine izin verecek robotik sistem geliştirilmektedir. Cerrah kendisi ameliyat sahasında ameliyatı gerçekleştirirken robotu yönlendirmesi gerekmektedir. Bu gereksinim için geliştirilmekte olan özgün alt bileşenler ve toplam sistem mimarisi bildiri içinde tanıtılmıştır ve çalışmanın sonuçları benzer minimal invaziv ameliyatların robot destekli ameliyata dönüşmesine imkan verebilecektir. Bildiride sistemin gereksinimlerinin oluşturulması için yapılan testler anlatılmıştır. Üzerinde durulan sistem gereksinimlerinden birisi robotun çalışma alanı, diğeri ise cerrahın kullanım kolaylığı ile ilgilidir.Article Citation - WoS: 26Citation - Scopus: 30Ensuring Performance and Provider Profit Through Data Replication in Cloud Systems(Springer Verlag, 2017) Tos, Uras; Mokadem, Riad; Hameurlain, Abdelkader; Ayav, Tolga; Bora, ŞebnemCloud computing is a relatively recent computing paradigm that is often the answer for dealing with large amounts of data. Tenants expect the cloud providers to keep supplying an agreed upon quality of service, while cloud providers aim to increase profits as it is a key ingredient of any economic enterprise. In this paper, we propose a data replication strategy for cloud systems that satisfies the response time objective for executing queries while simultaneously enables the provider to return a profit from each execution. The proposed strategy estimates the response time of the queries and performs data replication in a way that the execution of any particular query is still estimated to be profitable for the provider. We show with simulations that how the proposed strategy fulfills these two criteria.Conference Object Citation - WoS: 17Citation - Scopus: 30A Performance and Profit Oriented Data Replication Strategy for Cloud Systems(Institute of Electrical and Electronics Engineers Inc., 2017) Tos, Uras; Mokadem, Riad; Hameurlain, Abdelkader; Ayav, Tolga; Bora, ŞebnemIn today's world, tenants of cloud systems expect timely responses to queries that process ever-increasing sizes of data. However, most cloud providers offer their services without any performance guarantees to their tenants. In this paper we propose a data replication strategy that aims to satisfy performance guarantees for the tenant while ensuring profitability of the cloud provider. Our strategy estimates the response time of the queries, as well as the expenditures that affect the profitability of the cloud provider. The decision of whether to perform replication is determined by the fulfillment of these two criteria. Validity of the proposed strategy is provided by means of a simulation study.Article Citation - WoS: 4Citation - Scopus: 8Prioritizing Mcdc Test Cases by Spectral Analysis of Boolean Functions(John Wiley and Sons Inc., 2017) Ayav, TolgaTest case prioritization aims at scheduling test cases in an order that improves some performance goal. One performance goal is a measure of how quickly faults are detected. Such prioritization can be performed by exploiting the Fault Exposing Potential (FEP) parameters associated to the test cases. FEP is usually approximated by mutation analysis under certain fault assumptions. Although this technique is effective, it could be relatively expensive compared to the other prioritization techniques. This study proposes a cost-effective FEP approximation for prioritizing Modified Condition Decision Coverage (MCDC) test cases. A strict negative correlation between the FEP of a MCDC test case and the influence value of the associated input condition allows to order the test cases easily without the need of an extensive mutation analysis. The method is entirely based on mathematics and it provides useful insight into how spectral analysis of Boolean functions can benefit software testing.Report Transforming Vhdl To Timed Automata(Izmir Institute of Technology, 2016) Ayav, Tolga; Tuğlular, Tuğkan; Belli, FevziThis report presents the transformation of behavioral VHDL programs to Timed Automata.