Results 1 to 10 of about 5,729 (168)
PVcon: Localizing Hidden Concurrency Errors With Prediction and Verification
IEEE Access, 2020 Multi-core techniques have been widely used in various hardware platforms, promoting development of concurrent programs. Unfortunately, concurrent programs are prone to concurrency errors.
Zhenwu Xu
exaly +3 more sources
Prevalence of Gastrointestinal Parasites in Blackbuck (Antelope cervicapra Linnaeus, 1758) of Blackbuck Conservation Area, Khairapur, Bardia, Nepal [PDF]
Veterinary Medicine and ScienceBackground Blackbuck is a species of antelope native to the Indian subcontinent. This study aimed to investigate the prevalence, diversity, and concurrency of gastrointestinal parasites in the blackbuck population of the Blackbuck Conservation Area in ...
Muna Thapa, Janak Raj Subedi
doaj +2 more sources
Converting Concurrent Range Index Structure to Range Index Structure for Disaggregated Memory
Applied Sciences, 2023 In this work, we propose the Spread approach, which tailors a concurrent range index structure to a range index structure for disaggregated memory connected via RDMA (Remote Direct Memory Access).
Bonmoo Koo +3 more
doaj +1 more source
A Scalable Data Structure for Efficient Graph Analytics and In-Place Mutations
Data, 2023 The graph model enables a broad range of analyses; thus, graph processing (GP) is an invaluable tool in data analytics. At the heart of every GP system lies a concurrent graph data structure that stores the graph. Such a data structure needs to be highly
Soukaina Firmli, Dalila Chiadmi
doaj +1 more source
Proceedings of the ACM on Programming Languages, 2022 The size of a data structure (i.e., the number of elements in it) is a widely used property of a data set. However, for concurrent programs, obtaining a correct size efficiently is non-trivial. In fact, the literature does not offer a mechanism to obtain a correct (linearizable) size of a concurrent data set without resorting to inefficient solutions ...
Gal Sela 0001, Erez Petrank
openaire +3 more sources
Stackable Transactional File System Using Kernel-Level WAL
IEEE Access, 2022 User applications that require transactional file access generally use user-level transactional protocols such as logging, atomic rename, since the POSIX interface does not support transactional file operations.
Daejun Park, Dongkun Shin
doaj +1 more source
Mathematical Structures in Computer Science, 2021 AbstractWe show how concurrent quantales and concurrent Kleene algebras arise as convolution algebras of functions from relational structures with two ternary relations that satisfy relational interchange laws into concurrent quantales or Kleene algebras, among others.
James Cranch +2 more
openaire +4 more sources
Towards Composable Concurrency Abstractions [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 In the past decades, many different programming models for managing concurrency in applications have been proposed, such as the actor model, Communicating Sequential Processes, and Software Transactional Memory.
Janwillem Swalens +3 more
doaj +1 more source
Logical Methods in Computer Science, 2021 We give a formalization of Pratt's intuitive sculpting process for higher-dimensional automata (HDA). Intuitively, an HDA is a sculpture if it can be embedded in (i.e., sculpted from) a single higher dimensional cell (hypercube). A first important result of this paper is that not all HDA can be sculpted, exemplified through several natural acyclic HDA,
Fahrenberg, Uli +3 more
openaire +8 more sources
Testing concurrent benefits for Section 12L tax incentives in South Africa
Journal of Energy in Southern Africa, 2020 The South African energy crisis harms the economy. Tax incentives are intended to help, but rules for incentives must be understood by all stakeholders for taxpayers to be encouraged to invest. Section 12L (S12L) is relatively new legislation that allows
W. Hamer +4 more
doaj +1 more source