— There is growing interest in the networked sensing community in the technique of macroprogramming, where the end-user can design a system using a high level description without...
in vitro neuronal networks display Synchronized Bursting Events (SBEs), with characteristic temporal width of 100-500 ms and frequency of once every few seconds. We analyze such d...
Higher-order languages, such as Haskell, encourage the proto build abstractions by composing functions. A good compiler must inline many of these calls to recover an e ciently exe...
Dynamics simulation can play a critical role in the engineering of robotic control code, and there exist a variety of strategies both for building physical models and for interact...
This paper proposes a principled methodology for the realization of distribution transparencies. The proposed methodology is placed within the general context of Model-Driven Arch...