7941 search results - page 9 / 1589 » Network Analysis of Repositories |
ICPP
2002
IEEE
15 years 2 months ago
2002
IEEE
HPC programmers utilize tracefiles, which record program behavior in great detail, as the basis for many performance analysis activities. The lack of generally accessible tracefil...
WWW
2004
ACM
15 years 10 months ago
2004
ACM
Interoperability is one of the main issues in creating a networked system of repositories. The eduSource project in its holistic approach to building a network of learning object ...
MKM
2004
Springer
15 years 2 months ago
2004
Springer
We present C-CoRN, the Constructive Coq Repository at Nijmegen. It consists of a library of constructive algebra and analysis, formalized in the theorem prover Coq. In this paper w...
SIGOPS
2010
14 years 7 months ago
2010
—Cloud computing provides us with general purpose storage and server hosting platforms at a reasonable price. We explore the possibility of tapping these resources for the purpos...
WWW
2004
ACM
15 years 10 months ago
2004
ACM
This paper describes the design and implementation of the eduSource Communication Layer (ECL) protocol. ECL is one outcome of a pan-Canadian project called eduSource Canada to bui...