7452 search results - page 1144 / 1491 » A Semantics for Multiprocessor Systems |
189
click to vote
CVPR
2010
IEEE
16 years 3 months ago
2010
IEEE
The dynamic texture (DT) is a probabilistic generative model, defined over space and time, that represents a video as the output of a linear dynamical system (LDS). The DT model ...
174
click to vote
SAC
2010
ACM
16 years 1 months ago
2010
ACM
We introduce an extension of linear constraints, called linearrange constraints, which allows for (meta-)reasoning about the approximation width of variables. Semantics for linear...
185
click to vote
AINA
2009
IEEE
16 years 1 months ago
2009
IEEE
We present a process calculus, CCA, for the modelling and verification of mobile systems that are context-aware. This process calculus is built upon the calculus of mobile ambien...
178
click to vote
ECBS
2009
IEEE
16 years 1 months ago
2009
IEEE
With the pressing in-time-market towards customized services, software product lines (SPL) are increasingly characterizing most of software landscape. SPL are mainly structured th...
168
click to vote
PDP
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper investigate a mutual exclusion algorithm on distributed systems. We introduce a new algorithm based on the Naimi-Trehel algorithm, taking advantage of the distributed a...