80 search results - page 7 / 16 » Control flow optimization in loops using interval analysis |
ISCAS
2005
IEEE
14 years 9 days ago
2005
IEEE
Recent work has shown that the use of switched current methods can provide an effective route to implementation of analog IC functionality using a standard digital CMOS process. Fu...
ISSTA
1998
ACM
13 years 11 months ago
1998
ACM
Automated analyses for regression test selection (RTS) attempt to determine if a modified program, when run on a test t, will have the same behavior as an old version of the prog...
SCL
2008
13 years 6 months ago
2008
We establish exponential stability of nonlinear time-varying impulsive systems by employing Lyapunov functions with discontinuity at the impulse times. Our stability conditions ha...
ESOP
2006
Springer
13 years 10 months ago
2006
Springer
We present and solve a path optimization problem on programs. Given a set of program nodes, called critical nodes, we find a shortest path through the program's control flow g...
IMC
2010
ACM
13 years 4 months ago
2010
ACM
The reconvergence of routing protocols in response to changes in network topology can impact application performance. While improvements in protocol specification and implementati...