Jérôme Feret Partitioning the Threads of a Mobile System http://arxiv.org/abs/0802.0188 2008 CoRR abs/0802.0188 db/journals/corr/corr0802.html#abs-0802-0188 informal publication