3795 search results - page 361 / 759 » Distributed Object Computing Platforms |
120
Voted
RTAS
1997
IEEE
15 years 7 months ago
1997
IEEE
This paper presents a survey of results in developing Real-Time CORBA, a standard for real-time management of distributed objects. The paper includes background on two areas that ...
208
Voted
DAPSYS
2004
Springer
15 years 9 months ago
2004
Springer
The multi-phase copying garbage collection was designed to avoid the need for large amount of reserved memory usually required for the copying types of garbage collection algorithm...
148
click to vote
IPPS
2002
IEEE
15 years 8 months ago
2002
IEEE
We present a formalization of a proof of self-stabilization in the Coq proof assistant. Coq is a program allowing to define mathematical objects and properties, and to make proof...
144
click to vote
CONCUR
2009
Springer
15 years 7 months ago
2009
Springer
We define an extension of forest algebra for -forests. We show how the standard algebraic notions (free object, syntactic algebra, morphisms, etc.) extend to the infinite case. To ...
226
click to vote
POPL
2003
ACM
16 years 3 months ago
2003
ACM
We present an interprocedural and compositional algorithm for finding pairs of compatible allocation sites, which have the property that no object allocated at one site is live at...