799 search results - page 2 / 160 » Bound Performance Models of Heterogeneous Parallel Processin... |
114
Voted
WOSP
2004
ACM
15 years 8 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 ...
87
Voted
IPPS
2008
IEEE
15 years 9 months ago
2008
IEEE
120
Voted
TC
2002
15 years 2 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...
139
Voted
CONCUR
2001
Springer
15 years 7 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....
136
Voted
PPSC
1993
15 years 3 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...