Sciweavers

655 search results - page 8 / 131
» Testing Properties of Collections of Distributions
Sort
View
EMSOFT
2005
Springer
15 years 3 months ago
Passive mid-stream monitoring of real-time properties
Passive monitoring or testing of complex systems and networks running in the field can provide valuable insights into their behavior in actual environments of use. In certain con...
Lalita Jategaonkar Jagadeesan, Ramesh Viswanathan
ISTA
2003
14 years 11 months ago
Formal Modeling of Communication Traces
: Development of distributed systems is complicated by the absence of reliable global timing, concurrency, and nondeterminism. To deal with these obstacles log files are produced b...
Sergiy Boroday, Hesham Hallal, Alexandre Petrenko,...
OOPSLA
1997
Springer
15 years 1 months ago
Garbage Collecting the World: One Car at a Time
A new garbage collection algorithm for distributed object systems, called DMOS (Distributed Mature Object Space), is presented. It is derived from two previous algorithms, MOS (Ma...
Richard L. Hudson, Ronald Morrison, J. Eliot B. Mo...
ECOOP
2000
Springer
15 years 2 months ago
Design Templates for Collective Behavior
Abstract. While sequential behavior of single objects is fairly well understood, orchestrating the collective behavior emerging from the behaviors of individual objects continues t...
Pertti Kellomäki, Tommi Mikkonen
DCC
2011
IEEE
14 years 4 months ago
Collaboration in Distributed Hypothesis Testing with Quantized Prior Probabilities
The effect of quantization of prior probabilities in a collection of distributed Bayesian binary hypothesis testing problems over which the priors themselves vary is studied. In ...
Joong Bum Rhim, Lav R. Varshney, Vivek K. Goyal