4670 search results - page 102 / 934 » Testing that distributions are close |
ISORC
2006
IEEE
15 years 6 months ago
2006
IEEE
To communicate between heterogeneous computer systems, mechanisms for data conversion are necessary. In this paper we present a portable, asymmetric data conversion method that is...
116
click to vote
ECCC
2006
15 years 22 days ago
2006
We show that in the bounded degree model for graph property testing, adaptivity is essential. An algorithm is non-adaptive if it makes all queries to the input before receiving an...
91
Voted
KBSE
2007
IEEE
15 years 7 months ago
2007
IEEE
Software compatibility testing is an important quality assurance task aimed at ensuring that component-based software systems build and/or execute properly across a broad range of...
98
Voted
ATAL
2008
Springer
15 years 2 months ago
2008
Springer
The Prometheus Design Tool (PDT) is an agent development tool that supports the Prometheus design methodology and includes features like automated code generation. We enhance this...
111
click to vote
PTS
2003
15 years 2 months ago
2003
We present a framework for property testing where a partially ordered execution trace of a distributed system is modeled by a collection of communicating automata. We prove that th...