Search
Search Results
-
Architectural Background
The correctness and performance of synchronization algorithms depend crucially on architectural details of multicore and multiprocessor machines.... -
Read-Mostly Atomicity
In Chapter 4 we considered the topic of busy-wait mutual exclusion, which achieves atomicity by allowing... -
SAHF-LightPoseResNet: Spatially-Aware Attention-Based Hierarchical Features Enabled Lightweight PoseResNet for 2D Human Pose Estimation
In recent years, 2D human pose estimation (HPE) has become increasingly important in complex computer vision tasks, including understanding human... -
A Fuzzy Logical RAT Selection Scheme in SDN-Enabled 5G HetNets
Mobile communication systems are witnessing an ongoing-increase in connected devices and new types of services. This considerable increase has led to... -
Research on Psychological Testing Methods of Criminal Suspects Based on Multi-features of EEG
P300 is a commonly used indicator for testing the psychology of criminal suspects, but it has problems such as weak signal and large amount of... -
Using MPIs Non-Blocking Allreduce for Health Checks in Dynamic Simulations
Large-scale simulations often require frequent checks on global conditions that are not directly needed for the computation itself. While such health... -
Parallelizable Loop Detection using Pre-trained Transformer Models for Code Understanding
Parallel programming is essential to utilize multi-core processors but remains challenging because it requires extensive knowledge of both software... -
Design of Query Based Gallery Selector and Mask-Aware Loss for Person Search
Person search is a challenging computer vision task that aims to simultaneously locate and identify a query person from panoramic images. To address... -
A Data-Centric Approach for Efficient and Scalable CFD Implementation on Multi-GPUs Clusters
Scalability is a crucial factor determining the performance of massive heterogeneous parallel CFD applications on the multi-GPUs platforms,... -
List-Based Workflow Scheduling Utilizing Deep Reinforcement Learning
Workflow scheduling is a well-known NP-complete research problem with wide applications and increasing importance. Traditionally, heuristic and... -
ε-Maximum Critic Deep Deterministic Policy Gradient for Multi-agent Reinforcement Learning
In Multi-Agent Reinforcement Learning, the agents are vulnerable to the other agents and the training environment, which can lead to agents’ policy... -
Actors Upgraded for Variability, Adaptability, and Determinism
The Rebeca modeling language is designed as an imperative actor-based language with the goal of providing an easy-to-use language for modeling... -
A Survey of Actor-Like Programming Models for Serverless Computing
Serverless computing promises to significantly simplify cloud computing by providing Functions-as-a-Service where invocations of functions, triggered... -
Integrated Timed Architectural Modeling/Execution Language
We discuss an integrated approach for the design, specification, automatic deployment and simulation of microservice-based applications based on the... -
Context-Aware Trace Contracts
The behavior of concurrent, asynchronous procedures depends in general on the call context, because of the global protocol that governs scheduling.... -
Correction to: Shared-Memory Synchronization
Correction to: M. L. Scott and T. Brown, Shared-Memory Synchronization, Synthesis Lectures on Computer Architecture,... -
Transactional Memory
Transactional memory (TM) has been one of the most active areas of synchronization research over the course of the past two decades, spanning... -
Practical Spin Locks
The mutual exclusion problem was first identified in the early 1960s. Dijkstra attributes the first 2-thread solution to Theodorus Dekker (Dijkstra... -
Introduction
In computer science, as in real life, concurrency makes it much more difficult to reason about events. In a linear sequence, if... -
Nonblocking Algorithms
When devising a concurrent data structure, we typically want to arrange for methods to be atomic—most often linearizable (Sec. 3.1.2...