1086 search results - page 59 / 218 » Programming by Numbers: A Programming Method for Novices |
135
click to vote
SAS
2007
Springer
16 years 4 days ago
2007
Springer
Abstract. Shape analyses are often imprecise in their numerical reasoning, whereas numerical static analyses are often largely unaware of the shape of a program’s heap. In this p...
155
click to vote
CC
2007
Springer
16 years 6 days ago
2007
Springer
We present a unification-based, context-sensitive escape and effect analysis that infers lightweight method summaries describing heap effects. The analysis is parameterized on two...
162
click to vote
AMC
2007
15 years 6 months ago
2007
In this paper we present the method of lines to obtain the numerical solution of a mathematical model for capillary formation in tumor angiogenesis. This method is an approach to ...
126
click to vote
JUCS
2010
15 years 4 months ago
2010
Abstract: This paper presents a nonlinear solver based on the Newton-Krylov methods, where the Newton equations are solved by Krylov-subspace type approaches. We focus on the solut...
145
click to vote
ISPAN
1997
IEEE
15 years 10 months ago
1997
IEEE
Loop unrolling is one of the most promising parallelization techniques, because the nature of programs causes most of the processing time to be spent in their loops. Unrolling not...