Rong Ou eaab364a63 More explict sharding methods for device memory (#4396)
* Rename the Reshard method to Shard

* Add a new Reshard method for sharding a vector that's already sharded
2019-05-01 11:47:22 +12:00
..
2019-03-13 02:25:51 +08:00
2019-03-13 02:25:51 +08:00