4586 search results - page 544 / 918 » Computing stable models in parallel |
157
click to vote
CONCUR
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. We consider the problem of automatically verifying realtime systems with continuously distributed random delays. We generalise probabilistic timed automata introduced in ...
133
click to vote
ICDCS
2010
IEEE
15 years 9 months ago
2010
IEEE
—Quantifying and querying network reachability is important for security monitoring and auditing as well as many aspects of network management such as troubleshooting, maintenanc...
195
click to vote
HLPPP
1991
15 years 8 months ago
1991
Swarm is a computational model which extends the UNITY model in three important ways: (1) UNITY’s fixed set of variables is replaced by an unbounded set of tuples which are add...
159
click to vote
WSC
2008
15 years 7 months ago
2008
We present a proof-of-concept prototype for high performance spreadsheet simulation called S3. Our goal is to provide a user-friendly, yet computationally powerful simulation envi...
141
click to vote
WSC
1997
15 years 6 months ago
1997
We present a novel adaptive synchronization algorithm, called the minimum average cost (MAC) algorithm, in the context of the ParaSol parallel simulation system. ParaSol is a mult...