Results 1 to 10 of about 274,993 (222)
Verifying C11-style weak memory libraries [PDF]
Proceedings of the 26th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2021 Deductive verification of concurrent programs under weak memory has thus far been limited to simple programs over a monolithic state space. For scalabiility, we also require modular techniques with verifiable library abstractions. This paper addresses this challenge in the context of RC11 RAR, a subset of the C11 memory model that admits relaxed and ...
Sadegh Dalvandi, Brijesh Dongol
openalex +4 more sources
Biomedical Engineering / Biomedizinische Technik, 2021 Sebastian Kaule +11 more
openalex +2 more sources
Folia Oeconomica Stetinensia, 2022 Research background: Environmental factors are not adequately addressed in organizational ecology studies. At the same time, it is known that the theory has not received enough attention except for North America, which is the emerging point.
Tuncer Murathan +3 more
doaj +1 more source
Investigating Exchange Rate Pass-through to Consumer Prices in Nigeria
Folia Oeconomica Stetinensia, 2021 Research background: There have been several studies on the degree of exchange rate pass-through (ERPT) to consumer prices, as well as macroeconomic environment with yet no clear direction.
Ugwu Ephraim +2 more
doaj +1 more source
Economics and Business, 2021 The paper aims at determining the relationship between the Covid-19 contagion level and the state of the economy using high-frequency data from Puerto Rico.
Toledo Wilfredo
doaj +1 more source
The Role of Internalization of Discount Factor on Households’ Behavior Using DSGE Model
Studia Universitatis Vasile Goldis Arad, Seria Stiinte Economice, 2023 This study attempts to examine the behavior of households in the Iranian economy within the framework of a dynamic stochastic general equilibrium model with the changes made in the endogenous discount factor.
Izadi Hamid Reza
doaj +1 more source
TVP-VAR Frequency Connectedness Between the Foreign Exchange Rates of Non-Euro Area Member Countries
Folia Oeconomica Stetinensia, 2023 The main purpose of monetary integration between EU countries is to eliminate excessive fluctuations in exchange rates. High volatility in exchange rates can cause various negative economic and financial effects, especially during periods of economic ...
Akbulut Nesrin, Ari Yakup
doaj +1 more source
SnCl4 induced formation of C3-C11 alkenyl galactopyranosides as precursors for unsaturated neutral bolaforms [PDF]
Journal of the Serbian Chemical Society, 2005 The SnCl4 catalyzed glycosylation reaction of peracetylated β-D-derivatives with terminally unsaturated C3–C11 alkenols was used for the synthesis of some C3–C11 alkenyl β-D-galactopyranosides, as precursors for unsaturated neutral bolaforms.
Konstantinović Stanimir K. +5 more
doaj +3 more sources
Expected and unexpected products of reactions of 2-hydrazinylbenzothiazole with 3-nitrobenzenesulfonyl chloride in different solvents [PDF]
, 2018 Acknowledgements We thank the EPSRC National Crystallography Service (University of Southampton) for the X-ray data collections.
de Souza, Marcus V. N. +3 more
core +5 more sources