6756 search results - page 215 / 1352 » Distributed Shared State |
155
Voted
PAPM
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. Recent investigations have shown that the automated verification of continuous-time Markov chains (CTMCs) against CSL (Continuous Stochastic Logic) can be performed in a...
166
Voted
ECLIPSE
2004
ACM
15 years 11 months ago
2004
ACM
Debugging distributed applications is a wellknown challenge within the realm of Computer Science. Common problems faced by developers include: lack of an observable global state, ...
189
click to vote
GLOBECOM
2010
IEEE
15 years 4 months ago
2010
IEEE
Advance reservation of connection requests is a growing focus area and a range of solutions have been proposed. However, most efforts here have focused on scheduling algorithm desi...
155
click to vote
SAC
2003
ACM
15 years 11 months ago
2003
ACM
Large scale open, heterogeneous, distributed environments such as the Internet, are the environments in which (intelligent) agents need to be able to function and survive. These e...
157
click to vote
APPINF
2003
15 years 7 months ago
2003
We develop a memory-efficient off-line algorithm for the enumeration of global states of a distributed computation. The algorithm allows the parameterization of its memory requir...