5235 search results - page 649 / 1047 » Analysis of Multithreaded Programs |
204
click to vote
IFL
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. In this report a new backward strictness analysis for functional languages is presented. It is called higher order demand propagation and is applicable to a realistic non...
223
click to vote
PEPM
1997
ACM
15 years 11 months ago
1997
ACM
We present the design of a dynamic compilation system for C. Directed by a few declarative user annotations specifying where and on what dynamic compilation is to take place, a bi...
209
Voted
ASIAN
2006
Springer
15 years 10 months ago
2006
Springer
Polyhedral analysis [9] is an abstract interpretation used for automatic discovery of invariant linear inequalities among numerical varia program. Convexity of this abstract domain...
190
click to vote
CGF
2010
15 years 7 months ago
2010
Historically, rendering system development has been mainly focused on improving the numerical accuracy of the rendering algorithms and their runtime efficiency. In this paper, we ...
175
click to vote
JPDC
2011
14 years 9 months ago
2011
Scripting languages such as R and Matlab are widely used in scientific data processing. As the data volume and the complexity of analysis tasks both grow, sequential data process...