Results 11 to 20 of about 77,699 (297)
Verifying C11 programs operationally [PDF]
Proceedings of the 24th Symposium on Principles and Practice of Parallel Programming, 2019 This paper develops an operational semantics for a release-acquire fragment of the C11 memory model with relaxed accesses. We show that the semantics is both sound and complete with respect to the axiomatic model. The semantics relies on a per-thread notion of observability, which allows one to reason about a weak memory C11 program in program order ...
Simon Doherty +3 more
openaire +5 more sources
MRSA-Triggered Disassembly of an Immune-Recruiting NIR Probe for Bacterial Imaging and Clearance. [PDF]
Adv Sci (Weinh)A bacteria–immune cell‐bridging supramolecular amphiphile, Dman‐C11, undergoes MRSA membrane‐triggered disassembly to activate NIR fluorescence and photodynamic killing, inducing ferroptosis‐like bacterial death and immune‐assisted clearance in wound infection and keratitis models.
Du J +7 more
europepmc +2 more sources
Overhauling SC atomics in C11 and OpenCL [PDF]
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016 Despite the conceptual simplicity of sequential consistency (SC), the semantics of SC atomic operations and fences in the C11 and OpenCL memory models is subtle, leading to convoluted prose descriptions that translate to complex axiomatic formalisations.
Batty, Mark +2 more
openaire +4 more sources
Owicki-Gries Reasoning for C11 RAR. [PDF]
, 2020 Owicki-Gries reasoning for concurrent programs uses Hoare logic together with an interference freedom rule for concurrency. In this paper, we develop a new proof calculus for the C11 RAR memory model (a fragment of C11 with both relaxed and release-acquire accesses) that allows all Owicki-Gries proof rules for compound statements, including non ...
Sadegh Dalvandi +3 more
openaire +5 more sources
Fence Synthesis Under the C11 Memory Model
, 2022 The C/C++11 (C11) standard offers a spectrum of ordering guarantees on memory access operations. The combinations of such orderings pose a challenge in developing correct and efficient weak memory programs. A common solution to preclude those program outcomes that violate the correctness specification is using C11 synchronization-fences, which ...
Sanjana Singh +3 more
openaire +4 more sources
Emanuele Severino e la struttura originaria Verità originaria, regimi dell’apparire e criterio di ...
+10 more sources
Owicki-Gries Reasoning for C11 Programs with Relaxed Dependencies ⋆ [PDF]
, 2021 Deductive verification techniques for C11 programs have advanced significantly in recent years with the development of operational semantics and associated logics for increasingly large fragments of C11.
dongol, Brijesh
core +1 more source
, 2023 C11-oxy C19 and C11-oxy C21 steroids have been identified as novel steroids but their function remains unclear. This study aimed to investigate the pre-receptor regulation of C11-oxy steroids by 11β-hydroxysteroid dehydrogenase (11βHSD ...
Desmaré Van Rooyen +3 more
core +1 more source
Metals, 2022 The effects of V and Si vacancies on structural stability, elastic properties, brittleness-toughness transition, Debye temperature and electronic properties of tetragonal C11b-VSi2 are investigated using the first-principles calculations.
Shan Xu +3 more
doaj +1 more source
Screening and Enzymatic Properties of Lipase-producing Strains and Effects of Their Inoculation on Flavor Compounds of Fermented Sour Meat [PDF]
Shipin Kexue, 2023 In this study, six lipase-producing strains from food sources were screened for their ability to produce lipase. Among them, Staphylococcus epidermidis N30 and Yarrowia lipolytica C11 demonstrated high enzyme activities of 1.07 and 0.84 U/mL ...
JIANG Cuicui, SHANG Hao, ZHANG Sufang, LIANG Huipeng, JI Chaofan, CHEN Yingxi, LIN Xinping
doaj +1 more source