983 search results - page 50 / 197 » Object-oriented Abstractions for Distributed Programming |
114
click to vote
ICA3PP
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Measurement and modelling of distributions of data communication times is commonly done for telecommunication networks, but this has not previously been done for message ...
108
click to vote
IPPS
1998
IEEE
15 years 6 months ago
1998
IEEE
Abstract. We extend the refinement calculus to permit the derivation of programs in the Bulk Synchronous Parallelism (BSP) style. This demonstrates that formal approaches developed...
112
click to vote
ECOOPW
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. This report gives an overview of the sixth Workshop on Formal Techniques for Java-like Programs at ECOOP 2004. It explains the motivation for the a workshop and summarise...
129
click to vote
IJHPCA
2007
15 years 2 months ago
2007
A key characteristic of today’s high performance computing systems is a physically distributed memory, which makes the efficient management of locality essential for taking adv...
111
click to vote
ATAL
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. The promise of agent-based systems is leading towards the development of autonomous, heterogeneous agents, designed by a variety of research/industrial groups and distrib...