Sciweavers

4670 search results - page 145 / 934
» Testing that distributions are close
Sort
View
USM
2000
15 years 10 months ago
Programming Internet Quality of Service
The deployment for new Internet services is limited by existing service creation platforms which can be, characterized as being closed, vertical and best effort in nature. We belie...
John B. Vicente, Michael E. Kounavis, Daniel A. Vi...
ALENEX
2004
92views Algorithms» more  ALENEX 2004»
15 years 8 months ago
Gap-Free Samples of Geometric Random Variables
We study the asymptotic probability that a random composition of an integer n is gap-free, that is, that the sizes of parts in the composition form an interval. We show that this ...
Pawel Hitczenko, Arnold Knopfmacher
DAC
2008
ACM
16 years 7 months ago
Partial order reduction for scalable testing of systemC TLM designs
A SystemC simulation kernel consists of a deterministic implementation of the scheduler, whose specification is nondeterministic. To leverage testing of a SystemC TLM design, we f...
Sudipta Kundu, Malay K. Ganai, Rajesh Gupta
DSN
2005
IEEE
16 years 3 days ago
Effective Testing and Debugging Techniques for a Group Communication System
View-oriented group communication is an important and widely used building block for constructing highlyavailable fault-tolerant systems. Unfortunately, groupcommunication based s...
Eitan Farchi, Gabriel Kliot, Yoel Krasny, Alex Kri...
COMPSAC
2004
IEEE
15 years 10 months ago
Cooperative Agent Approach to Quality Assurance and Testing Web Software
This paper applies Lehman's theory of software evolution to analyse the characteristics of web-based applications and identifies the essences and incidents that cause difficu...
Hong Zhu