1016 search results - page 59 / 204 » Automatic Analysis of Programming Assignments |
ASPLOS
2008
ACM
15 years 3 months ago
2008
ACM
Recently, the number of cores on general-purpose processors has been increasing rapidly. Using conventional programming models, it is challenging to effectively exploit these core...
IJCAI
2007
15 years 2 months ago
2007
Automatic tools for finding software errors require knowledge of the rules a program must obey, or “specifications,” before they can identify bugs. We present a method that ...
111
click to vote
ISORC
2008
IEEE
15 years 7 months ago
2008
IEEE
The analysis of the worst-case execution time (WCET) requires detailed knowledge of the program behavior. In practice it is still not possible to obtain all needed information aut...
108
click to vote
SAC
2008
ACM
15 years 13 days ago
2008
ACM
Automatic cost analysis has interesting applications in the context of verification and certification of mobile code. For instance, the code receiver can use cost information in o...
120
click to vote
IPPS
2005
IEEE
15 years 6 months ago
2005
IEEE
Abstract— We developed an automated environment to measure the memory access behavior of applications on high performance clusters. Code optimization for processor caches is cruc...