1016 search results - page 3 / 204 » Automatic Analysis of Programming Assignments |
POPL
2010
ACM
14 years 4 months ago
2010
ACM
We present an analysis to automatically determine if a program represents a continuous function, or equivalently, if infinitesimal changes to its inputs can only cause infinitesim...
ISM
2005
IEEE
14 years 8 days ago
2005
IEEE
—We present a method for segmenting music with different grid levels in order to properly quantize note values in the transcription of music. This method can be used in automatic...
DATE
2002
IEEE
13 years 11 months ago
2002
IEEE
The number of embedded systems is increasing and a remarkable percentage is designed as mobile applications. For the latter, the energy consumption is a limiting factor because of...
PLDI
2003
ACM
13 years 12 months ago
2003
ACM
We describe a technique for automatically proving compiler optimizations sound, meaning that their transformations are always semantics-preserving. We first present a domainspeci...
ICS
2001
Tsinghua U.
13 years 11 months ago
2001
Tsinghua U.
This paper presents a novel technique to perform global optimization of communication and preprocessing calls in the presence of array accesses with arbitrary subscripts. Our sche...