6756 search results - page 938 / 1352 » Distributed Shared State |
158
click to vote
ICNS
2007
IEEE
16 years 1 months ago
2007
IEEE
The existence of good probabilistic models for the job arrival process and the delay components introduced at the different stages of job processing in a Grid environment is impor...
223
click to vote
ISORC
2007
IEEE
16 years 1 months ago
2007
IEEE
Wireless sensor networks represent an extremely fastgrowing emerging technology, but still suffer from several limitations. The state of the art in sensor networks focuses on opti...
189
click to vote
VTC
2007
IEEE
16 years 1 months ago
2007
IEEE
—In this paper, the capacity of multiple input multiple output-orthogonal frequency division multiplexing (MIMOOFDM) systems is analyzed under doubly correlated fading channels. ...
215
click to vote
ATVA
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. The bounded synthesis problem is to construct an implementation that satisfies a given temporal specification and a given bound on the number of states. We present a so...
178
click to vote
B
2007
Springer
16 years 1 months ago
2007
Springer
Following a brief discussion of uniprocessor scheduling in which we argue the case for formal analysis, we describe a distributed Event B model of interrupt driven scheduling. We ...