Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

4 relations
Central processing unitRegular semanticsSafe semantics

Broader (1)

Concurrency control

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
A Symmetric Nets Emulator for Adaptive P/T Nets
Despite Petri Nets represent a sound and expressive formal model for distributed discrete-event systems, they cannot specify in a… 
2018
2018
Oak – A Key-Value Map for Big Data Analytics
We present Oak (Off-heap Allocated Keys), a scalable concurrent key-value map designed for big data analytics. Oak is modeled… 
2015
2015
Brazilian Portuguese noun phrases: An optimality theoretic perspective *
In this paper we examine the nominal system in Brazilian Portuguese (BrP), a challenge to cross-linguistic studies which rely on… 
2010
2010
Region-Based Dynamic Separation for STM Haskell
We present a design and implementation of dynamic separation in STM Haskell. Dynamic separation is a recent approach to software… 
2009
2009
Sistemas de Quóruns Bizantinos Pró-Ativos
Byzantine Quorum Systems is a replication technique used to ensure availability and consistency of replicates data even in… 
2008
2008
On the expressive power of timed automata and time petri nets
This presentation is based on joint work with F. Cassez*, S. Haddad**, D. Lime* and O. H. Roux* (*IRCCyN, Nantes and **LSV… 
2006
2006
Bounded Wait-Free f-Resilient Atomic Byzantine Data Storage Systems for an Unbounded Number of Clients
We present the first direct bounded wait-free implementation of a replicated register with atomic semantics in a system with an… 
2003
2003
An Algorithm for an Intermittently Atomic Data Service Based on Group Communication
Group communication provides a convenient mechanism for building applications that maintain a replicated state of some sort [1… 
2002
2002
Active Replication of Software Components
This paper considers active replication of distributed objects over CORBA and Java RMI. It describes a replication model and… 
1993
1993
Information Spreading and Levels ofRepresentation in LFGAvery
A basic tenet of generative grammar is the existence of a distinction between the phonetic realization of utterances, concretely… 
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)