2957 search results - page 280 / 592 » Code analysis and CS-XML |
126
click to vote
GLOBECOM
2007
IEEE
15 years 10 months ago
2007
IEEE
A theoretical analysis for evaluating the performance of a lincoded continuous phase optical frequency shift keying (CPFSK) optical transmission system with delay line demodulation...
118
click to vote
MODELS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Alloy is a formal language, which has been applied to modelling of systems in a wide range of application domains. It is supported by Alloy Analyzer, a tool, which allows...
113
click to vote
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
UPC’s implicit communication and fine-grain programming style make application performance modeling a challenging task. The correspondence between remote references and communi...
116
click to vote
ISESE
2006
IEEE
15 years 10 months ago
2006
IEEE
We present an iterative, reading-based methodology for analyzing defects in source code when change history is available. Our bottom-up approach can be applied to build knowledge ...
150
click to vote
PPDP
2005
Springer
15 years 9 months ago
2005
Springer
The paper develops a self-tuning resource aware partial evaluation technique for Prolog programs, which derives its own control strategies tuned for the underlying computer archit...