4800 search results - page 161 / 960 » OO Distributed Programming is Not Distributed OO Programming |
101
click to vote
IPPS
2002
IEEE
15 years 7 months ago
2002
IEEE
We describe the mechanization of recent examples of compositional reasoning, due to Charpentier and Chandy [4]. The examples illustrate a new theory for composition proposed by Ch...
114
click to vote
EUROPAR
1998
Springer
15 years 6 months ago
1998
Springer
Instruction Balanced Time Slicing IBTS allows multiple parallel jobs to be scheduled in a manner akin to the well-known gang scheduling scheme in parallel computers. IBTS however a...
108
Voted
FMCO
2008
Springer
15 years 3 months ago
2008
Springer
This paper outlines a general picture of our ongoing work under EU Mobius and Sensoria projects on a type-based compilation and execution framework for a class of multicore CPUs. O...
126
click to vote
APSEC
1999
IEEE
15 years 6 months ago
1999
IEEE
CORBA (Common Object Request Broker Architecture) is widely perceived as an emerging platform for distributed systems development. In this paper, we discuss CORBA's testing, ...
108
click to vote
SIGADA
2005
Springer
15 years 7 months ago
2005
Springer
In this paper, we describe the use of the Ada language for programming in modern cluster systems. The results of experimental performance analysis of Ada and Java programs in a re...