12272 search results - page 1833 / 2455 » Experimental program analysis |
170
click to vote
ISCC
2007
IEEE
16 years 1 months ago
2007
IEEE
— Web servers are exposed to extremely changing runtime requirements. Going offline to adjust policies and configuration parameters in order to cope with such requirements is n...
161
click to vote
IWPC
2007
IEEE
16 years 1 months ago
2007
IEEE
The domain-specific ontology of a software system includes a set of features and their relationships. While the problem of locating features in object-oriented programs has been ...
186
click to vote
COCO
2007
Springer
16 years 1 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...
212
click to vote
CP
2007
Springer
16 years 1 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...
178
click to vote
FMCO
2007
Springer
16 years 1 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...