Sciweavers

735 search results - page 17 / 147
» Randomization in Parallel Stringology
Sort
View
113
Voted
ICSE
2007
IEEE-ACM
16 years 1 months ago
Parallel Randomized State-Space Search
Model checkers search the space of possible program behaviors to detect errors and to demonstrate their absence. Despite major advances in reduction and optimization techniques, s...
Matthew B. Dwyer, Sebastian G. Elbaum, Suzette Per...
DFG
1992
Springer
15 years 6 months ago
Complexity of Boolean Functions on PRAMs - Lower Bound Techniques
Determining time necessary for computing important functions on parallel machines is one of the most important problems in complexity theory for parallel algorithms. Recently, a s...
Miroslaw Kutylowski
FSTTCS
1990
Springer
15 years 5 months ago
Randomized Parallel Selection
We show that selection on an input of size N can be performed on a P-node hypercube (P = N/(log N)) in time O(N/P) with high probability, provided each node can process all the in...
Sanguthevar Rajasekaran
77
Voted
ICPADS
2006
IEEE
15 years 8 months ago
Efficient Updates in Highly Available Distributed Random Access Memory
Damian Cieslicki, Stefan Schäckeler, Thomas S...