7 papers · ranked by Valyu relevance
Shuvendu K. Lahiri, Chao Wang, Daniel Schemmel, Julian Büning + 3 more
'César Rodríguez' 'David Laprell' 'Klaus Wehrle'] We describe a technique for systematic testing of multi-threaded programs. We combine Quasi-Optimal Partial-Order Reduction, a state-of-the-art technique that tackles path explosion due to interleaving non-determinism, with symbolic execution to handle data…
Zsuzsanna Sükösd, Bjarne Knudsen, Morten Værum, Jørgen Kjems + 1 more
'Ebbe S Andersen'] Background The prediction of the structure of large RNAs remains a particular challenge in bioinformatics, due to the computational complexity and low levels of accuracy of state-of-the-art algorithms. The pfold model couples a stochastic context-free grammar to phylogenetic analysis for a high…
Jing Zhang, Sanchit Misra, Hao Wang, Wu-chun Feng
Background The Basic Local Alignment Search Tool (BLAST) is a fundamental program in the life sciences that searches databases for sequences that are most similar to a query sequence. Currently, the BLAST algorithm utilizes a query-indexed approach. Although many approaches suggest that sequence search with a database…
Xing Liu, Kun Mean Hou, Christophe de Vaulx, Jun Xu + 4 more
'Haiying Zhou' 'Hongling Shi' 'Peng Zhou'] Memory and energy optimization strategies are essential for the resource-constrained wireless sensor network (WSN) nodes. In this article, a new memory-optimized and energy-optimized multithreaded WSN operating system (OS) LiveOS is designed and implemented. Memory cost of…
Michael Doube
Sequential region labelling, also known as connected components labelling, is a standard image segmentation problem that joins contiguous foreground pixels into blobs. Despite its long development history and widespread use across diverse domains such as bone biology, materials science, and geology, connected…
Chunhui Ai, Li Tan, Shenqiang Gao, Yong Wang
Pseudogenes are recognized as essential components for reconstructing adaptive evolutionary trajectories and understanding genomic remodeling. However, identifying these sequences in large eukaryotic genomes remains technically challenging due to fragmented workflows, complex manual configurations, and the lack of…
Anik Chaudhuri, Shabnam Choudhury, Anwoy Kumar Mohanty, Manoranjan Satpathy + 2 more
Studying the heterogeneity in cancerous tissue is challenging in cancer research. It is vital to process the real-world data efficiently to understand the heterogeneous nature of cancer tissue. GPU compatible models, which can estimate the subpopulation of cancerous tissue, are fast if the size of input data, i.e., the…