1016 search results - page 58 / 204 » Automatic Analysis of Programming Assignments |
SMI
2008
IEEE
15 years 7 months ago
2008
IEEE
Training a 3D model classifier on a small dataset is very challenging. However, large datasets of partially classified models are now commonly available online. We use an external...
ENTCS
2008
15 years 1 months ago
2008
In the context of Dolev-Yao style analysis of security protocols, we consider the capability of an intruder to dynamically choose and assign names to agents. This capability has b...
104
click to vote
COMPSAC
2005
IEEE
15 years 6 months ago
2005
IEEE
Automatic test data generation leads to the identification of input values on which a selected path or a selected branch is executed within a program (path-oriented vs goalorient...
113
click to vote
ICSM
2008
IEEE
15 years 7 months ago
2008
IEEE
Aspect-oriented programming (AOP) is gaining popularity with the wider adoption of languages such as AspectJ. During AspectJ software evolution, when regression tests fail, it may...
130
click to vote
HPDC
2008
IEEE
15 years 1 months ago
2008
IEEE
Basic data flow patterns which we call idioms, such as stream, transpose, reduction, random access and stencil, are common in scientific numerical applications. We hypothesize tha...