12272 search results - page 402 / 2455 » Experimental program analysis |
278
click to vote
DLS
2009
15 years 4 months ago
2009
Type inference and type reconstruction derive static types for program elements that have no static type associated with them. They have a wide range of usage, such as helping to ...
349
click to vote
OL
2011
15 years 1 months ago
2011
We consider sequential quadratic programming (SQP) methods for solving constrained nonlinear programming problems. It is generally believed that SQP methods are sensitive to the a...
220
click to vote
TACAS
2012
Springer
14 years 2 months ago
2012
Springer
Abstract. Automated verification of multi-threaded programs is difficult. Direct treatment of all possible thread interleavings by reasoning about the program globally is a prohib...
169
click to vote
ISORC
2007
IEEE
16 years 1 months ago
2007
IEEE
Knowing the program timing characteristics is fundamental to the successful design and execution of real-time systems. Today, measurement-based timing analysis tools such as in-ci...
179
click to vote
PEPM
1993
ACM
15 years 11 months ago
1993
ACM
Binding-time analysis is a crucial component of an ofine partial evaluator. The accuracy of the binding-time information that it produces determines the degree of specialization o...