6960 search results - page 1273 / 1392 » Continuity Analysis of Programs |
136
click to vote
EDO
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. This paper presents a framework that lets a component developer provide a component user with different kinds of information, depending on the specific context and needs....
124
click to vote
PEPM
2000
ACM
15 years 6 months ago
2000
ACM
Many program optimisations and analyses, such as arraybound checking, termination analysis, etc, dependon knowing the size of a function's input and output. However, size inf...
104
click to vote
ICS
1995
Tsinghua U.
15 years 6 months ago
1995
Tsinghua U.
The elimination of induction variables and the parallelization of reductions in FORTRAN programs have been shown to be integral to performance improvement on parallel computers 7,...
108
click to vote
DBPL
1991
Springer
15 years 6 months ago
1991
Springer
BULK is a very-high-level persistent programming language and environment for prototyping and implementing database applications. BULK provides sets and sequences as primitive typ...
127
click to vote
CISIS
2010
IEEE
15 years 6 months ago
2010
IEEE
Offload C++ is an extended version of the C++ language, together with a compiler and runtime system, for automatically offloading general-purpose C++ code to run on the Synergistic...