Results 61 to 70 of about 2,467,903 (217)
High-contention mutual exclusion by elevator algorithms [PDF]
, 2018 This paper presents new starvation-free hardware-assisted and software-only algorithms for the N-thread mutual-exclusion problem. The hardware-assisted versions use a single atomic-CAS instruction and no fences.
Dice, Dave +6 more
core +2 more sources
Radiative Thermal Management for Extreme Environments: Mechanisms and Design Strategies
Advanced Materials, EarlyView.In this review, we discuss the fundamental mechanisms of radiative cooling and solar heating, material and structural design strategies, hybrid approaches integrating additional heat transfer pathways, and durability‐oriented designs addressing environmental stresses.
Hyung Rae Kim +5 more
wiley +1 more source
Verification of mutual exclusion algorithms with EST
, 2001 Mutual exclusion algorithms are a simple and popular example of concurrent systems. We report about the verification of some of them with verification package EST.
Zmago Brezočnik +3 more
core
Interface‐Mediated Catalysis for Improved Hydrogen Storage in Reactive Hydride Composites
Advanced Materials, EarlyView.Catalyst–hydride interfaces are engineered in Co@C‐ and Ni@C‐modified 2LiH + MgB2 reactive hydride composites to accelerate hydrogen uptake and release. Multiscale scattering, in‐situ synchrotron radiation powder x‐ray diffraction and density functional theory calculations reveal the structural and electronic origin of the catalytic enhancement ...
Yuanyuan Shang +12 more
wiley +1 more source
, 1990 A family of four mutual exclusion algorithms is presented. Its members vary from a simple three-bilinear wait mutual exclusion to the four-bit first-come first-served algorithm immune to various faults. The algorithms are based on a scheme similar to the
Boleslaw K. Szymanski
core
Low‐Pressure Plasma‐Based Wrinkling of PDMS and Machine Learning‐Driven Property Engineering
Advanced Materials Technologies, EarlyView.Wrinkled surfaces are well‐suited for controlled surface deformations in the µm range. The key challenge is the relation between the resulting wrinkle features and the necessary process conditions. Machine learning techniques have solved the prediction and inverse design problems for various preparation conditions, opening a precisely controlled ...
Fabian Kopsch +7 more
wiley +1 more source
Modelling and Verification of Starvation-Free Mutual Exclusion Algorithms based on Weak Semaphores [PDF]
Annals of computer science and information systems, 2015 Franco Cicirelli, Libero Nigro
doaj +1 more source
Assessing transcriptomic heterogeneity of single-cell RNASeq data by bulk-level gene expression data
BMC BioinformaticsBackground Single-cell RNA sequencing (sc-RNASeq) data illuminate transcriptomic heterogeneity but also possess a high level of noise, abundant missing entries and sometimes inadequate or no cell type annotations at all.
Khong-Loon Tiong +2 more
doaj +1 more source
Empirical Evaluation of Distributed Mutual Exclusion Algorithms
, 2008 In this paper, we evaluated various distributed mutual exclusion algorithms on the IBM SP2 machine and the Intel iPSC/860 system. The empirical results are compared in terms of such criteria as the number of message exchanges and the response time.
core
Advanced Materials Technologies, EarlyView.A closed U‐shaped microfluidic platform symmetrically embeds a single, size‐controlled HT29 colorectal cancer spheroid within a GFP‐HUVEC‐laden fibrin matrix. HT29 spheroids are associated with hyper‐branched endothelial network remodeling, while vascularized co‐culture is accompanied by anisotropic protrusive growth and EMT‐like marker changes in the ...
G. Cretti +4 more
wiley +1 more source