244 search results - page 5 / 49 » Generative Operational Semantics for Relaxed Memory Models |
114
Voted
ENTCS
2006
15 years 2 months ago
2006
We define a compositional operational semantics for state machines and their composition in UML. Each state machine describes the behavior of an object of a class. If a class of a...
119
Voted
CORR
2011
Springer
14 years 9 months ago
2011
Springer
The memory consistency model is a fundamental system property characterizing a multiprocessor. The relative merits of strict versus relaxed memory models have been widely debated ...
139
Voted
FTRTFT
1998
Springer
15 years 7 months ago
1998
Springer
PLC-Automata are a class of real-time automata suitable to describe the behavior of polling real-time systems. PLC-Automata can be compiled to source code for PLCs, a hardware wide...
227
Voted
POPL
2008
ACM
16 years 3 months ago
2008
ACM
Software transactions have received significant attention as a way to simplify shared-memory concurrent programming, but insufficient focus has been given to the precise meaning o...
136
Voted
SBMF
2009
Springer
15 years 9 months ago
2009
Springer
In today’s information society, flash memory has become a virtually indispensable component, particularly for mobile devices. In order for mobile devices to operate successfully...