546 search results - page 49 / 110 » Parametric Program Slicing |
140
Voted
ICS
2009
Tsinghua U.
15 years 11 months ago
2009
Tsinghua U.
Tiling is a crucial loop transformation for generating high performance code on modern architectures. Efficient generation of multilevel tiled code is essential for maximizing da...
111
Voted
CMPB
2007
15 years 5 months ago
2007
: Cure models have been developed to analyze failure time data with a cured fraction. For such data, standard survival models are usually not appropriate because they do not accoun...
148
click to vote
FOSSACS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We present a realizability model for a call-by-value, higherorder programming language with parametric polymorphism, general first-class references, and recursive types....
172
click to vote
SAS
1994
Springer
15 years 9 months ago
1994
Springer
Constraint-based analysis is a technique for inferring implementation types. Traditionally it has been described using mathematical formalisms. We explain it in a different and mor...
146
click to vote
EUROPAR
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. With support for C/C++, Fortran, MPI, OpenMP, and performance tools, the Eclipse integrated development environment (IDE) is a serious contender as a programming environm...