6960 search results - page 342 / 1392 » Continuity Analysis of Programs |
189
click to vote
SCAM
2002
IEEE
15 years 9 months ago
2002
IEEE
Dynamic program slicing is an effective technique for narrowing the errors to the relevant parts of a program when debugging. Given a slicing criterion, the dynamic slice contains...
154
click to vote
SEKE
2001
Springer
15 years 9 months ago
2001
Springer
Source code analysis and inspection does not provide enough information to describe the structure of an objectoriented program completely because there are components and relation...
159
click to vote
APIN
1998
15 years 4 months ago
1998
Process algebra are formal languages used for the rigorous specification and analysis of concurrent systems. By using a process algebra as the target language of a genetic program...
158
click to vote
SIAMJO
2011
14 years 11 months ago
2011
In this paper we define semidefinite packing programs and describe an algorithm to approximately solve these problems. Semidefinite packing programs arise in many applications s...
141
click to vote
RTAS
2003
IEEE
15 years 9 months ago
2003
IEEE
Model-based automatic code generation is a process of converting abstract models into concrete implementations in the form of a program written in a high-level programming languag...