1477 search results - page 74 / 296 » Cache Satellite Distribution Systems: Modeling and Analysis |
WSC
2007
15 years 3 days ago
2007
Time is an important data dimension with distinct characteristics that is common across many application domains. This demands specialized methods in order to support proper analy...
106
click to vote
ASPLOS
1996
ACM
15 years 1 months ago
1996
ACM
This paper describes Shasta, a system that supports a shared address space in software on clusters of computers with physically distributed memory. A unique aspect of Shasta compa...
IJSEKE
2008
14 years 9 months ago
2008
- Multi-agent systems (MASs) have become an important topic in distributed systems research. These distributed multi-agent systems call for special software modeling methods that e...
HYBRID
2007
Springer
15 years 4 months ago
2007
Springer
We consider the problem of verifying reachability properties of stochastic real-time systems modeled as generalized semi-Markov processes (GSMPs). The standard simulation-based tec...
102
click to vote
CONCUR
1997
Springer
15 years 2 months ago
1997
Springer
We apply the symbolic analysis principle to pushdown systems. We represent (possibly in nite) sets of con gurations of such systems by means of nite-state automata. In order to re...