5536 search results - page 207 / 1108 » Programming Languages for Distributed Applications |
169
click to vote
PADL
2005
Springer
16 years 17 hour ago
2005
Springer
The need for direct memory manipulation through pointers is essential in many applications. However, it is also commonly understood that the use (or probably misuse) of pointers is...
142
click to vote
SIGADA
1998
Springer
15 years 10 months ago
1998
Springer
Our institute has been developing the only publicly available implementation of the Ada 95 Distributed Systems Annex for several years in strong collaboration with Ada Core Techno...
147
click to vote
APLAS
2007
ACM
15 years 10 months ago
2007
ACM
This paper studies types and probabilistic bisimulations for a timed -calculus as an effective tool for a compositional analysis of probabilistic distributed behaviour. The types c...
173
click to vote
ICALP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We study the problem of the amount of information (advice) about a graph that must be given to its nodes in order to achieve fast distributed computations. The required s...
162
click to vote
ECOOP
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Upgrading the software of long-lived, highly-available distributed systems is difficult. It is not possible to upgrade all the nodes in a system at once, since some nodes...