Results 251 to 260 of about 77,699 (297)
Mechanised Operational Reasoning for C11 Programs With Relaxed Dependencies
Formal Aspects of Computing, 2023 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. However, these semantics and logics have been developed in a
Mark Batty +2 more
exaly +2 more sources
Some of the next articles are maybe not open access.
Related searches:
Related searches:
2021
The C11 standard, formally known as ISO/IEC 9899:2011, was a C standard adopted in late 2011. The C11 standard replaced the C99 standard and was superseded by C17. C11 introduces new features to the C language and C standard library and modifies a few existing ones. Here, we discuss some of the notable features.
openaire +1 more source
The C11 standard, formally known as ISO/IEC 9899:2011, was a C standard adopted in late 2011. The C11 standard replaced the C99 standard and was superseded by C17. C11 introduces new features to the C language and C standard library and modifies a few existing ones. Here, we discuss some of the notable features.
openaire +1 more source
Towards a Program Logic for C11 Release-Sequences
, 2018 By accepting order weakening for memory operations, the C11 memory model allows C/C++ programs to take advantage of modern hardware architectures, where weak/relaxed memory models are now the norm.
Mengda He, Shengchao Qin
exaly +2 more sources
2014
Dieses Kapitel gibt Einblicke in die Entwicklung von Programmen mit mehreren nebenlaufigen Code-Teilen.
Joachim Goll, Manfred Dausmann
openaire +1 more source
Dieses Kapitel gibt Einblicke in die Entwicklung von Programmen mit mehreren nebenlaufigen Code-Teilen.
Joachim Goll, Manfred Dausmann
openaire +1 more source
2011
CYTOTOXIC immunosuppressive agents have a longstanding important role in pharmacological immunosuppression. Azathioprine was among the first immunosuppressive drugs used in organ transplantation, and further development in this field was landmarked by the introduction of ALKYLATING AGENTS (i.e., cyclophosphamide) and ANTIMETABOLITES (i.e., fludarabine,
Romano Danesi +4 more
openaire +1 more source
CYTOTOXIC immunosuppressive agents have a longstanding important role in pharmacological immunosuppression. Azathioprine was among the first immunosuppressive drugs used in organ transplantation, and further development in this field was landmarked by the introduction of ALKYLATING AGENTS (i.e., cyclophosphamide) and ANTIMETABOLITES (i.e., fludarabine,
Romano Danesi +4 more
openaire +1 more source
Gamma-ray transitions in C11 from the B10(d, nγ)C11 reaction
Nuclear Physics, 1962Abstract The detection of gamma-rays in coincidence with neutrons, whose energies have been selected by time-of-flight, has enabled the decay scheme of levels below 7 MeV to be partially determined. The few n-γ angular correlations measured were not markedly anisotropic.
openaire +1 more source