Browsing OzU Theses & Dissertations by Author "Aktemur, Tankut Barış"
Now showing items 21-27 of 27
-
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 ... -
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 ... -
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 ... -
Tool support for model based software product line testing
Ergun, Burcu (2018-01)We introduce a tool for automated adaptation of test models to be reused for a prod uct family. Test models are specified in the form of hierarchical Markov chains. They represent possible usage behavior regarding the ... -
A unified framework for benchmarking sparse matrix-vector multiplication methods
Sarılı, Erdem (2019-10-01)Sparse matrix-vector multiplication (SpMV) is an important sparse linear algebra kernel that has a wide range of application domains, including computational science, graph analytics, machine learning and many more. Due ... -
Validating android permission requests by analyzing APP descriptions
Şahin, Mustafa Kaan (2016-07)Android applications can access sensitive user data if they are granted certain permissions. Android security model gives users the responsibility to approve permission requests of applications. For this, a user needs to ...
Share this page