7189 search results - page 1100 / 1438 » Connecting Design with Code |
111
click to vote
PDIS
1994
IEEE
15 years 9 months ago
1994
IEEE
Four per-session guarantees are proposed to aid users and applications of weakly consistent replicated data: Read Your Writes, Monotonic Reads, Writes Follow Reads, and Monotonic ...
139
click to vote
TYPES
1993
Springer
15 years 9 months ago
1993
Springer
Abstract. We explore the expressive power of the formalism called Natural Operational Semantics, NOS, introduced by Burstall and Honsell for defining the operational semantics of ...
136
Voted
PODC
1990
ACM
15 years 9 months ago
1990
ACM
Emulators that translate algorithms from the shared-memory model to two different message-passing models are presented. Both are achieved by implementing a wait-free, atomic, singl...
147
Voted
ACMACE
2007
ACM
15 years 9 months ago
2007
ACM
Physical leisure activities such as table tennis provide healthy exercise and can offer a means to connect with others socially; however, players have to be in the same physical l...
128
click to vote
ASPDAC
2007
ACM
15 years 9 months ago
2007
ACM
- For modern processor designs in nanometer technologies, both block and interconnect pipelining are needed to achieve multi-gigahertz clock frequency, but previous approaches cons...