Skip to search formSkip to main contentSkip to account menu

Sequential consistency

Sequential consistency is one of the consistency models used in the domain of concurrent computing (e.g. in distributed shared memory, distributed… 
Wikipedia (opens in a new tab)

Related topics

Related topics

15 relations
Cache coherenceCausal consistencyConcurrent computingConcurrent data structure

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Effective abstractions for verification under relaxed memory models
2013
2013
Lasso screening with a small regularization parameter
Screening for lasso problems is a means of quickly reducing the size of the dictionary needed to solve a given instance without… 
2010
2010
An Intuitionistic Epistemic Logic for Sequential Consistency on Shared Memory
In the celebrated Godel Prize winning papers, Herlihy, Shavit, Saks and Zaharoglou gave topological characterization of waitfree… 
2004
2004
Safety property verification using sequential SAT and bounded model checking
Model checkers verify properties of safety- or business-critical systems. The main idea behind model checking is to convert a… 
2002
2002
On Abstractions and Simplifications in the Design of Human-Automation Interfaces
Summary This report addresses the design of human-automation interaction from a formal perspectivethat focuses on the information… 
Highly Cited
1991
Highly Cited
1991
A parallel shortest augmenting path algorithm for the assignment problem
Abstract : We describe a parallel version of the shortest augmenting path algorithm for the assignment problem. While generating… 
Highly Cited
1991
Highly Cited
1991
Proving sequential consistency of high-performance shared memories (extended abstract)
Relaxed consistency models such as weak consistency or release consistency may be understood as a contract between programmer and… 
Highly Cited
1990
Highly Cited
1990
Implementing Sequential Consistency in Cache-Based Systems
A model for shared-memory systems commonly (and often implicitly) assumed by programmers is that of sequential consistency. For… 
1967
1967
Truncated sequential hypothesis tests
Through a careful examination of the equations by which Wald determines the values of the boundaries for tests of sequential… 
1952
1952
Tables to Facilitate Sequential t-Tests.
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)