6960 search results - page 108 / 1392 » Continuity Analysis of Programs |
161
click to vote
APSEC
2001
IEEE
15 years 6 months ago
2001
IEEE
Program slicing has been used for efficient program debugging activities. Program slice is computed by analyzing dependence relations between program statements. We can divide dep...
127
click to vote
ICRA
2005
IEEE
15 years 8 months ago
2005
IEEE
Domestic and real world robotics requires continuous learning of new skills and behaviors to interact with humans. Auto-supervised learning, a compromise between supervised and co...
105
click to vote
NIPS
2007
15 years 4 months ago
2007
We combine three threads of research on approximate dynamic programming: sparse random sampling of states, value function and policy approximation using local models, and using lo...
112
click to vote
CCS
2003
ACM
15 years 8 months ago
2003
ACM
This paper addresses the issue of identifying buffer overrun vulnerabilities by statically analyzing C source code. We demonstrate a light-weight analysis based on modeling C stri...
125
click to vote
ESOP
1999
Springer
15 years 7 months ago
1999
Springer
Control Flow Analysis is a widely used approach for analysing functional and object oriented programs. Once the applications become more demanding also the analysis needs to be mor...