716 search results - page 18 / 144 » Semilinear Program Feasibility |
75
Voted
WCET
2008
14 years 11 months ago
2008
Conditional branches connect the values of program variables with the execution paths and thus with the execution times, including the worstcase execution time (WCET). Flow analys...
CSREAESA
2004
14 years 11 months ago
2004
In this paper we present an approach to the optimisation of interpreted Java programs using superinstructions. Unlike existing techniques, we examine the feasibility of identifying...
MP
2006
14 years 9 months ago
2006
We present a primal-dual interior-point algorithm with a filter line-search method for nonlinear programming. Local and global convergence properties of this method were analyzed i...
91
Voted
ROMAN
2007
IEEE
15 years 3 months ago
2007
IEEE
Robot Programming by Demonstration (RbD) covers methods by which a robot learns new skills through human guidance. In this work, we take the perspective that the role of the tea...
COMPSAC
1999
IEEE
15 years 1 months ago
1999
IEEE
This paper presents a generic approach to statically analyze Java programs in order to detect potential errors (bugs). We discuss a framework that supports our approach and carrie...