Singapore-MIT Alliance (SMA): Recent submissions
Now showing items 181-183 of 554
-
An Interpolative Analytical Cache Model with Application to Performance-Power Design Space Exploration
(2005-01)Caches are known to consume up to half of all system power in embedded processors. Co-optimizing performance and power of the cache subsystems is therefore an important step in the design of embedded systems, especially ... -
Incremental Verification of Timing Constraints for Real-Time Systems
(2005-01)Testing constraints for real-time systems are usually verified through the satisfiability of propositional formulae. In this paper, we propose an alternative where the verification of timing constraints can be done by ... -
Flash Photography Enhancement via Intrinsic Relighting
(2005-01)We enhance photographs shot in dark environments by combining a picture taken with the available light and one taken with the flash. We preserve the ambiance of the original lighting and insert the sharpness from the flash ...
