نتائج البحث

Owicki-Gries Reasoning for C11 RAR

• Authors : Dalvandi, Sadegh; Doherty, Simon; Dongol, Brijesh ...

Subjects: C11; Verification; Hoare logic

تفاصيل العنوان

Futex based locks for C11's generic atomics (extended abstract) ; Verrous basés sur futex pour les opérations atomiques génériques de C11 (résumé étendue)

• Authors : Gustedt, Jens;

Subjects: lock primitives; atomics; C11Pisa; Italy

• Source: The 31st Annual ACM Symposium on Applied Computing ; https://hal.inria.fr/hal-01304108 ; The 31st Annual ACM Symposium on Applied Computing, Apr 2016, Pisa, Italy. ⟨10.1145/2851613.2851956⟩

تفاصيل العنوان

Overhauling SC atomics in C11 and OpenCL

• Authors : Batty, M; Donaldson, AF; Wickerson, JP ...

Subjects: Science & Technology; Technology; Computer ScienceSt Petersburg; FL; USA

• Source: ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) ; 648 ; 634

تفاصيل العنوان

Bases théoriques de l'évaluation des risques environnementaux (ERA) : (C11)

• Authors : Hofs, Jean-Luc

Subjects: F30 - Génétique et amélioration des plantes; P01 - Conservation de la nature et ressources foncières; P02 - Pollution

• Source: Atelier de formation - Evaluation des risques liés aux plantes génétiquement modifiées en région tropicale. Etude de cas : le cotonnier : Bobo-Dioulasso, Burkina Faso les 23, 24 et 25 mai 2011

تفاصيل العنوان

Optimal Monetary Policy with and without Debt

• Authors : Chafwehé, Boris; Oikonomou, Rigas; Priftis, Romanos

Subjects: ddc:330; E31; E52

تفاصيل العنوان

Natural rate chimera and bond pricing reality

• Authors : Brand, Claus; Goy, Gavin W; Lemke, Wolfgang

Subjects: ddc:330; C11; C32

تفاصيل العنوان

Robust Inference in Time-Varying Structural VAR Models: The DC-Cholesky Multivariate Stochastic Volatility Model

• Authors : Hartwig, Benny

Subjects: ddc:330; C11; C32

تفاصيل العنوان

Real-time equilibrium reconstruction integration into the ASDEX Upgrade control system

• Authors : Giannone, L.; Sieglin, B.; Fischer, R.

Subjects: Advanced magnetic configurations; Real-time equilibrium reconstruction code; Linux based C11++ code

تفاصيل العنوان

Active, or passive? Revisiting the role of fiscal policy in the Great Inflation

• Authors : Ettmeier, Stephanie; Kriwoluzky, Alexander

Subjects: ddc:330; C11; C15

تفاصيل العنوان

Endogenous forward guidance

• Authors : Vogel, Lukas

Subjects: ddc:330; E31; E52

تفاصيل العنوان