9 search results - page 1 / 2 » Set Containment Joins: The Good, The Bad and The Ugly |
58
Voted
VLDB
2000
ACM
15 years 3 months ago
2000
ACM
100
Voted
EUROCRYPT
2007
Springer
15 years 5 months ago
2007
Springer
We investigate a general class of (black-box) constructions for range extension of weak pseudorandom functions: a construction based on m independent functions F1, . . . , Fm is gi...
99
Voted
CORR
2008
Springer
14 years 11 months ago
2008
Springer
In a seminal paper from 1985, Sistla and Clarke showed that the model-checking problem for Linear Temporal Logic (LTL) is either NP-complete or PSPACE-complete, depending on the se...
95
Voted
TOCL
2011
14 years 6 months ago
2011
In a seminal paper from 1985, Sistla and Clarke showed that the model-checking problem for Linear Temporal Logic (LTL) is either NP-complete or PSPACE-complete, depending on the s...
121
click to vote
TAICPART
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract. With pairwise testing, the test model is a list of N parameters. Each test case is an N-tuple; the test space is the cross product of the N parameters. A pairwise test is...