1 citations · 2 across the 6 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.ET2015★ 1 cited
Leader Election and Shape Formation with Self-Organizing Programmable Matter
Joshua J. Daymude, Zahra Derakhshandeh, Robert Gmyr +4
We consider programmable matter consisting of simple computational elements, called particles, that can establish and release bonds and can actively move in a self-organized way, a…
cs.SE2015
A Formal Study on Backward Compatible Dynamic Software Updates
Jun Shen, Rida A. Bazzi
We study the dynamic software update problem for programs interacting with an environment that is not necessarily updated. We argue that such updates should be backward compatible.…