Browsing Faculty of Engineering by Author "Aktemur, Tankut Barış"
Now showing items 1-20 of 29
-
Adaptive domain-specific service monitoring
Ünsal, A. A.; Sazara, G.; Aktemur, Tankut Barış; Sözer, Hasan (Springer Science+Business Media, 2014)We propose an adaptive and domain-specific service monitoring approach to detect partner service errors in a cost-effective manner. Hereby, we not only consider generic errors such as file not found or connection timed ... -
ADVISOR: An adjustable framework for test oracle automation of visual output systems
Genç, A. E.; Sözer, Hasan; Kıraç, Mustafa Furkan; Aktemur, Tankut Barış (IEEE, 2020-09)Test oracles differentiate between the correct and incorrect system behavior. Automation of test oracles for visual output systems mainly involves image comparison, where a snapshot of the output is compared with respect ... -
Automatically learning usage behavior and generating event sequences for black-box testing of reactive systems
Kıraç, Mustafa Furkan; Aktemur, Tankut Barış; Sözer, Hasan; Gebizli, C. Ş. (The ACM Digital Library, 2019-06)We propose a novel technique based on recurrent artificial neural networks to generate test cases for black-box testing of reactive systems. We combine functional testing inputs that are automatically generated from a model ... -
Autotuning runtime specialization for sparse matrix-vector multiplication
Yılmaz, Buse; Aktemur, Tankut Barış; Garzaran, M. J.; Kamin, S.; Kıraç, Mustafa Furkan (ACM, 2016-04)Runtime specialization is used for optimizing programs based on partial information available only at runtime. In this paper we apply autotuning on runtime specialization of Sparse Matrix-Vector Multiplication to predict ... -
Combined aes + aegis architectures for high performance and lightweight security applications
Şahin, Furkan (2014-08)Günümüzde kriptografi banka kartlarından telefonlara, arabalardan haberleşme araçlarına ve bulut hizmetlerine kadar pek çok alana girdi. Digital bilgiyi yetkilendirilmemiş erişimlere karşı korumak için bir çok şifreleme ... -
Comparison of text-independent speaker verification systems in a multi-class, semi-automatic detection scenario
Yeşil, Fatih (2013-06)Performance of the speaker veri cation systems is typically measured based on their binary decision accuracy. Soft outputs of the systems are used mostly for calibration or multiple system combination purposes. However, ... -
CPU design simplified
Yıldız, A.; Uğurdağ, Hasan Fatih; Aktemur, Tankut Barış; İskender, Deniz; Gören, S. (IEEE, 2018-12-10)The first goal of this paper is to introduce a simple and customizable soft CPU named VerySimpleCPU (VSCPU), which could be easily implemented on FPGAs with a complete toolchain including instruction set simulator, assembler, ... -
Effort estimation for architectural refactoring to introduce module isolation
Öztürk, F.; Sarılı, E.; Sözer, Hasan; Aktemur, Tankut Barış (Springer, 2014)The decomposition of software architecture into modular units is driven by both functional and quality concerns. Dependability and security are among quality concerns that require a software to be decomposed into separate ... -
FAS: introducing a service for avoiding faults in composite services
Gülcü, K.; Sözer, Hasan; Aktemur, Tankut Barış (Springer Science+Business Media, 2012)In service-oriented architectures, composite services depend on a set of partner services to perform the required tasks. These partner services may become unavailable due to system and/or network faults, leading to an ... -
Fast and efficient implementation of lightweight crypto algorithm PRESENT on FPGA through processor instruction set extension
Varıcı, Abdullah; Sağlam, Gürol; İpek, Seçkin; Yıldız, A.; Gören, S.; Aysu, A.; İskender, Deniz; Aktemur, Tankut Barış; Uğurdağ, Hasan Fatih (IEEE, 2019)As Internet of Things (IoT) technology becomes widespread, the importance of information security increases. PRESENT algorithm is a major lightweight symmetric-key encryption algorithm for IoT devices. Compared to the ... -
Fast, secure, and remote multiboot of FPGAs
Yıldız, Abdullah (2012-09)The purpose of this thesis is to develop an efficient framework to implement secure FPGA-based (Field Programmable Gate Array) systems. An FPGA is a reconfigurable device that has the ability to adapt the hardware during ... -
Fault masking as a service
Gülcü, Koray; Sözer, Hasan; Aktemur, Tankut Barış; Ercan, Ali Özer (Wiley, 2014-07)In SOA, composite services depend on a set of partner services to perform their tasks. These partner services may become unavailable because of system and/or network faults, leading to an increased error rate for the ... -
Fault masking as a service
Gülcü, Koray (2013-01)In service-oriented architectures, composite services depend on a set of partner services to perform their tasks. These partner services may become unavailable due to system and/or network faults, leading to an increased ... -
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 ... -
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 ...
Share this page