1016 search results - page 93 / 204 » Automatic Analysis of Programming Assignments |
205
Voted
ISOLA
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. The Implicit Path Enumeration Technique (IPET) has become widely accepted as a powerful technique to compute upper bounds on the Worst-Case Execution Time (WCET) of time-...
123
Voted
ICFEM
2004
Springer
15 years 9 months ago
2004
Springer
A formal framework for software development and analysis is presented, which aims at reducing the gap between formal specification and implementation by integrating the two and al...
129
Voted
HPCC
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Automated online search is a powerful technique for performance diagnosis. Such a search can change the types of experiments it performs while the program is running, mak...
144
click to vote
SAC
2010
ACM
15 years 3 months ago
2010
ACM
Each day, security companies see themselves confronted with thousands of new malware programs. To cope with these large quantities, researchers and practitioners alike have develo...
139
Voted
IWMM
2007
Springer
15 years 9 months ago
2007
Springer
This paper presents an analysis and transformation for individual object reclamation in Java programs. First, we propose a uniqueness inference algorithm that identifies variable...