570 search results - page 53 / 114 » concurrency 2006 |
154
click to vote
BIRTHDAY
2006
Springer
15 years 9 months ago
2006
Springer
Data Flow Analysis as expressed by Monotone Frameworks is often associated with classical imperative programming languages and has played a crucial role in the efficient implementa...
159
click to vote
CAAN
2006
Springer
15 years 9 months ago
2006
Springer
We consider scheduling problems that are motivated by an optimization of the transmission schedule of a smart antenna. In these problems we are given a set of messages and a confl...
156
click to vote
FLOPS
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. This paper explores the feasibility of re-expressing concurrent algorithms with explicit locks in terms of lock free code written using Haskell's implementation of s...
164
click to vote
FSTTCS
2006
Springer
15 years 9 months ago
2006
Springer
In recent papers, the partial order reduction approach has been adapted to reason about the probabilities for temporal properties in concurrent systems with probabilistic behaviour...
150
click to vote
FMSD
2006
15 years 6 months ago
2006
We define a cones and foci proof method, which rephrases the question whether two system specifications are branching bisimilar in terms of proof obligations on relations between ...