Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,209,237 papers from all fields of science
Search
Sign In
Create Free Account
Sequential consistency
Sequential consistency is one of the consistency models used in the domain of concurrent computing (e.g. in distributed shared memory, distributed…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
15 relations
Cache coherence
Causal consistency
Concurrent computing
Concurrent data structure
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Lightweight Concurrency Verification With Views
2017
Corpus ID: 31688907
Modern program logics have made it feasible to verify the most complex concurrent algorithms. However, many such logics are…
Expand
2014
2014
Identifying Structures in Team Communication Using Hierarchical Clustering
S. McComb
,
D. Kennedy
,
Rebecca Perryman
2014
Corpus ID: 55402493
While team communication during collaborative activities may appear chaotic and unstructured, past research suggests that it may…
Expand
2013
2013
Programming Large Dynamic Data Structures on a DSM Cluster of Multicores ∗
Sai Charan Koduru
,
Min Feng
,
Rajiv Gupta
2013
Corpus ID: 9978870
Applications in increasingly important domains such as data mining and graph analysis operate on very large, dynamically…
Expand
2005
2005
La Inserción laboral de personas con discapacidad. Desarrollo de tres investigaciones acerca de los factores favorecedores de los procesos de inserción
Maria Pallisera
,
Judit Fullana
,
M. Vila
2005
Corpus ID: 191019632
This article presents the process followed and the results of three pieces of research centred on the work integration of people…
Expand
2005
2005
Towards Robustness in Parallel SAT Solving
Wolfgang Blochinger
International Conference on Parallel Computing
2005
Corpus ID: 5273622
c © 2006 by John von Neumann Institute for Computing Permission to make digital or hard copies of portions of this work for…
Expand
Review
2004
Review
2004
A Mechanism for Sequential Consistency in a Distributed Objects System
Cristian Tapus
,
A. Nogin
,
J. Hickey
,
Jerome White
Parallel and Distributed Computing Systems (ISCA)
2004
Corpus ID: 14961819
This paper presents a new protocol for ensuring sequential consistency in a distributed objects system. The protocol is efficient…
Expand
1999
1999
Evaluation of two optimized protocols for sequential consistency
Gabriel Girard
,
H. F. Li
Proceedings of the 32nd Annual Hawaii…
1999
Corpus ID: 1870014
Sequential consistency is a well known consistency requirement for distributed shared memory. However, most of the algorithms…
Expand
1998
1998
How Powerful is Retiming
A. Aziz
,
H. Zhou
,
V. Singhal
1998
Corpus ID: 6379312
This paper is about exploring the power of retiming and resynthesis. We show that there exists a pair of \sequentially equivalent…
Expand
Highly Cited
1990
Highly Cited
1990
Implementing Sequential Consistency in Cache-Based Systems
S. Adve
,
M. Hill
International Conference on Parallel Processing
1990
Corpus ID: 2077505
A model for shared-memory systems commonly (and often implicitly) assumed by programmers is that of sequential consistency. For…
Expand
1952
1952
Tables to Facilitate Sequential t-Tests.
P. Armitage
1952
Corpus ID: 126375645