2108 search results - page 243 / 422 » An Operational Semantics for Stateflow |
142
click to vote
OPODIS
2004
15 years 5 months ago
2004
Abstract. We present a formalism for modeling replication in a distributed system with concurrent users sharing information. It is based on actions, which represent operations requ...
138
click to vote
OSDI
2000
ACM
15 years 5 months ago
2000
ACM
The tradeoffs between consistency, performance, and availability are well understood. Traditionally, however, designers of replicated systems have been forced to choose from eithe...
151
click to vote
USENIX
1994
15 years 5 months ago
1994
Ficus is a flexible replication facility with optimistic concurrency control designed to span a wide range of scales and network environments. Optimistic concurrency control provi...
115
click to vote
IANDC
2006
15 years 4 months ago
2006
This paper generalizes existing connections between automata and logic to a coalgestraction level. Let F : Set Set be a standard functor that preserves weak pullbacks. We introdu...
144
click to vote
SOSP
2005
ACM
16 years 1 months ago
2005
ACM
Speculator provides Linux kernel support for speculative execution. It allows multiple processes to share speculative state by tracking causal dependencies propagated through inte...