Results 1 to 10 of about 190,212 (326)
Virtual Machine Support for Many-Core Architectures: Decoupling Abstract from Concrete Concurrency Models [PDF]
Electronic Proceedings in Theoretical Computer Science, 2010 The upcoming many-core architectures require software developers to exploit concurrency to utilize available computational power. Today's high-level language virtual machines (VMs), which are a cornerstone of software development, do not provide ...
Stefan Marr +6 more
doaj +6 more sources
, 2022 For optimal sports performance, many athletes will require a range of physical qualities including strength, power, and aerobic capacity. Subsequently, training is likely to contain periods where concurrent development of fitness components is required and can typically be classified into two simple training paradigms, endurance and strength training ...
Clarke, Richard +3 more
openaire +1 more source
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 +3 more
doaj +1 more source
When Memory Corruption Met Concurrency: Vulnerabilities in Concurrent Programs
IEEE Access, 2023 Concurrent programs are widespread in modern systems. They make better use of processor resources but inevitably introduce a new set of problems in terms of reliability and security.
Oscar Llorente-Vazquez +2 more
doaj +1 more source
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
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, Erez Petrank
openaire +2 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
A Concurrency-Agnostic Protocol for Multi-Paradigm Concurrent Debugging Tools [PDF]
, 2017 Today's complex software systems combine high-level concurrency models. Each model is used to solve a specific set of problems. Unfortunately, debuggers support only the low-level notions of threads and shared memory, forcing developers to reason about ...
Marr, Stefan +4 more
core +3 more sources