2673 search results - page 158 / 535 » Guided Static Analysis |
142
click to vote
ICSM
1998
IEEE
15 years 8 months ago
1998
IEEE
Analysis techniques, such as control-flow, data-flow, and control-dependence, are used for a variety of maintenance tasks, including regression testing, dynamic execution profilin...
189
click to vote
ECOOP
2012
Springer
13 years 6 months ago
2012
Springer
R is a dynamic language for statistical computing that combines lazy functional features and object-oriented programming. This rather unlikely linguistic cocktail would probably ne...
150
click to vote
IEEECIT
2005
IEEE
15 years 10 months ago
2005
IEEE
Abstract The conversation model captures interactions among the components of a composite web service. A conversation is the global sequence of messages exchanged among the compone...
115
click to vote
SAS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Programming language technology can contribute to the development and understanding of Systems Biology by providing formal calculi for specifying and analysing the dynami...
128
click to vote
ASAP
2006
IEEE
15 years 8 months ago
2006
IEEE
In this paper, we propose to model memory access profile information as loop nests exhibiting useful characteristics on the memory behavior, such as periodicity, linearly linked m...