Sciweavers

96 search results - page 2 / 20
» Testing Monotonicity
Sort
View
IPL
2007
69views more  IPL 2007»
13 years 5 months ago
On the fixed-parameter tractability of the equivalence test of monotone normal forms
We consider the problem Monet—given two monotone formulas ϕ in DNF and ψ in CNF, decide whether they are equivalent. While Monet is probably not coNPhard, it is a long standin...
Matthias Hagen
ECCC
2010
87views more  ECCC 2010»
13 years 2 months ago
Testing monotonicity of distributions over general partial orders
We investigate the number of samples required for testing the monotonicity of a distribution with respect to an arbitrary underlying partially ordered set. Our first result is a n...
Arnab Bhattacharyya, Eldar Fischer, Ronitt Rubinfe...
IPPS
2007
IEEE
13 years 11 months ago
Period-Dependent Initial Values for Exact Schedulability Test of Rate Monotonic Systems
Real-time systems using Rate Monotonic fixed priority scheduling can be checked for schedulability either by pessimistic schedulability conditions or exact testing. Exact testing ...
Wan-Chen Lu, Kwei-Jay Lin, Hsin-Wen Wei, Wei Kuan ...
FOCS
1998
IEEE
13 years 9 months ago
Testing Monotonicity
Oded Goldreich, Shafi Goldwasser, Eric Lehman, Dan...
IANDC
2008
81views more  IANDC 2008»
13 years 5 months ago
Complexity of DNF minimization and isomorphism testing for monotone formulas
Judy Goldsmith, Matthias Hagen, Martin Mundhenk