4722 search results - page 833 / 945 » Encoding Program Executions |
118
click to vote
ISCAS
2002
IEEE
15 years 7 months ago
2002
IEEE
In this paper, we present two methods to reduce leakage energy by dynamically resizing the cache during program execution. The first method monitors the miss rate of the individua...
157
click to vote
ISPAN
2002
IEEE
15 years 7 months ago
2002
IEEE
In the directed acyclic graph (dag) model of algorithms, consider the following problem for precedence-constrained multiprocessor schedules for array computations: Given a sequenc...
117
click to vote
ISSS
2002
IEEE
15 years 7 months ago
2002
IEEE
We present a system-level design and programming method for embedded multiprocessor systems. The aim of the method is to improve the design time and design quality by providing a ...
136
click to vote
GECCO
2010
Springer
15 years 6 months ago
2010
Springer
The increase in the complexity of modern software has led to the commensurate growth in the size and execution time of the test suites for these programs. In order to address this...
ICSE
2010
IEEE-ACM
15 years 6 months ago
2010
IEEE-ACM
Though verification tools are finding industrial use, the utility of engineering optimizations that make them scalable and usable is not widely known. Despite the fact that seve...