Results 11 to 20 of about 76,513 (294)
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
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
A Program Logic for Reasoning About C11 Programs With Release-Sequences [PDF]
IEEE Access, 2020 With the popularity of weak/relaxed memory models widely used in modern hardware architectures, the C11 standard introduced a language level weak memory model, A.K.A the C11 memory model, that allows C/C++ programs to exploit the optimisation provided by
Mengda He, Shengchao Qin, Zhiwu Xu
doaj +2 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
Don't blame me: A theory of politicians choosing policy advisors
Journal of Government and Economics, 2023 We present a model in which an imperfectly informed politician chooses between appointing an independent expert, whose advice is revealed to voters, and a loyal expert whose advice can be concealed from voters and who can therefore be blamed for a bad ...
Arthur Fishman, Doron Klunover
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
, 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
Forecasting Euro Area Inflation Using Single-Equation and Multivariate VAR–Models
Folia Oeconomica Stetinensia, 2017 Forecasting inflation is of key relevance for central banks, not least because the objective of low and stable inflation is embodied in most central banks’ mandates and the monetary policy transmission mechanism is well known to be subject to long and ...
Gerdesmeier Dieter +2 more
doaj +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