1086 search results - page 63 / 218 » Programming by Numbers: A Programming Method for Novices |
159
click to vote
PLDI
1995
ACM
15 years 9 months ago
1995
ACM
We present a flow-sensitive interprocedural constant propagation algorithm, which sttpports recursion while only performing one flow-sensitive analysis of each procedure. We prese...
155
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
We propose in this paper an exploratory analysis algorithm for functional data. The method partitions a set of functions into K clusters and represents each cluster by a simple pr...
160
click to vote
VMCAI
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. The paper presents methods for model checking a class of possibly infinite state concurrent programs using various types of bi-simulation reductions. The proposed method...
171
click to vote
PDP
2008
IEEE
16 years 16 days ago
2008
IEEE
Parallel programming models based on a mixture of task and data parallelism have shown to be successful in addressing the increasing communication overhead of distributed memory p...
148
click to vote
ACG
2006
Springer
16 years 4 days ago
2006
Springer
Most game programs have a large number of parameters that are crucial for their performance. Tuning these parameters by hand is rather difficult. Therefore automatic optimization a...