6 search results - page 1 / 2 » Data-Flow Based Detection of Loop Bounds |
WCET
2007
13 years 5 months ago
2007
To calculate the WCET of a program, safe upper bounds on the number of loop iterations for all loops in the program are needed. As the manual annotation of all loops with such bou...
PLDI
1990
ACM
13 years 8 months ago
1990
ACM
- This paper describes techniques for optimizing range checks performed to detect array bound violations. In addition to the elimination of range check:s, the optimizations discuss...
ICIP
2005
IEEE
14 years 6 months ago
2005
IEEE
This paper describes an efficient pedestrian detection system for videos acquired from moving platforms. Given a detected and tracked object as a sequence of images within a bound...
IM
2007
13 years 6 months ago
2007
- Many researchers have considered security policy management, including how to configure policies manually and even how to automatically generate security policies based on securi...
TRIER
2002
13 years 4 months ago
2002
It is known that interprocedural detection of copy constants and elimination of faint code in parallel programs are undecidable problems, if base statements are assumed to execute...