Browsing by Author "Aktemur, Tankut Barış"
Now showing items 41-47 of 47
-
A sparse matrix‐vector multiplication method with low preprocessing cost
Aktemur, Tankut Barış (Wiley, 2018-11-10)Sparse matrix-vector multiplication (SpMV) is a crucial operation used for solving many engineering and scientific problems. In general, there is no single SpMV method that gives high performance for all sparse matrices. ... -
Static analysis of multi-staged programs via unstaging translation
Choi, W.; Aktemur, Tankut Barış; Yi, K.; Tatsuta, M. (ACM, 2011)Static analysis of multi-staged programs is challenging because thebasic assumption of conventional static analysis no longer holds: the program text itself is no longer a fixed static entity, but rather a dynamically ... -
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 ... -
Towards subtyped program generation in F#
Aktemur, Tankut Barış (ACM, 2011)Program Generation is the technique of combining code fragments to construct a program. In this work we report on our progress to extend F# with program generation constructs. Our prototype implementation uses a translation ... -
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 ... -
VISOR: A fast image processing pipeline with scaling and translation invariance for test oracle automation of visual output systems
Kıraç, Mustafa Furkan; Aktemur, Tankut Barış; Sözer, Hasan (The ACM Digital Library, 2018-02)A test oracle automation approach proposed for systems that produce visual output.Root causes of accuracy issues analyzed for test oracles based on image comparison.Image processing techniques employed to improve the ...
Share this page