Browsing by Author "Aktemur, Tankut Barış"
Now showing items 21-40 of 47
-
Generating runtime verification specifications based on static code analysis alerts
Kılıç, Yunus (2017-12)There are various approaches in order to find bugs in a software system. One of these approaches is static code analysis, which tries to achieve this goal by analyzing code without executing it. Another complementary ... -
High level synthesis for rapid design of video processing pipes
Güzel, Aydın Emre (2017-01)Pipelining concept is a fundamental technique in digital hardware design, which maximizes the clock frequency or minimizes the resources. Designing a pipelined Field Programmable Gate Array (FPGA) module using pipelined ... -
Hybrid job scheduling for improved shared cluster utilization
Koçak, Uğur (2014-01)Bu tezde, bilgisayar küme yapıları üzerinde hibrid iş yüklerinin birlikte işlenmesiyle ilgili modeller, sorunlar ve performans kazanımları incelenmektedir. Desteklenen kümeleme teknolojileri arasında MPI, Hadoop-MapReduce ... -
Improving models for model-based testing based on exploratory testing
Gebizli, Ceren Şahin (2014-08)Model bazlı test, test edilen sistemin modelleri sayesinde otomatik olarak test senaryoları oluşturulmasını sağlar. Bu modellerin doğruluğu ve tamlığı oluşturulan test senaryolarının etkinliğini belirler. Genelde manuel ... -
Location-based access control and trust in location estimation
Soyluoğlu, Berker (2017-01)With the introduction of touchscreen smartphones our way of life changed. Indie developers are in a rush to find the next big thing. Available sensors and the powerful mobile operating systems made location aware applications ... -
M-pick fixed-priority selection and muxing
Tosun, Mustafa (2017-01)In this thesis, we propose a class of logic architectures for multi-pick (m-pick) fixed-priority arbitration (FPA) and muxing. An m-pick FPA selects the m topmost requests out of n inputs with priority order. Arbiters ... -
Multi-pick round robin arbiter
Temizkan, Fatih (2012-08)In this thesis, we propose two multi(m)-pick Round Robin Arbiter (RRA) architectures. An m-pick RRA selects the m topmost requests out of n inputs with priority order indicated by an internally kept pointer (with an update ... -
Optimization by runtime specialization for sparse matrix-vector multiplication
Kamin, S.; Jesus Garzaran, M.; Aktemur, Tankut Barış; Xu, D.; Yılmaz, Buse; Chen, Z. (ACM, 2014)Runtime specialization optimizes programs based on partial information available only at run time. It is applicable when some input data is used repeatedly while other input data varies. This technique has the potential ... -
Performance evaluation of unfolded sparse matrix-vector multiplication
Akgün, İbrahim Ümit (2015-01)Sparse matrix-vector multiplication (spMV) is a kernel operation in scientific com- putation. There exist problems where a matrix is repeatedly multiplied by many different vectors. For such problems, specializing the spMV ... -
Preface
Kim, S.; Uchitel, S.; Garbervetsky, D.; Aktemur, Tankut Barış; Kroening, D.; Orso, A.; Nagappan, N.; Xie, T.; Mueller, P.; Cataldo, M.; Tillmann, N.; Margaria-Steffen, T.; Tonetta, S.; Bradley, A.; Chen, N.; Caso, G. de; Ferrara, P.; He, N.; Kassios, I.; Kicillof, N.; Lewis, M.; Meyer, D.; Nagel, R.; Nimal, V.; Pandita, R.; Pavese, E.; Rajan, A.; Roveri, M.; Sawadsky, N.; Schapachnik, F.; Seo, H.; Shakya, K.; Song, Y.; Summers, A.; Xiao, X.; Yilmaz, Buse; Zhang, L.; Bishop, J.; Breitman, K.; Notkin, D. (2011) -
Relating Staged Computation to the Record Calculus
Aktemur, Tankut Barış; Choi, W. (Özyeğin University, 06.09.2010)It has been previously shown that there is a close relation between record calculus and program generation (e.g. Lisp-like quasiquotations): A translation has been defined to convert staged expressions to record calculus ... -
Reproducing field failures based on semi-formal failure scenario descriptions
Karagöz, Gün (2015-06)Due to the increasing size and complexity of software systems, it becomes hard to test these systems exhaustively. As a result, some faults can be left undetected. Undetected faults can lead to failures in deployed systems. ... -
Risk-driven model-based testing
Kırkıcı, Abdulhadi (2018-05)Software is becoming larger and more complex in consumer electronics products. As a result, testing these products for reliability is becoming a major challenge. Traditional and manual testing activities are not effective ... -
Rumadai: A plug-in to record and replay client-side events of web sites with dynamic content
Yıldız, Asım; Aktemur, Tankut Barış; Sözer, Hasan (IEEE, 2012)Reproducing user events when testing web pages is challenging because of the dynamic nature of the web content and potential dependency on third party content providers. We present Rumadai, a Visual Studio plug-in, that ... -
Runtime specialization and autotuning of sparse matrix-vector multiplication
Ylmaz, Buse (2015-12)Runtime specialization is used for optimizing programs based on partial information available only at runtime. In this thesis, we present a purpose-built compiler to quickly specialize Sparse Matrix-Vector Multiplication ... -
Runtime verification of internet of things using complex-event processing (RECEP)
İnçki, Koray (2018-06)Increase in the computing power and memory accompanied with decreasing architectural footprints has enabled conquering new frontiers in proliferation of technology in the next industry revolution. More autonomous systems ... -
Seyrek matris-vektör çarpımı için koşut zamanda özelleşmi̇ş kod üreti̇mi̇ ve deneysel opti̇mi̇zasyon
Aktemur, Tankut Barış; Yıldız, Asım; Kamin, S. (IEEE, 2012)Bu çalışmada seyrek matris-vektor çarpımı için matris içeriğine göre özelleşmiş, yüksek hızlı program üretimi yapan bir kütüphane tasarımı anlatılmaktadır. Kütüphane sinyal işleme uygulamaları, bilimsel hesaplamalar, sonlu ... -
Shonan challenge for generative programming: short position paper
Aktemur, Tankut Barış; Kameyama, Y.; Kiselyov, O.; Shan, C.-C. (ACM, 2013)The appeal of generative programming is "abstraction without guilt": eliminating the vexing trade-off between writing high-level code and highly-performant code. Generative programming also promises to formally capture the ... -
A smart cloud platform service for socialized travel and transportation with mobile support
Yazıcı, Yaprak Ayazoğlu (2013-09)It is now clear that social networking services are evolving towards mobile web applications and continuous location sharing is also becoming a trend. In this evolution, we believe that the next step will be complete and ... -
Software UART: A use case for VSCPU worst-case execution time analyzer
Yıldız, A.; İskender, Deniz; Özlü, G.; Uğurdağ, Hasan Fatih; Aktemur, Tankut Barış; Gören, S. (IEEE, 2019)This paper presents our early results of the development of a Worst-Case Execution Time (WCET) analyzer for VSCPU by implementing a software UART system. Our WCET analyzer takes a C program as input and gives the time taken ...
Share this page