Results 41 to 50 of about 78,918 (241)

Snap-On User-Space Manager for Dynamically Reconfigurable System-on-Chips

IEEE Access, 2019
Due to increased embedded processing requirements, modern SoCs are becoming heterogeneous computing platforms by combining traditional processing units with custom reconfigurable hardware accelerators (HAs) on an FPGA fabric.
Andrea Guerrieri, Sahand Kashani-Akhavan, Mikhail Asiatici, Paolo Ienne   +3 more
doaj   +1 more source

Understanding Persistent-Memory Related Issues in the Linux Kernel [PDF]

, 2023
Om Rameshwar Gatla, Duo Zhang, Wei Xu, Mai Zheng   +3 more
openalex   +3 more sources

Static Verification of Linux Kernel Configurations

Труды Института системного программирования РАН, 2018
The Linux kernel is often used as a real world case study to demonstrate novel software product line engineering research methods. It is one of the most sophisticated programs nowadays.
S. V. Kozin, V. S. Mutilin
doaj   +1 more source

Prototyping the recursive internet architecture: the IRATI project approach [PDF]

, 2014
In recent years, many new Internet architectures are being proposed to solve shortcomings in the current Internet. A lot of these new architectures merely extend the current TCP/IP architecture and hence do not solve the fundamental cause of these ...
Bergesio, Leonardo, Colle, Didier, Grasa, Eduard, Salvestrini, Francesco, Staessens, Dimitri, Tarzan, Miquel, Vrijders, Sander   +6 more
core   +1 more source

A Formal Verification Approach for Linux Kernel Designing

Technologies
Although the Linux kernel is widely used, its complexity makes errors common and potentially serious. Traditional formal verification methods often have high overhead and rely heavily on manual coding.
Zi Wang, Yuqing Lan, Xinlei He, Jianghua Lv   +3 more
doaj   +1 more source

Thread-Aware Mechanism to Enhance Inter-Node Load Balancing for Multithreaded Applications on NUMA Systems

Applied Sciences, 2021
NUMA multi-core systems divide system resources into several nodes. When an imbalance in the load between cores occurs, the kernel scheduler’s load balancing mechanism then migrates threads between cores or across NUMA nodes.
Mei-Ling Chiang, Wei-Lun Su
doaj   +1 more source

Cluster optimisation using Cgroups at a tier-2 [PDF]

, 2016
The Linux kernel feature Control Groups (cgroups) has been used to gather metrics on the resource usage of single and eight-core ATLAS workloads. It has been used to study the effects on performance of a reduction in the amount of physical memory.
Britton, D., Crooks, D., Qin, G., Roy, G., Skipsey, S.C., Stewart, G.P.   +5 more
core   +1 more source

Models and approaches to attack surface analysis for fuzz testing of the Linux kernel

Безопасность информационных технологий
The purpose of the study was to analyze possible methods for determining the attack surface in relation to solving the problem of fuzzing testing the kernel of operating systems of the Linux family and selecting the most suitable one.
Pavel A. Teplyuk, Aleksei G. Yakunin
doaj   +1 more source

Faults in Linux 2.6 [PDF]

, 2014
In August 2011, Linux entered its third decade. Ten years before, Chou et al. published a study of faults found by applying a static analyzer to Linux versions 1.0 through 2.4.1. A major result of their work was that the drivers directory contained up to
Calvès, Christophe, Lawall, Julia L., Muller, Gilles, Palix, Nicolas, Saha, Suman, Thomas, Gaël   +5 more
core   +5 more sources

Accurate Identification of Protein Binding Sites for All Drug Modalities Using ALLSites

Advanced Science, EarlyView.
ALLSites is a unified sequence‐based framework for identifying proteome‐wide binding sites across all drug modalities. It integrates a gated convolutional network with a transformer architecture to capture residue interactions directly from the sequence.
Minjie Mou, Mingkun Lu, Zhimeng Zhou, Yanlin Ren, Xinyuan Yu, Ziqi Pan, Yuan Zhou, Hao Yang, Lingyan Zheng, Shukai Gu, Yang Zhang, Wei Hu, Fengcheng Li, Haibin Dai, Feng Zhu   +14 more
wiley   +1 more source