12 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…
Martin Wilhelm
| 1. | Introduction | | 1 | | --- | --- | --- | --- | | 2. | | Thread Management | 2 | | 3. | | DAG Node Implementation | 9 | | | 3.1. | Ensuring Multithread-safety | 9 | | | 3.2. | Parallelizing the Evaluation | 14 | | | 3.3. | Class overview | 21 | | | A. Appendix: Remaining code segments | | 24 |
M. Irfan Uddin
Traditional processors use the von Neumann execution model, some other processors in the past have used the dataflow execution model. A combination of von Neuman model and dataflow model is also tried in the past and the resultant model is referred as hybrid dataflow execution model. We describe a hybrid dataflow model…
Pascal Baumann, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche
'Georg Zetzsche'] Dynamic networks of concurrent pushdown systems (DCPS) are a theoretical model for multithreaded recursive programs with shared global state and dynamical creation of threads. The (global) state reachability problem for DCPS is undecidable in general, but Atig et al. (2009) showed that it becomes…
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…
Ioannis T. Christou, Sofoklis Efremidis
We revisit the well-known object-pool design pattern in Java. In the last decade, the pattern has attracted a lot of criticism regarding its validity when used for light-weight objects that are only meant to hold memory rather than any other resources (database connections, sockets etc.) and in fact, common opinion…
Yangchan Moon, Mingyu Lim
In this paper, we propose an enhanced file transfer mechanism for a communication framework (CM) for Internet of Things (IoT) applications. Our previous file transfer method uses a basic non-blocking communication channel and thread for the CM (non-blocking method), but this method has a cost of adding additional bytes…
Ben Langmead, Christopher Wilks, Valentin Antonescu, Rone Charles
General-purpose processors can now contain many dozens of processor cores and support hundreds of simultaneous threads of execution. To make best use of these threads, genomics software must contend with new and subtle computer architecture issues. We discuss some of these and propose methods for improving thread…
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…
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…
Tammo Ippen, Jochen M. Eppler, Hans E. Plesser, Markus Diesmann
Recent advances in the development of data structures to represent spiking neuron network models enable us to exploit the complete memory of petascale computers for a single brain-scale network simulation. In this work, we investigate how well we can exploit the computing power of such supercomputers for the creation…
Yann Garniron, Thomas Applencourt, Kevin Gasperich, Anouar Benali + 15 more
Quantum Package is an open-source programming environment for quantum chemistry specially designed for wave function methods. Its main goal is the development of determinant-driven selected configuration interaction (sCI) methods and multi-reference second-order perturbation theory (PT2). The determinant-driven…