130 search results - page 9 / 26 » Finding and Certifying Loops |
ICRA
2002
IEEE
13 years 12 months ago
2002
IEEE
: In this paper, mobility analysis of various planar mobile robots are performed. Two different approaches are employed for that purpose. In the first approach, joint screws are em...
CLUSTER
2004
IEEE
13 years 10 months ago
2004
IEEE
Improving memory performance at software level is more effective in reducing the rapidly expanding gap between processor and memory performance. Loop transformations (e.g. loop un...
CC
2008
Springer
13 years 9 months ago
2008
Springer
The polyhedral model provides powerful abstractions to optimize loop nests with regular accesses. Affine transformations in this model capture a complex sequence of execution-reord...
PLDI
2010
ACM
14 years 4 months ago
2010
ACM
We define the reachability-bound problem to be the problem of finding a symbolic worst-case bound on the number of times a given control location inside a procedure is visited in ...
MVA
2007
13 years 8 months ago
2007
This paper presents a new reliable detection of core and delta in fingerprints by candidate analysis. The line search based method, which is one of the reliable approaches to dete...