3495 search results - page 39 / 699 » On the random satisfiable process |
PKC
1999
Springer
14 years 3 months ago
1999
Springer
One of the key directions in complexity theory which has also filtered through to cryptographic research, is the effort to classify related but seemingly distinct notions. Separa...
CORR
2011
Springer
13 years 5 months ago
2011
Springer
Processes of Place/Transition Systems6 Rob van Glabbeeka,b , Ursula Goltzc , Jens-Wolfhard Schickec aNICTA, Sydney, Australia bSchool of Computer Science and Engineering, Universit...
ICASSP
2011
IEEE
13 years 2 months ago
2011
IEEE
METRICS
1997
IEEE
14 years 2 months ago
1997
IEEE
An experiment comparing the effectiveness of equivalence partitioning (EP), boundary value analysis (BVA), and random testing was performed, based on an operational avionics syste...
SPAA
2005
ACM
14 years 4 months ago
2005
ACM
We study randomized algorithms for placing a sequence of n nodes on a circle with unit perimeter. Nodes divide the circle into disjoint arcs. We desire that a newly-arrived node (...