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… 
2012
2012
Refinement of time Petri nets semantics in conflict situations
This paper deals with time Petri nets, where a firing interval is associated with each transition. Three semantics (intermediate… 
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… 
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)