Filters








109,897 Hits in 3.7 sec

Causal consistency

Matthieu Perrin, Achour Mostefaoui, Claude Jard
2016 Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming - PPoPP '16  
with causal memory when applied to shared memory.  ...  consistency, that captures the notion of causality preservation when focusing on convergence ; causal convergence that mixes weak causal consistency and convergence; and causal consistency, that coincides  ...  In this section, we compare causal consistency applied to memory and causal memory.  ... 
doi:10.1145/2851141.2851170 dblp:conf/ppopp/PerrinMJ16 fatcat:fytfzyjv2fh5fp7zmv66xp2xn4

Causally consistent reversible choreographies

Claudio Antares Mezzina, Jorge A. Pérez
2017 Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming - PPDP '17  
As main technical result, we prove that our multiparty, reversible semantics is causally-consistent.  ...  Building upon the monitors-as-memories approach that we developed in prior work for reversible binary protocols, we present a reversible process framework for multiparty communication, which improves on  ...  This work was partially supported by EU COST through actions IC1201 (Behavioral Types for Reliable Large-Scale Software Systems), IC1402 (Runtime Verification beyond Monitoring), and IC1405 (Reversible  ... 
doi:10.1145/3131851.3131864 dblp:conf/ppdp/MezzinaP17 fatcat:rcm72e4pyvgvnkaixi4t7kypvy

Checkpoint/Rollback vs Causally-Consistent Reversibility [chapter]

Martin Vassor, Jean-Bernard Stefani
2018 Lecture Notes in Computer Science  
We show a rather tight relationship between rollback based on causal logging as performed in Manetho and the rollback algorithm underlying the calculus in [?].  ...  This paper analyzes the relationship between a distributed checkpoint/rollback scheme based on causal logging, called Manetho, and a reversible concurrent model of computation, based on the π-calculus  ...  The second step consists in tracking the causal dependency of the targeted memory: the span rule (L.span) recursively freezes dependent processes; when all dependent processes are frozen, this step ends  ... 
doi:10.1007/978-3-319-99498-7_20 fatcat:kslbvasmfrhw7bceqpkgcjqprm

Maximal Causal Models for Sequentially Consistent Systems [chapter]

Traian Florin Şerbănuţă, Feng Chen, Grigore Roşu
2013 Lecture Notes in Computer Science  
Second, since it is maximal, the proposed model allows for natural and causal-model-independent definitions of trace-based properties; this paper proposes maximal definitions for causal dataraces and causal  ...  Thus, maximal causal models are also amenable for developing practical analysis tools.  ...  To achieve a complete constructive characterization of the feasibility closure, we have to go beyond prefixes of interleavings, more exactly, one read operation per thread beyond.  ... 
doi:10.1007/978-3-642-35632-2_16 fatcat:bn4rp6cqmzendgyh4ahyywqdca

Causality–Complexity–Consistency: Can Space-Time Be Based on Logic and Computation? [chapter]

Ämin Baumeler, Stefan Wolf
2017 Time in Physics  
Finally, we show that logical consistency, by which we replace the abandoned causality, it strictly weaker a constraint than the latter in the multi-party case.  ...  First, the usual definitions of randomness depend on a causal structure and turn meaningless.  ...  This means that logical consistency does not imply a causal scenario: Causality is strictly stronger than logical consistency. VIII.  ... 
doi:10.1007/978-3-319-68655-4_6 fatcat:ucw7kgcckndqjghjlxwmhynok4

Causal Consistency and Latency Optimality: Friend or Foe? [article]

Diego Didona, Rachid Guerraoui, Jingjing Wang, Willy Zwaenepoel
2018 arXiv   pre-print
Causal consistency is an attractive consistency model for replicated data stores.  ...  Recent work has shown that causal consistency allows "latency-optimal" read-only transactions, that are nonblocking, single-version and single-round in terms of communication.  ...  The relevance of our theoretical results goes beyond the scope of CC. In fact, they apply to any consistency model strictly stronger than causal consistency, e.g., linearizability [30] .  ... 
arXiv:1803.04237v1 fatcat:izvmz4cpkvceffqnhsispg3cum

Designing a causally consistent protocol for geo-distributed partial replication

Tyler Crain, Marc Shapiro
2015 Proceedings of the First Workshop on Principles and Practice of Consistency for Distributed Data - PaPoC '15  
For many applications availability is paramout, thus strong consistency is exchanged for weaker consistencies allowing concurrent writes like causal consistency.  ...  Additionally, to address the issue of programming these systems, consistency protocols are run on top ensuring different guarantees for the data, but as shown by the CAP theorem, strong consistency, availability  ...  Causal consistency and partal replication While protocols ensuring causal consistency are generally efficient when compared to strongly consistent ones, they often do not support partial replication by  ... 
doi:10.1145/2745947.2745953 dblp:conf/eurosys/CrainS15 fatcat:d47ppgts45bpnm5mo5dsqh2svm

Launching, Entraining, and Representational Momentum: Evidence Consistent with an Impetus Heuristic in Perception of Causality

Timothy L. Hubbard
2012 Axiomathes  
Introspective experience of a perception of physical causality in the launching effect might result because behavior of movers and targets is consistent with that predicted by an impetus heuristic.  ...  Data are consistent with a hypothesis that the launching effect involves an attribution that the mover imparted to the target a dissipating impetus that was responsible for target motion.  ...  The hypothesis that motion of a launched target is attributed to an impetus imparted from the mover is consistent with Michotte's (1946 Michotte's ( /1963 findings that perception of causality in a launching  ... 
doi:10.1007/s10516-012-9186-z fatcat:2oafeel45ndnnbpibepova3ggu

Beyond History and Memory: New Perspectives in Memory Studies

Marek Tamm
2013 History Compass  
Then, it discusses the emergence of cultural memory studies, one of the most fruitful and promising trends in the memory studies of the last decade.  ...  This article outlines some recent achievements and new perspectives in contemporary memory studies.  ...  11/6 (2013): 458-473, 10.1002/HIC3.12050 Beyond History and Memory © 2013 John Wiley & Sons Ltd History Compass 11/6 (2013): 458-473, 10.1002/HIC3.12050 Beyond History and Memory © 2013 John  ... 
doi:10.1111/hic3.12050 fatcat:asvsoiq2wjfovfknejpnhebjhq

Adult Neurogenesis: Beyond Learning and Memory

Heather A. Cameron, Lucas R. Glover
2015 Annual Review of Psychology  
A complete understanding of the function of the hippocampus must explain its role in emotion and the relationship between its emotional and memory functions.  ...  Inhibition of adult neurogenesis produces some behavioral impairments that suggest a role for new neurons in learning and memory, however other behavioral changes appear inconsistent with this function  ...  However, assuming that parallel changes in adult neurogenesis and behavior indicate a causal relationship is problematic (Lazic 2010 (Lazic , 2012 .  ... 
doi:10.1146/annurev-psych-010814-015006 pmid:25251485 pmcid:PMC5612417 fatcat:bapvg6reoreghcc7efmtjukmfu

On the effects of loose causal consistency in mobile multiplayer games

Angie Chandler, Joe Finney
2005 Proceedings of 4th ACM SIGCOMM workshop on Network and system support for games - NetGames '05  
In fact, the latency of many wide area wireless networks is beyond the tolerance of most multiplayer games, rendering such applications unusable.  ...  This paper presents the design and experimental evaluation of Rendezvous, a novel decentralized consistency management mechanism that enables the collaboration of multiple players in mobile real-time games  ...  The prototype implementation currently consists of approximately 7400 lines of code, and has a static memory footprint of around 60 Kbytes.  ... 
doi:10.1145/1103599.1103602 dblp:conf/netgames/ChandlerF05 fatcat:vokqvcsyifetbhldgrpn7jdy3u

Are Implicit Causality Pronoun Resolution Biases Consistent Across Languages and Cultures?

Joshua K. Hartshorne, Yasutada Sudo, Miki Uruwashi
2013 Experimental Psychology  
implicit causality pronoun resolution biases are derived is stable across languages and cultures.  ...  Analysis of data in eight languages representing four historically unrelated language families reveals consistent pronoun resolution biases for emotion verbs, suggesting that the information upon which  ...  Allport Memorial Fund.  ... 
doi:10.1027/1618-3169/a000187 pmid:23261949 fatcat:mv2ushhcv5gvdlzoth5izfbrxu

Consistent spectral predictors for dynamic causal models of steady-state responses

Rosalyn J. Moran, Klaas E. Stephan, Raymond J. Dolan, Karl J. Friston
2011 NeuroImage  
This predictor behaves consistently and smoothly in the region of phase transitions, which permits the use of gradient descent methods for model inversion.  ...  Dynamic causal modelling (DCM) for steady-state responses (SSR) is a framework for inferring the mechanisms that underlie observed electrophysiological spectra, using biologically plausible generative  ...  This is the key contribution of this paper and affords an internally consistent method of spectral approximation for models that show bifurcations from fixed points to limit cycles and beyond.  ... 
doi:10.1016/j.neuroimage.2011.01.012 pmid:21238593 pmcid:PMC3093618 fatcat:2pv2znuexrerxfwnsynyzbwxgy

Beyond local gradient-sensing: memory effects in bacterial chemotactic navigation [article]

Adam Gosztolai, Mauricio Barahona
2019 biorxiv/medrxiv   pre-print
beyond local gradients.  ...  These timescales give rise to a cellular memory that plays a pivotal role in controlling cellular behaviour. Here we study the role of cellular memory in Escherichia coli chemotaxis.  ...  This result is consistent with cells with memory performing a non-local optimisation 28 beyond local gradient alignment.  ... 
doi:10.1101/733345 fatcat:fkmbpryadvebthl4yfz565b7jy

Histamine in the brain: Beyond sleep and memory

Maria Beatrice Passani, Patrizia Giannoni, Corrado Bucherelli, Elisabetta Baldi, Patrizio Blandina
2007 Biochemical Pharmacology  
functional studies demonstrated that activation of the central histaminergic system alters CNS functions in both behavioral and homeostatic contexts, which include sleep and wakefulness, learning and memory  ...  This is not too surprising, as memory is a complex process that consists of related but dissociable events, involving, in the elaboration of disparate learning situations, distinct brain regions activated  ...  Beyond learning and memory, histamine and cannabinoids are involved in feeding behavior Endocannabinoids and histaminergic neurons exert complex actions on neurotransmitter networks involved in cognitive  ... 
doi:10.1016/j.bcp.2006.12.002 pmid:17241615 fatcat:njulr3iwsnhn7ebat56szulgh4
« Previous Showing results 1 — 15 out of 109,897 results