1086 search results - page 63 / 218 » Programming by Numbers: A Programming Method for Novices |
168
click to vote
PLDI
1995
ACM
15 years 10 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...
173
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...
168
click to vote
VMCAI
2005
Springer
16 years 2 days 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...
187
click to vote
PDP
2008
IEEE
16 years 1 months 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...
155
click to vote
ACG
2006
Springer
16 years 18 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...