Sciweavers

1809 search results - page 188 / 362
» On Score Distributions and Relevance
Sort
View
DBISP2P
2003
Springer
67views Database» more  DBISP2P 2003»
15 years 11 months ago
Searchable Querical Data Networks
Recently, a new family of massive self-organizing networks has emerged that not only serve as a communication infrastructure, but also mainly as a distributed query processing syst...
Farnoush Banaei Kashani, Cyrus Shahabi
DRM
2003
Springer
15 years 11 months ago
The Darknet and the Future of Content Protection
We investigate the darknet – a collection of networks and technologies used to share digital content. The darknet is not a separate physical network but an application and protoc...
Peter Biddle, Paul England, Marcus Peinado, Bryan ...
CLUSTER
2002
IEEE
15 years 11 months ago
Clusters as Large-Scale
In this paper, we describe the use of a cluster as a generalized facility for development. A development facility is a system used primarily for testing and development activities...
Rémy Evard, Narayan Desai, John-Paul Navarr...
IPPS
2000
IEEE
15 years 10 months ago
Fast Measurement of LogP Parameters for Message Passing Platforms
Abstract. Performance modeling is important for implementing efficient parallel applications and runtime systems. The LogP model captures the relevant aspects of message passing i...
Thilo Kielmann, Henri E. Bal, Kees Verstoep
ARTS
1999
Springer
15 years 10 months ago
Proof Assistance for Real-Time Systems Using an Interactive Theorem Prover
This paper discusses the adaptation of the PVS theorem prover for performing analysis of real-time systems written in the ASTRAL formal specification language. A number of issues w...
Paul Z. Kolano