Current state-of-the-art parallel codes used to calculate the maximum number of pairs for a given RNA sequence by means of Nussinov’s algorithm do not allow for achieving speedup close up to the number of the processors used for execution of th...
Many current bioinformatics algorithms have been implemented in parallel programming code. Some of them have already reached the limits imposed by Amdahl’s law, but many can still be improved. In our paper, we present an approach allowing us to...
In this article, we present a technique that allows us to generate parallel tiled code to calculate general linear recursion equations (GLRE). That code deals with multidimensional data and it is computing-intensive. We demonstrate that data dependen...
We present a new space-time loop tiling approach and demonstrate its application for the generation of parallel tiled code of enhanced locality for three dynamic programming algorithms. The technique envisages that, for each loop nest statement, sub-...
A photomosaic is an image with two layers of visual information, including an overarching image that can be seen from a distance and a matrix of individual tile images when examined closely. This paper presents a method for generating photomosaics wi...
In this article, we analyze the program codes generated automatically using three advanced optimizers: Pluto, Traco, and Dapt, which are specifically tailored for the NPDP benchmark set. This benchmark set comprises ten program loops, predominantly f...
This paper focuses on optimizing the Zuker RNA folding algorithm, a bioinformatics task with non-serial polyadic dynamic programming and non-uniform loop dependencies. The intricate dependence pattern is represented using affine formulas, enabling th...
A formal, high-level representation of programs is typically needed for static and dynamic analyses performed by compilers. However, the source code of target applications is not always available in an analyzable form, e.g., to protect intellectual p...
Current research builds labelings for geometrically uniform codes on the double torus through tiling groups. At least one labeling group was provided for all of the 11 regular tessellations on the double torus, derived from triangular Fuchsian groups...
Most studies on the switching game Lights Out and its variants focus on the solvability of given games or the number of solvable games, but when the game is viewed in a coding-theoretical perspective, more interesting questions with special symboliza...
Spaceborne neural processing units (NPUs) increasingly support real-time deep-learning inference, but their dense multiply-accumulate arrays are vulnerable to radiation-induced soft errors. Conventional radiation-hardening methods improve reliability...
The emergence of the new generation video coding standard, Versatile Video Coding (VVC), has brought along novel features rendering the new standard more efficient and flexible than its predecessors. Aside from efficient compression of 8 k or higher...
Snake graphs are connected planar graphs consisting of a finite sequence of adjacent tiles (squares)
Virtual reality (VR) is emerging as one of key applications in future fifth-generation (5G) networks. Uploading VR video in 5G network is expected to boom in near future, as general consumers could generate high-quality VR videos with portable 360-de...
Restricting the
An African Swine Fever (ASF) outbreak was first recorded in the Philippines in July 2019. Since then, the disease has spread across provinces in Luzon, Visayas, and Mindanao, causing severe economic consequences for the country’s swine industry...
Physical faults can cross error-correcting code (ECC) word boundaries even when static random-access memory (SRAM) protection remains word-local. This work proposes a bounded-residual certified post-failure recovery architecture for interleaved singl...
Small satellites empower different applications for an affordable price. By dealing with a limited capacity for using instruments with high power consumption or high data-rate requirements, small satellite missions usually focus on specific monitorin...
Arable land quality (ALQ) data are a foundational resource for national food security. With the rapid development of spatial information technologies, the annual acquisition and update of ALQ data covering the country have become more accurate and fa...
Genomic surveillance of the SARS-CoV-2 pandemic is crucial and mainly achieved by amplicon sequencing protocols. Overlapping tiled-amplicons are generated to establish contiguous SARS-CoV-2 genome sequences, which enable the precise resolution of inf...
Earth Observation (EO) and Remote Sensing (RS) data are widely used in various fields, including weather, environment, and natural disaster modeling and prediction. EO and RS done through geostationary satellite constellations in fields such as these...
The National Oceanic and Atmospheric Administration (NOAA) National Centers for Environmental Information (NCEI) generates digital elevation models (DEMs) that range from the local to global scale. Collectively, these DEMs are essential to determinin...