4469 search results - page 367 / 894 » Dynamic Program Slicing |
146
Voted
ICTAI
2002
IEEE
15 years 7 months ago
2002
IEEE
In this paper, we propose new dominance relations that can speed up significantly the solution process of nonlinear constrained dynamic optimization problems in discrete time and...
116
Voted
MICRO
1998
IEEE
15 years 6 months ago
1998
IEEE
We present an architecture that features dynamic multithreading execution of a single program. Threads are created automatically by hardware at procedure and loop boundaries and e...
173
Voted
CODES
2004
IEEE
15 years 6 months ago
2004
IEEE
The memory subsystem accounts for a significant portion of the aggregate energy budget of contemporary embedded systems. Moreover, there exists a large potential for optimizing th...
143
Voted
ICS
2000
Tsinghua U.
15 years 6 months ago
2000
Tsinghua U.
Memory system bottlenecks limit performance for many applications, and computations with strided access patterns are among the hardest hit. The streams used in such applications h...
125
click to vote
FMICS
2008
Springer
15 years 4 months ago
2008
Springer
Given the intractability of exhaustively verifying software, the use of runtime-verification, to verify single execution paths at runtime, is becoming popular. Although the use of ...