Sciweavers

1016 search results - page 14 / 204
» Automatic Analysis of Programming Assignments
Sort
View
ICSOC
2010
Springer
13 years 4 months ago
Automatic Fragment Identification in Workflows Based on Sharing Analysis
In Service-Oriented Computing (SOC), fragmentation and merging of workflows are motivated by a number of concerns, among which we can cite design issues, performance, and privacy. ...
Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegi...
ASPLOS
2009
ACM
14 years 7 months ago
Commutativity analysis for software parallelization: letting program transformations see the big picture
Extracting performance from many-core architectures requires software engineers to create multi-threaded applications, which significantly complicates the already daunting task of...
Farhana Aleen, Nathan Clark
COMPSAC
1999
IEEE
13 years 11 months ago
A Generic Approach of Static Analysis for Detecting Runtime Errors in Java Programs
This paper presents a generic approach to statically analyze Java programs in order to detect potential errors (bugs). We discuss a framework that supports our approach and carrie...
Xiaoping Jia, Sotiris Skevoulis
LCPC
2005
Springer
14 years 7 days ago
Parallelization of Utility Programs Based on Behavior Phase Analysis
Abstract. With the fast development of multi-core processors, automatic parallelization becomes increasingly important. In this work, we focus on the parallelization of utility pro...
Xipeng Shen, Chen Ding
AAAI
2000
13 years 8 months ago
The Game of Hex: An Automatic Theorem Proving Approach to Game Programming
The game of Hex is a two-player game with simple rules, a deep underlying mathematical beauty, and a strategic complexity comparable to that of Chess and Go. The massive game-tree...
Vadim V. Anshelevich