5757 search results - page 323 / 1152 » Dynamic Policy Programming |
151
click to vote
TACAS
2004
Springer
16 years 15 hour ago
2004
Springer
Abstract. We present a tool for the formal verification of ANSI-C programs using Bounded Model Checking (BMC). The emphasis is on usability: the tool supports almost all ANSI-C la...
158
click to vote
COMPSAC
2007
IEEE
16 years 1 months ago
2007
IEEE
Concept location is one of the fundamental activities during software maintenance which locates the parts of the source code where a specific concept is implemented. The methods f...
173
click to vote
JCP
2007
15 years 6 months ago
2007
— It is difficult for a student to learn about programs and to understand the rational that went into the development of the parts that led to the whole. Tools for explaining thi...
186
click to vote
IEEEPACT
2000
IEEE
15 years 11 months ago
2000
IEEE
Dynamic Optimization is an umbrella term that refers to any optimization of software that is performed after the initial compile time. It is a complementary optimization opportuni...
178
click to vote
MICRO
2000
IEEE
15 years 11 months ago
2000
IEEE
Selective dynamic compilation systems, typically driven by annotations that identify run-time constants, can achieve significant program speedups. However, manually inserting ann...