„Memory Model“

Suchergebnisse

2.440 Treffer

• Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris
  Kaiser, Jan-Oliver ; Dang, Hoang-Hai ; Dreyer, Derek ; Lahav, Ori ; Vafeiadis, Viktor 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Benefits of Duality in Verifying Concurrent Programs under TSO
  Abdulla, Parosh Aziz ; Atig, Mohamed Faouzi ; Bouajjani, Ahmed ; Ngo, Tuan Phong 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Efficient Algorithms with Asymmetric Read and Write Costs
  Blelloch, Guy E. ; Fineman, Jeremy T. ; Gibbons, Phillip B. ; Gu, Yan ; Shun, Julian 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics
  Bach Poulsen, Casper ; Néron, Pierre ; Tolmach, Andrew ; Visser, Eelco 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Cooking the Books: Formalizing JMM Implementation Recipes
  Petri, Gustavo ; Vitek, Jan ; Jagannathan, Suresh 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Silently Shifting Semicolon
  Marino, Daniel ; Millstein, Todd ; Musuvathi, Madanlal ; Narayanasamy, Satish ; Singh, Abhayendra 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Stability, sensitivity, and bifurcation analysis of a fractional-order HIV model of CD $$4^+$$ 4 + T cells with memory and external virus transmission from macrophages
  Sardar, Purnendu ; Biswas, Santosh ; Das, Krishna Pada ; Sahani, Saroj Kumar ; Gupta, Vikas
• Efficient Memory Management for Modelica Simulations
  Scuttari, Michele ; Camillucci, Nicola ; Cattaneo, Daniele ; Terraneo, Federico ; Agosta, Giovanni 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Applying the Cognitive Model of Post-Traumatic Stress to Examine the Role of Appraisals, Trauma Memory, and Coping Strategies Following Pediatric Injury: A Systematic Review
  Patronick, Jamie ; Molloy, Kelly R. ; Bothwell, Sabrina J. ; Wade, Shari L.
• Fibrinogen-tau Aggregates Exacerbate Tau Pathology and Memory Deficits in Alzheimer’s Disease Model Mice
  Wen, Tingting ; Meng, Lanxia ; Liu, Han ; Zhang, Qian ; Dai, Lijun ; Huang, Liqin ; Dan, Liang ; Zhu, Kedong ; Luo, Jiaying ; Zhang, Zhaohui
• Multilevel Accentuation and its Role in the Memorization of Narrative
  Sobchuk, Oleg 2014 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Toward Neurally-Inspired Computational Models of Narrative (Invited Talk)
  Zacks, Jeffrey M. 2014 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Verifying Optimizations for Concurrent Programs
  Mansky, William ; Gunter, Elsa L. 2014 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Gist and Verbatim in Narrative Memory
  Broniatowski, David A. ; Reyna, Valerie F. 2013 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Foundations of Persistent Programming (Dagstuhl Seminar 21462)
  Boehm, Hans-J. ; Lahav, Ori ; Raad, Azalea
• New Challenges in Parallelism (Dagstuhl Seminar 17451)
  Bieniusa, Annette ; Boehm, Hans-J. ; Herlihy, Maurice ; Petrank, Erez
• Concurrency with Weak Memory Models (Dagstuhl Seminar 16471)
  Alglave, Jade ; Cousot, Patrick ; Urban, Caterina
• Data Structures and Advanced Models of Computation on Big Data (Dagstuhl Seminar 16101)
  Lopez-Ortiz, Alejandro ; Meyer, Ulrich Carsten ; Nebel, Markus E. ; Sedgewick, Robert
• Insulin signaling disruption exacerbates memory impairment and seizure susceptibility in an epilepsy model with Alzheimer’s disease-like pathology
  Alves, Suélen Santos ; Servilha-Menezes, Gabriel ; Rossi, Letícia ; Oliveira, José Antonio Cortes de ; Grigorio-de-Sant’Ana, Mariana ; Sebollela, Adriano ; Silva-Junior, Rui Milton Patrício da ; Garcia-Cairasco, Norberto
• Dynamics of a memory-based diffusion zooplankton–phytoplankton model with effect of toxins
  Shao, Yutong ; Zhang, Xuebing ; Li, Shunji