2880 search results - page 441 / 576 » context 2007 |
141
click to vote
CONCUR
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We propose a new operational model for shared variable concurrency, in the context of a concurrent, higher-order imperative language `a la ML. In our model the scheduling...
156
click to vote
CONCUR
2007
Springer
15 years 10 months ago
2007
Springer
The model checking problem for finite-state open systems (module checking) has been extensively studied in the literature, both in the context of environments with perfect and imp...
132
click to vote
COORDINATION
2007
Springer
15 years 10 months ago
2007
Springer
Recent advances in middleware technologies propose semantics-aware tuplespaces as an instrument for coping with the requirements of scalability, heterogeneity and dynamism arising ...
108
click to vote
CP
2007
Springer
15 years 10 months ago
2007
Springer
In this paper we argue that an attractive and potentially very general way of achieving generalized arc consistency (GAC) on a constraint is by using unit propagation (UP) over a C...
129
click to vote
CTRSA
2007
Springer
15 years 10 months ago
2007
Springer
This paper announces a new software side-channel attack — enabled by the branch prediction capability common to all modern highperformance CPUs. The penalty paid (extra clock cyc...