Search
Search Results
-
Memory-Mapped Input/Output
Have you ever wondered how your computer seamlessly interacts with external devices, such as storage drives, network interfaces, and peripherals? The... -
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... -
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... -
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.... -
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... -
Read-Mostly Atomicity
In Chapter 4 we considered the topic of busy-wait mutual exclusion, which achieves atomicity by allowing... -
Architectural Background
The correctness and performance of synchronization algorithms depend crucially on architectural details of multicore and multiprocessor machines.... -
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 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... -
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,... -
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... -
ε-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... -
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... -
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... -
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... -
Interrupts and Interrupt Handling
Have you ever wondered how computer components demand and get attention from the CPU? How do they tell the CPU or operating system that something... -
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... -
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... -
Correction to: Shared-Memory Synchronization
Correction to: M. L. Scott and T. Brown, Shared-Memory Synchronization, Synthesis Lectures on Computer Architecture,...