1016 search results - page 72 / 204 » Automatic Analysis of Programming Assignments |
112
Voted
JCB
2000
15 years 2 months ago
2000
Large scale gene duplication is a major force driving the evolution of genetic functional innovation. Whole genome duplications are widely believed to have played an important rol...
112
Voted
PLDI
2005
ACM
15 years 8 months ago
2005
ACM
We present a new tool, named DART, for automatically testing software that combines three main techniques: (1) automated extraction of the interface of a program with its external...
140
Voted
ERSHOV
2006
Springer
15 years 6 months ago
2006
Springer
A new coordination language for distributed data-parallel programs is presented, call SNet. The intention of SNet is to introduce advanced structuring techniques into a coordinatio...
117
Voted
PARA
2000
Springer
15 years 6 months ago
2000
Springer
Our proposal has the following key features: 1) The separation of a distributed program into a pure algorithm (PurAl) and a distribution/communication declaration (DUAL). This yie...
205
Voted
GIS
2006
ACM
16 years 3 months ago
2006
ACM
We present a novel method for the automatic generalization of land cover maps. A land cover map is composed of areas that collectively form a tessellation of the plane and each ar...