use the same random number generator
authorbdemsky <bdemsky>
Tue, 3 Mar 2009 07:25:47 +0000 (07:25 +0000)
committerbdemsky <bdemsky>
Tue, 3 Mar 2009 07:25:47 +0000 (07:25 +0000)
commit9092f25d1eb7ffba28576ec1bb4e7140e0780ceb
treeef89768bfdf1379e1530c5dc7dc0595d5ffe46c5
parentd979d1bfe353e18822b84cd20754f0183b87880a
use the same random number generator
Robust/src/Benchmarks/Distributed/LookUpService/dsm/LookUpService.java