Sciweavers

96 search results - page 2 / 20
» Testing Monotonicity
Sort
View
IPL
2007
69views more  IPL 2007»
14 years 11 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»
14 years 8 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
15 years 5 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 ...
53
Voted
FOCS
1998
IEEE
15 years 3 months ago
Testing Monotonicity
Oded Goldreich, Shafi Goldwasser, Eric Lehman, Dan...
IANDC
2008
81views more  IANDC 2008»
14 years 11 months ago
Complexity of DNF minimization and isomorphism testing for monotone formulas
Judy Goldsmith, Matthias Hagen, Martin Mundhenk