Sciweavers

1422 search results - page 115 / 285
» How to measure a large open-source distributed system
Sort
View
IPPS
1999
IEEE
15 years 10 months ago
A Formal Framework for Specifying and Verifying Time Warp Optimizations
Parallel and distributed systems are representative of large and complex systems that require the application of formal methods. These systems are often unreliable because implemen...
Victoria Chernyakhovsky, Peter Frey, Radharamanan ...
WIAS
2008
128views more  WIAS 2008»
15 years 6 months ago
Considering operational issues for multiagent conceptual inferencing in a distributed information retrieval application
Our system, based on a multiagent framework called collaborative understanding of distributed knowledge (CUDK), is designed with the overall goal of balancing agents' conceptu...
Leen-Kiat Soh
SODA
2008
ACM
126views Algorithms» more  SODA 2008»
15 years 7 months ago
On distributing symmetric streaming computations
A common approach for dealing with large data sets is to stream over the input in one pass, and perform computations using sublinear resources. For truly massive data sets, howeve...
Jon Feldman, S. Muthukrishnan, Anastasios Sidiropo...
AAAI
1994
15 years 7 months ago
Parsing Embedded Clauses with Distributed Neural Networks
A distributed neural network model called SPEC for processing sentences with recursive relative clauses is described. The model is based on separating the tasks of segmenting the ...
Risto Miikkulainen, Dennis Bijwaard
INFOCOM
2007
IEEE
16 years 22 days ago
Availability in BitTorrent Systems
— In this paper, we investigate the problem of highly available, massive-scale file distribution in the Internet. To this end, we conduct a large-scale measurement study of BitT...
Giovanni Neglia, Giuseppe Reina, Honggang Zhang, D...