3628 search results - page 80 / 726 » Dynamic Application Structuring on Heterogeneous, Distribute... |
EMSOFT
2004
Springer
15 years 3 months ago
2004
Springer
We present an extension of a mathematical framework proposed by the authors to deal with the composition of heterogeneous reactive systems. Our extended framework encompasses dive...
IWOMP
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. Exploiting the full computational power of current hierarchical multiprocessor machines requires a very careful distribution of threads and data among the underlying non-...
EUROMICRO
1999
IEEE
15 years 2 months ago
1999
IEEE
Network-centric computing aims to solve the problems associated with traditional client/server systems, namely the high performance requirements, and costly maintenance of, the co...
CONCUR
1998
Springer
15 years 2 months ago
1998
Springer
Abstract. This paper introduces a compositional Hoare logics for reasoning about the correctness of systems composed of a dynamically evolving collection of processes (also called ...
102
click to vote
ICPP
2005
IEEE
15 years 3 months ago
2005
IEEE
Computational grids can integrate geographically distributed resources into a seamless environment. To facilitate managing these heterogenous resources, the virtual machine gy pro...