1490 search results - page 215 / 298 » Models and Algorithms for Optical and Optoelectronic Paralle... |
CONCUR
2000
Springer
14 years 19 days 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 ...
PVM
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Most parallel systems on which MPI is used are now hierarchical: some processors are much closer to others in terms of interconnect performance. One of the most common su...
IPPS
2008
IEEE
14 years 2 months ago
2008
IEEE
SIMD (single instruction multiple data)-type processors have been found very efficient in image processing applications, because their repetitive structure is able to exploit the...
STACS
1997
Springer
14 years 13 days ago
1997
Springer
In this paper we present a new notion of what it means for a problem in P to be inherently sequential. Informally, a problem L is strictly sequential P-complete if when the best kn...
ICDCS
2006
IEEE
14 years 2 months ago
2006
IEEE
Content-based publish/subscribe (pub/sub) is a promising paradigm for building asynchronous distributed applications. In many application scenarios, these systems are required to ...