Cargando…

Modular Relaxed Dependencies in Weak Memory Concurrency

We present a denotational semantics for weak memory concurrency that avoids thin-air reads, provides data-race free programs with sequentially consistent semantics (DRF-SC), and supports a compositional refinement relation for validating optimisations. Our semantics identifies false program dependen...

Descripción completa

Detalles Bibliográficos
Autores principales:	Paviotti, Marco, Cooksey, Simon, Paradis, Anouk, Wright, Daniel, Owens, Scott, Batty, Mark
Formato:	Online Artículo Texto
Lenguaje:	English
Publicado:	2020
Materias:	Article
Acceso en línea:	https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7702250/ http://dx.doi.org/10.1007/978-3-030-44914-8_22

Ejemplares similares

Weak-strong duality and the modular group
por: Zaganescu, M
Publicado: (1995)

Coincident Correlation between Vibrational Dynamics and Primary Relaxation of Polymers with Strong or Weak Johari-Goldstein Relaxation
por: Tripodo, Antonio, et al.
Publicado: (2020)

Does sleep-dependent consolidation favour weak memories?
por: Petzka, Marit, et al.
Publicado: (2021)

Relaxing the weak scale: A new approach to the hierarchy problem
por: Pomarol, Alex
Publicado: (2015)

Modular Fluxes, Elliptic Genera, and Weak Gravity Conjectures in Four Dimensions
por: Lee, Seung-Joo, et al.
Publicado: (2019)

Measurement of relaxation times in extensional flow of weakly viscoelastic polymer solutions
por: Sousa, Patrícia C., et al.
Publicado: (2016)

Is inversion time dependent on relaxivity?
por: Yamrozik, June A, et al.
Publicado: (2009)

Mastering Java 9: write reactive, modular, concurrent, and secure code
por: Lavieri, Edward D, et al.
Publicado: (2017)

Memory and Modularity in Cell-Fate Decision Making
por: Norman, Thomas M., et al.
Publicado: (2013)

Optimal modularity and memory capacity of neural reservoirs
por: Rodriguez, Nathaniel, et al.
Publicado: (2019)

Modular synthesis, host–guest complexation and solvation-controlled relaxation of nanohoops with donor–acceptor structures
por: Deng, Han, et al.
Publicado: (2022)

Debye formulas for a relaxing system with memory
por: Klik, Ivo, et al.
Publicado: (2018)

Influence of goals on modular brain network organization during working memory
por: Gallen, Courtney L., et al.
Publicado: (2023)

Weak Dependence: With Examples and Applications
por: Dedecker, Jérôme, et al.
Publicado: (2007)

Sex-dependent effects of multiple acute concurrent stresses on memory: a role for hippocampal estrogens
por: Hokenson, Rachael E., et al.
Publicado: (2022)

Oxygen saturation-dependent effects on blood transverse relaxation at low fields
por: Thomas, Dion G., et al.
Publicado: (2022)

Working Memory Replay Prioritizes Weakly Attended Events
por: Jafarpour, Anna, et al.
Publicado: (2017)

Mastering Java 11: develop modular and secure Java applications using concurrency and advanced JDK libraries
por: Lavieri, Edward D
Publicado: (2018)

Brain Network Modularity During a Sustained Working-Memory Task
por: Moraschi, Marta, et al.
Publicado: (2020)

Number theory and modular forms: papers in memory of Robert A Rankin
por: Berndt, Bruce, et al.
Publicado: (2003)

Changes in global and regional modularity associated with increasing working memory load
por: Stanley, Matthew L., et al.
Publicado: (2014)

Tailoring relaxation dynamics and mechanical memory of crumpled materials by friction and ductility
por: van Bruggen, Eric, et al.
Publicado: (2019)

Emergent weak home-range behaviour without spatial memory
por: Sakiyama, Tomoko, et al.
Publicado: (2016)

Relational memory weakness in autism despite the use of a controlled encoding task
por: Minor, Greta N., et al.
Publicado: (2023)

Modular units
por: Kubert, Daniel S, et al.
Publicado: (1981)

Metabolic Network Modularity in Archaea Depends on Growth Conditions
por: Takemoto, Kazuhiro, et al.
Publicado: (2011)

A Strong Approach to a Weak Gastric Wall in Bariatric Surgery: Concurrent Diverticulectomy and Sleeve Gastrectomy
por: Wylie, Laura E, et al.
Publicado: (2020)

Natural variability and the influence of concurrent control values on the detection and interpretation of low-dose or weak endocrine toxicities.
por: Ashby, John, et al.
Publicado: (2004)

Modular Chimeric Antigen Receptor Systems for Universal CAR T Cell Retargeting
por: Sutherland, Ashley R., et al.
Publicado: (2020)

Concurrent visual and motor selection during visual working memory guided action
por: van Ede, Freek, et al.
Publicado: (2019)

Succinylcholine relaxant: Anaesthesiologist not relaxed!
por: Ninan, Sarah, et al.
Publicado: (2010)

Asymptotic theory of weakly dependent random processes
por: Rio, Emmanuel
Publicado: (2017)

Bistable, Irregular Firing and Population Oscillations in a Modular Attractor Memory Network
por: Lundqvist, Mikael, et al.
Publicado: (2010)

Introducing double bouquet cells into a modular cortical associative memory model
por: Chrysanthidis, Nikolaos, et al.
Publicado: (2019)

Dependence of thick filament structure in relaxed mammalian skeletal muscle on temperature and interfilament spacing
por: Caremani, Marco, et al.
Publicado: (2021)

Human and murine memory γδ T cells: Evidence for acquired immune memory in bacterial and viral infections and autoimmunity
por: Comeau, Kevin, et al.
Publicado: (2020)

A Spatial Data Infrastructure for Environmental Noise Data in Europe †
por: Abramic, Andrej, et al.
Publicado: (2017)

Effect of two yoga-based relaxation techniques on memory scores and state anxiety
por: Subramanya, Pailoor, et al.
Publicado: (2009)

Transformation-Induced Relaxation and Stress Recovery of TiNi Shape Memory Alloy
por: Takeda, Kohei, et al.
Publicado: (2014)

Detailed Episodic Memory Depends on Concurrent Reactivation of Basic Visual Features within the Posterior Hippocampus and Early Visual Cortex
por: Bone, Michael B, et al.
Publicado: (2021)

Cannot write session to /tmp/vufind_sessions/sess_anj4sjch4vfqi110ifm2meop51