Feedback-Based Control Loop Congestion Control Algorithm for Wireless Networks
Wi-Fi plays a crucial role in connecting private professional networks by providing varying data rates based on channel quality. Despite advancements in Wi-Fi protocols, there is still a problem of throughput degradation for higher data rate devices when
Ramyashree Venkatesh Bhat +3 more
doaj +1 more source
A Web Tool to Help Counter the Spread of Misinformation and Fake News: Pre-Post Study Among Medical Students to Increase Digital Health Literacy. [PDF]
Moretti V +7 more
europepmc +1 more source
This paper examines the impact of migrating large-scale data processing frameworks from bare-metal servers to cloud-native environments on system performance.
Habiba Ben Abderrahmane +4 more
doaj +1 more source
Enhancing Mitigation of Volumetric DDoS Attacks: A Hybrid FPGA/Software Filtering Datapath. [PDF]
Salopek D, Mikuc M.
europepmc +1 more source
Concurrency Testing in the Linux Kernel via eBPF
Concurrency is indispensable for modern software systems to meet performance and scalability demands, yet concurrency bugs remain notoriously difficult to detect and reproduce. Controlled Concurrency Testing (CCT) mitigates this challenge by systematically exploring thread interleavings through scheduling control.
Jiacheng Xu +4 more
openaire +3 more sources
Higher-Order Belief Propagation Correction Decoder for Polar Codes. [PDF]
Zhang M, Li Z, Xing L, Liao X.
europepmc +1 more source
Effect of scan strategy on the formation of a pure nickel single-crystal structure using a flat-top laser beam via laser powder bed fusion. [PDF]
Jodi DE, Kitashima T, Watanabe M.
europepmc +1 more source
Analysis of the eBPF Vulnerabilities in the Linux Kernel
DisclaimerThis is a preprint version of the manuscript, submitted prior to peer review. The content may change before final publication. The final published version, once available, will be accessible via its DOI.
Rosario Rizza +2 more
openaire +2 more sources
Improving Paravirtualization using eBPF
Virtual machines (VMs) enabled cloud computing but their isolation prevents software performance hints from reaching hardware, leading to unmet guarantees (e.g., CPU isolation).
LEONARDI, LUIGI
core
Automatic Bit- and Memory-Precise Verification of eBPF Code
International audienceWe propose a translation from eBPF (extended Berkeley Packet Filter) code to CHC (Constrained Horn Clause sets) over the combined theory of bitvectors and arrays.
Weidenbach, Christoph +2 more
core +1 more source

