1406 search results - page 54 / 282 » Similarity in Programs |
109
click to vote
CF
2005
ACM
14 years 11 months ago
2005
ACM
Exploiting processor groups is becoming increasingly important for programming next-generation high-end systems composed of tens or hundreds of thousands of processors. This paper...
IIE
2008
14 years 9 months ago
2008
Introductory computer programming courses are inherently challenging for a variety of reasons. With increased demands for online delivery, the use of effective technologies, materi...
113
click to vote
PRL
2002
14 years 9 months ago
2002
This paper presents a learning system that uses genetic programming as a tool for automatically inferring the set of classification rules to be used during a preclassification sta...
JFP
2010
14 years 8 months ago
2010
The aim of our work is to be able to do fully formal, machine verified proofs over Generic Haskellstyle polytypic programs. In order to achieve this goal, we embed polytypic prog...
PPOPP
2012
ACM
13 years 5 months ago
2012
ACM
We present Dynamic Out-of-Order Java (DOJ), a dynamic parallelization approach. In DOJ, a developer annotates code blocks as tasks to decouple these blocks from the parent executi...