799 search results - page 2 / 160 » Bound Performance Models of Heterogeneous Parallel Processin... |
WOSP
2004
ACM
13 years 10 months ago
2004
ACM
This paper describes how soft performance bounds can be expressed for software systems using stochastic probes over stochastic process algebra models. These stochastic probes are ...
IPPS
2008
IEEE
13 years 11 months ago
2008
IEEE
TC
2002
13 years 5 months ago
2002
The low cost and wide availability of networks of workstations have made them an attractive solution for high performance computing. However, while a network of workstations may be...
CONCUR
2001
Springer
13 years 9 months ago
2001
Springer
Bounded model checking has been recently introduced as an efficient verification method for reactive systems. In this work we apply bounded model checking to asynchronous systems....
PPSC
1993
13 years 6 months ago
1993
Financial modeling represents a promising industry application of high performance computing. In previous work, parallel stock option pricing models were developed for the Connect...