756 search results - page 41 / 152 » Understanding COBOL Systems using Inferred Types |
123
Voted
ENTCS
2000
15 years 2 months ago
2000
The region calculus of Tofte and Talpin is an annotated polymorphically typed lambda calculus which makes memory allocation and deallocation explicit. It is intended as an interme...
112
Voted
WSC
2000
15 years 3 months ago
2000
One use of simulation is to inform decision makers that seek to select the best of several alternative systems. The system with the highest (or lowest) mean value for simulation o...
137
Voted
GECCO
2006
Springer
15 years 6 months ago
2006
Springer
In this paper, we address the problem of finding gene regulatory networks from experimental DNA microarray data. We focus on the evaluation of the performance of different evoluti...
117
Voted
FMOODS
2008
15 years 4 months ago
2008
This paper proposes a semantics-based automatic null pointer analysis for inferring non-null annotations of fields in objectoriented programs. The analysis is formulated for a mini...
93
Voted
ICPR
2008
IEEE
16 years 3 months ago
2008
IEEE
Belief propagation methods are the state-of-the-art with multi-sensor state localization problems. However, when localization applications have to deal with multi-modality sensors...