805 search results - page 60 / 161 » Modeling and Analyzing Periodic Distributed Computations |
ICDCS
2005
IEEE
14 years 2 months ago
2005
IEEE
TLS has been formally analyzed with the OTS/CafeOBJ method. In the method, distributed systems are modeled as transition systems, which are written in terms of equations, and it i...
SAC
2009
ACM
14 years 1 months ago
2009
ACM
Pervasive computing devices (e.g., sensor networks, localization devices, cameras, etc.) are increasingly present in every aspect of our lives. These devices are able to generate ...
TC
2010
13 years 7 months ago
2010
—In this paper, we investigate data parallelism in exact inference with respect to arbitrary junction trees. Exact inference is a key problem in exploring probabilistic graphical...
IPPS
2005
IEEE
14 years 2 months ago
2005
IEEE
Consistency is an important issue in Distributed Shared Memory (DSM) systems. These systems share a set of objects or virtual memory pages. The data sharing enables the applicatio...
PERVASIVE
2005
Springer
14 years 2 months ago
2005
Springer
Distributed sensor networks offer many new capabilities for contextually monitoring environments. By making such systems mobile, we increase the application-space for the distribut...