3638 search results - page 163 / 728 » HEP@Home - A distributed computing system based on BOINC |
191
click to vote
SPIN
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We develop an algorithm to compute timed reachability probabilities for distributed models which are both probabilistic and nondeterministic. To obtain realistic results ...
171
click to vote
PDP
1995
IEEE
15 years 10 months ago
1995
IEEE
We investigate the parallel implementation of the diagonal{implicitly iterated Runge{ Kutta (DIIRK) method, an iteration method based on a predictor{corrector scheme. This method ...
176
click to vote
CONCUR
2004
Springer
15 years 11 months ago
2004
Springer
We propose a framework where behavioural properties of finite-state systems modelled as graph transformation systems can be expressed and verified. The technique is based on the ...
197
click to vote
IPPS
2007
IEEE
16 years 21 days ago
2007
IEEE
In today’s world, stream processing systems have become important, as applications like media broadcasting, sensor network monitoring and on-line data analysis increasingly rely...
258
click to vote
ISWC
2002
IEEE
15 years 11 months ago
2002
IEEE
VizWear-Active is a wearable active vision system for distributed computing environments. It consists of wearable and infrastructure-side modules that autonomously and cooperative...