4725 search results - page 330 / 945 » Dependence-Based Program Analysis |
158
click to vote
COR
2006
15 years 7 months ago
2006
The objective of the present paper is to select the best compromise irrigation planning strategy for the case study of Jayakwadi irrigation project, Maharashtra, India. Four-phase...
187
click to vote
ISBRA
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. The lattice approach to biological structural analysis was made popular by the HP model for protein folding, but had not been used previously for RNA secondary structure ...
179
click to vote
TACAS
2005
Springer
16 years 21 days ago
2005
Springer
Fair discrete systems (FDSs) are a computational model of concurrent programs where fairness assumptions are specified in terms of sets of states. The analysis of fair discrete sy...
165
click to vote
EUROPAR
2004
Springer
16 years 19 days ago
2004
Springer
The APART working group is developing the APART Test Suite (ATS) for evaluating (automatic) performance analysis tools with respect to their correctness – that is, their ability...
139
click to vote
SAS
2004
Springer
16 years 18 days ago
2004
Springer
This paper addresses the verification of properties of imperative programs with recursive procedure calls, heap-allocated storage, and destructive updating of pointer-valued fiel...