15 papers · ranked by Valyu relevance
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Frederik Meyer Bønneland, Sarbojit Das + 3 more
'Sarbojit Das' 'Bengt Jönsson' 'Magnus Lång' 'Konstantinos Sagonas'] Abstract. Event-driven multi-threaded programming is an important idiom for structuring concurrent computations. Stateless Model Checking (SMC) is an effective verification technique for multi-threaded programs, especially when coupled with Dynamic…
T. Murata, Hiroaki Hashiura
—Multi-threaded programs are expected to improve responsiveness and conserve resources by dividing an application process into multiple threads for concurrent processing. However, due to scheduling and the interaction of multiple threads, their runtime behavior is more complex than that of single-threaded programs…
Aishwarya Upadhyay, Vijay Laxmi, Smita Naval
—As technology continues to advance and we usher in the era of Industry 5.0, there has been a profound paradigm shift in operating systems, file systems, web, and network applications. The conventional utilization of multiprocessing and multicore systems has made concurrent programming increasingly pervasive. However…
Martina Baiardi, Samuele Burattini, Giovanni Ciatto, Danilo Pianini + 2 more
'Alessandro Ricci' 'Andrea Omicini'] Abstract. The execution of Belief-Desire-Intention (BDI) agents in a Multi-Agent System (MAS) can be practically implemented on top of low-level concurrency mechanisms that impact on efficiency, determinism, and reproducibility. We argue that developers should specify the MAS…
Eunjae Kim, Sukwon Choi, Cheong Ghil Kim, Woo-Chan Park + 1 more
We propose a multi-threaded algorithm that can improve the performance of geometric acoustic (GA)-based sound propagation algorithms in mobile devices. In general, sound propagation algorithms require high computational cost because they perform based on ray tracing algorithms. For this reason, it is difficult to…
Li, Ruihao, John, Lizy K. + 2 more
Memory allocators hide beneath nearly every application stack, yet their performance footprint extends far beyond their code size. Even small inefficiencies in the allocators ripple through caches and the rest of the memory hierarchy, collectively imposing what operators often call a "datacenter tax". At hyperscale…
Bo Xu, Lun Li, Cuiping Li, Anke Wang + 2 more
This note announces HaploThread, a user-friendly GUI desktop software designed for haplotype network construction and visualization. HaploThread is written in C++ using the Qt library, integrating network visualization and multiple multi-threaded haplotype construction algorithms such as McAN and fastHaN (includes MSN…
Matthew Tassava, Cameron Kolodjski, Jordan Milbrath, Jeremy Straub
to the Risks of Penetration Testing Through the Incorporation of Multi-threading and and Other Capabilities Authors: ['Matthew Tassava' 'Cameron Kolodjski' 'Jordan Milbrath' 'Jeremy Straub'] The development of a system vulnerability analysis tool (SVAT) for complex mission critical systems (CMCS) produced the software…
Rick Wertenbroek, Ioannis Xenarios, Yann Thoma, Olivier Delaneau + 1 more
We applied the strategy above on two haplotype matching algorithms from and implemented them as the parallel implementation shown in [vbad021-BOX4]: Algorithm 3 which reports all matches between haplotypes above a given length and Algorithm 4 which reports all set-maximal matches between haplotypes. [vbad021-F1] shows…
Zuxi Chen, ShiFan Zhang, XianLi Zeng, Meng Mei + 3 more
'Lixiao Zheng' 'Sedat Akleylek'] This article presents a novel parallel path detection algorithm for identifying suspicious fraudulent accounts in large-scale banking transaction graphs. The proposed algorithm is based on a three-step approach that involves constructing a directed graph, shrinking strongly connected…
Madhav P. Desai
We investigate the utility of augmenting a microprocessor with a single execution pipeline by adding a second copy of the execution pipeline in parallel with the existing one. The resulting dual-hardware-threaded microprocessor has two identical, independent, single-issue in-order execution pipelines (hardware threads)…
Marissa E. Powers, Keith Mannthey, Priyanka Sebastian, Snehal Adsule + 6 more
Next Generation Sequencing (NGS) workloads largely consist of pipelines of tasks with heterogeneous compute, memory, and storage requirements. Identifying the optimal system configuration has historically required expertise in both system architecture and bioinformatics. This paper outlines infrastructure…
Shumpei Morita, Jay T. Groves
T cells can recognize a few molecules of cognate antigen amongst vastly outnumbering non-cognate ligands. The T cell receptor (TCR) differentiates antigens based on antigen-TCR binding dwell time through a kinetic proofreading process. Historically, this has been modeled as the ligated receptor undergoing a series of…
Alexander Wade, Agastya Bhati, Shunzhou Wan, Peter Coveney
The binding free energy between a ligand and its target protein is an essential quantity to know at all stages of the drug discovery pipeline. Assessing this value computationally can offer insight into where efforts should be focused in the pursuit of effective therapeutics to treat myriad diseases. In this work we…
Xinwei Zhao, Eberhard Korsching
DNA and RNA nucleotide sequences are ubiquitous in all biological cells, serving as both a comprehensive library of capabilities for the cells and as an impressive regulatory system to control cellular function. The multi-alignment framework (MAF) provided in this study offers a user-friendly platform for sequence…