12766 search results - page 56 / 2554 » collective |
HPDC
1996
IEEE
15 years 4 months ago
1996
IEEE
One purpose of the MBone is to study the performance of multicast and real-time protocols in global conferencing applications. Part of this evaluation is dependent on understandin...
PDIS
1994
IEEE
15 years 4 months ago
1994
IEEE
We present a scalable garbage collection scheme for systems that store objects at multiple servers while clients run transactions on locally cached copies of objects. It is the fi...
ITP
2010
15 years 3 months ago
2010
The Isabelle Collections Framework (ICF) provides a unified framework for using verified collection data structures in Isabelle/HOL formalizations and generating efficient functi...
101
click to vote
ERCIMDL
2006
Springer
15 years 3 months ago
2006
Springer
Peer-to-peer networks have been identified as promising architectural concept for developing search scenarios across digital library collections. Digital libraries typically offer ...
POPL
1997
ACM
15 years 3 months ago
1997
ACM
Defining the collecting semantics is usually the first crucial step in adapting the general methodology of abstract interpretation to the semantic framework or programming languag...