805 search results - page 7 / 161 » Modeling and Analyzing Periodic Distributed Computations |
IPPS
2010
IEEE
13 years 5 months ago
2010
IEEE
Many P2P systems have been designed without taking into account an important factor: a large fraction of Internet users nowadays are located behind a network address translator (NA...
JSSPP
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Grids reliability remains an order of magnitude below clusters on production infrastructures. This work is aimsed at improving grid application performances by improving ...
WCNC
2008
IEEE
14 years 2 months ago
2008
IEEE
— The recent ECMA-368 standard specifies the use of ultra wideband (UWB) technology for high rate communications in wireless personal area networks (WPANs). This paper proposes ...
SIGMETRICS
2010
ACM
13 years 6 months ago
2010
ACM
We introduce and analyze a deterministic fluid model that serves as an approximation for the Gt/GI/st + GI manyserver queueing model, which has a general time-varying arrival pro...
CONCUR
2004
Springer
14 years 1 months ago
2004
Springer
In this paper, we study the complexity of model-checking formulas of three important real-time logics (MTL, MITL, and TCTL) over restricted sets of timed paths. The classes of rest...