Dynamic power management in enterprise environments requires an understanding of the relationship between resource utilization and system-level power consumption. Power models bas...
Ever-growing amounts of data that must be distributed from data providers to consumers across the world necessitate a greater understanding of the software architectural implicati...
Compared are different methods for evaluation of formulas expressing microprocessor correctness in the logic of Equality with Uninterpreted Functions and Memories (EUFM) by transl...
Modeling moving and deforming objects requires capturing as much information as possible during a very short time. When using off-the-shelf hardware, this often hinders the resolu...
We present an imaging framework to acquire 3D surface scans at ultra high-resolutions (exceeding 600 samples per mm2 ). Our approach couples a standard structured-light setup and ...
Zheng Lu, Yu-Wing Tai, Moshe Ben-Ezra, Michael Bro...