Optical imaging with voltage-sensitive dyes (VSD imaging) can record neural activity over an area of several square centimeters with high spatiotemporal resolution. The relative c...
We present a general unwinding framework for the definition of information flow security properties of concurrent programs, described in a simple imperative language enriched wi...
We introduce a new system performance measure due to handoff called handoff interference, which characterizes the additional interference noise induced by the handoff process. The ...
An important problem in computer vision is to determine how features extracted from images are connected to an existing model. In this paper, we focus on solving the registration ...
Dynamic voltage and frequency scaling (DVFS) is a wellknown technique for gaining energy savings on desktop and laptop computers. However, its use in server settings requires care...
Shuyi Chen, Kaustubh R. Joshi, Matti A. Hiltunen, ...