Sciweavers

667 search results - page 76 / 134
» Dynamic hardware software partitioning: a first approach
Sort
View
DATE
2005
IEEE
159views Hardware» more  DATE 2005»
15 years 5 months ago
HEBS: Histogram Equalization for Backlight Scaling
- In this paper, a method is presented for finding a pixel transformation function that minimizes the backlight intensity while maintaining a pre-specified image distortion level f...
Ali Iranli, Hanif Fatemi, Massoud Pedram
CODES
2007
IEEE
15 years 6 months ago
Thread warping: a framework for dynamic synthesis of thread accelerators
We present a dynamic optimization technique, thread warping, that uses a single processor on a multiprocessor system to dynamically synthesize threads into custom accelerator circ...
Greg Stitt, Frank Vahid
PLDI
2003
ACM
15 years 5 months ago
Compile-time dynamic voltage scaling settings: opportunities and limits
With power-related concerns becoming dominant aspects of hardware and software design, significant research effort has been devoted towards system power minimization. Among run-t...
Fen Xie, Margaret Martonosi, Sharad Malik
DATE
2010
IEEE
204views Hardware» more  DATE 2010»
15 years 5 months ago
Assertion-based verification of RTOS properties
— Today, mobile and embedded real time systems have to cope with the migration and allocation of multiple software tasks running on top of a real time operating system (RTOS) res...
Marcio F. S. Oliveira, Henning Zabel, Wolfgang M&u...
CAV
2000
Springer
125views Hardware» more  CAV 2000»
15 years 3 months ago
Efficient Reachability Analysis of Hierarchical Reactive Machines
Hierarchical state machines is a popular visual formalism for software specifications. To apply automated analysis to such specifications, the traditional approach is to compile th...
Rajeev Alur, Radu Grosu, Michael McDougall