Browsing Computer Science by Author "Aktemur, Tankut Barış"
Now showing items 21-25 of 25
-
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 ... -
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 ... -
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 ... -
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