4725 search results - page 508 / 945 » Dependence-Based Program Analysis |
202
click to vote
VL
1998
IEEE
15 years 10 months ago
1998
IEEE
We report on the development of a visual programming environment for building applications for execution on a range of parallel computing platforms. This work exploits the dataflo...
150
click to vote
FPCA
1991
15 years 10 months ago
1991
We tackle the problem of detecting global variables in functional programs. We present syntactic criteria for single-threading which improves upon previous solutions (both syntact...
198
Voted
ESOP
2008
Springer
15 years 8 months ago
2008
Springer
This paper defines the cover of a formula with respect to a set of variables V in theory T to be the strongest quantifier-free formula that is implied by V : in theory T. Cover e...
169
click to vote
WSC
1998
15 years 8 months ago
1998
The development of a discrete-event simulation tool, called GMSim, based on the generalized semi-Markov process (GSMP) formalism is described. The GSMP representation comprises bo...
181
Voted
SIGCSE
2010
ACM
15 years 7 months ago
2010
ACM
An analysis of data from 259 CS1 students is performed to compare the performance of students who were paired by demonstrated ability to that of students who were paired randomly ...