17 papers · ranked by Valyu relevance
Matthias Heizmann, Dominik Klumpp, Frank Schüssele, Lars Nitzke
We address the verification problem for concurrent program that dynamically create (fork) new threads or destroy (join) existing threads. We present a reduction to the verification problem for concurrent programs with a fixed number of threads. More precisely, we present petrification, a transformation from programs…
Daniel Ortíz-Arroyo, B. Lee
This paper presents the Dynamic Simultaneous Multithreaded Architecture (DSMT). DSMT efficiently executes multiple threads from a single program on a SMT processor core. To accomplish this, threads are generated dynamically from a predictable flow of control and then executed speculatively. Data obtained during the…
Aleksandra Prążyńska, Zbigniew Mikołajczyk, Maciej Kuchar, Alexey Smolin
'Alexey Smolin'] This publication presents the results of research aimed at analyzing the dynamic stretching process of multifilament polyester and polyamide threads with medium linear densities. Building virtual design tools for the mechanical properties of textiles under dynamic impact conditions on their structures…
Rogelio Hernández-Tamayo, Niklas Steube, Thomas Heimerl, Georg Hochberg + 1 more
RecA plays a central role in DNA repair and is a main actor involved in homologous recombination (HR). In vivo, RecA forms filamentous structures termed “threads”, which are essential for HR, but whose nature is still ill defined. We show that RecA from Bacillus subtilis having lower ATP binding activity can still form…
Mhd Ghaith Olabi, Juan Gómez-Luna, Onur Mutlu, Wen‐mei Hwu + 1 more
'Izzat El Hajj'] Abstract—Dynamic parallelism on GPUs allows GPU threads to dynamically launch other GPU threads. It is useful in applications with nested parallelism, particularly where the amount of nested parallelism is irregular and cannot be predicted beforehand. However, prior works have shown that dynamic…
Rogelio Hernández-Tamayo, Niklas Steube, Thomas Heimerl, Georg K. A. Hochberg + 2 more
'Georg K. A. Hochberg' 'Peter L. Graumann' 'Craig D. Ellermeier'] Title: ABSTRACT RecA plays a central role in DNA repair and is a main actor involved in homologous recombination (HR). In vivo, RecA forms filamentous structures termed “threads,” which are essential for HR, but whose nature is still ill defined. We show…
Jiming Su, Hantao Hua, Lujia Yin, Yiping Yao + 1 more
In simulation-in-the-loop decision-making systems, reinforcement learning (RL) inference is often constrained by simulator-side execution overhead, where workloads are highly dynamic and sensitive to runtime thread configurations. Existing multithreaded strategies struggle to match thread resources before or during…
Danial Entezari
The consequences of data races can be potentially very problematic [1], and it is important to determine what tools and methods are best at detecting them. The following conditions must be met for a data race to occur: two or more threads in a single process access the same memory location concurrently, at least one of…
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…
Pierre Bonzon
According to the associative theory of learning, reactive behaviors described by stimulus-response pairs result in the progressive wiring of a plastic brain. In contrast, flexible behaviors are supposedly driven by neurologically grounded mental states that involve computations on informational contents. These theories…
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…
Lisa Thomson, Daniel McDowall, Libby Marshall, Olivia Marshall + 8 more
Hierarchical self-assembly is an effective means of preparing useful materials. However, control over assembly across length scales is a difficult challenge, often confounded by the perceived need to re-design the molecular building blocks when new material properties are needed. Here, we show that we can treat a…
Peiyu Zong, Wenpeng Deng, Jian Liu, Jue Ruan
The rapid advancements in sequencing length necessitate the adoption of increasingly efficient sequence alignment algorithms. The Needleman-Wunsch method introduces the foundational dynamic programming (DP) matrix calculation for global alignment, which evaluates the overall alignment of sequences. However, this method…
Colin Graber, Yurii Vlasov, Alexander Schwing
We introduce a probabilistic model to discover the dynamic connectivity structure in a network of spiking cortical neurons. The model is evaluated on ground truth synthetic data and compared to alternative methods to ensure quality and quantification of model predictions. When applied to large-scale recordings of…
Fabian Späth, Michele Stasi, Héctor Soria-Carrera, Judit Sastre + 2 more
Dynamic combinatorial chemistry (DCC) creates libraries of molecules that are constantly interchanging in a dynamic combinatorial library. When a library member self-assembles, it can displace the equilibria, leading to emergent phenomena like its selection or even its replication. However, such dynamic combinatorial…
Jari Pronold, Jakob Jordan, Brian J. N. Wylie, Itaru Kitayama + 2 more
'Markus Diesmann' 'Susanne Kunkel'] Generic simulation code for spiking neuronal networks spends the major part of the time in the phase where spikes have arrived at a compute node and need to be delivered to their target neurons. These spikes were emitted over the last interval between communication steps by source…
Yu Zeng, David Plachetzki, Kristen Nieders, Hannah Campbell + 3 more
Fiber-reinforced soft materials possess high flexibility with high strength but are rare in nature. Hagfishes can produce a tough, fibrous slime within a fraction of a second by ejecting two cellular products, mucus and threads, into seawater. With thousands of silk-like threads, the slime is highly effective in…