Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,944,377 papers from all fields of science
Search
Sign In
Create Free Account
Atomic semantics
Atomic semantics is a term which describes a type of guarantee provided by a data register shared by several processors in a parallel machine or in a…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
4 relations
Central processing unit
Regular semantics
Safe semantics
Broader (1)
Concurrency control
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Oak – A Key-Value Map for Big Data Analytics
Hagar Meir
,
Dmitry Basin
,
Edward Bortnikov
,
Anastasia Braginsky
,
I. Keidar
,
Gali Sheffi
2018
Corpus ID: 70348192
We present Oak (Off-heap Allocated Keys), a scalable concurrent key-value map designed for big data analytics. Oak is modeled…
Expand
2018
2018
Proving consistency of concurrent data structures and transactional memory systems
Artem Khyzha
2018
Corpus ID: 70119249
Los programadores pueden afrontar la complejidad de escribir software concurrente con la ayuda de librerias de estructuras de…
Expand
2013
2013
ADVANCEMENT FOR INVOLUNTARY RECONFIGURATION FOR AMPLE RESPONSIBLE STORAGE SYSTEMS
Velikanti Kiran Kumar
,
A. Satchidanandam
2013
Corpus ID: 59680417
Nowadays we are more dependent on Internet services, which gives a significant functionality and store serious state. These…
Expand
2013
2013
Replica Threshold Signature ( RTS ) Scheme for Reconfigurable Byzantine Fault Tolerant in P 2 P Systems
Mr. S. Annamalai
,
K. Hemalatha
2013
Corpus ID: 34801993
Byzantine-fault-tolerant replication enhances availability and reliability of Internet services to store critical state and…
Expand
2012
2012
Refinement of time Petri nets semantics in conflict situations
Adrien Bullich
,
H. Boucheneb
,
O. Roux
2012
Corpus ID: 17228414
This paper deals with time Petri nets, where a firing interval is associated with each transition. Three semantics (intermediate…
Expand
2009
2009
Sistemas de Quóruns Bizantinos Pró-Ativos
Eduardo Alchieri
,
A. Bessani
,
F. Pereira
,
Joni da Silva Fraga
2009
Corpus ID: 61130599
Byzantine Quorum Systems is a replication technique used to ensure availability and consistency of replicates data even in…
Expand
2003
2003
An Algorithm for an Intermittently Atomic Data Service Based on Group Communication
R. Khazan
,
N. Lynch
2003
Corpus ID: 298613
Group communication provides a convenient mechanism for building applications that maintain a replicated state of some sort [1…
Expand