4722 search results - page 804 / 945 » Representation-independent program analysis |
KBSE
2007
IEEE
14 years 2 months ago
2007
IEEE
The paper presents a semi-automated technique for feature location in source code. The technique is based on combining information from two different sources: an execution trace, ...
COCO
2007
Springer
14 years 2 months ago
2007
Springer
We consider a class of two-prover interactive proof systems where each prover returns a single bit to the verifier and the verifier’s verdict is a function of the XOR of the tw...
CP
2007
Springer
14 years 2 months ago
2007
Springer
The increasing levels of system integration in Multi-Processor System-on-Chips (MPSoCs) emphasize the need for new design flows for efficient mapping of multi-task applications o...
FMCO
2007
Springer
14 years 2 months ago
2007
Springer
We present a language and a program analysis that certifies the safe use of flexible resource management idioms, in particular advance reservation or “block booking” of costl...
GECCO
2007
Springer
14 years 2 months ago
2007
Springer
Crossover in Genetic Programming is mostly a destructive operator, generally producing children worse than the parents and occasionally producing those who are better. A recently ...