1016 search results - page 135 / 204 » Automatic Analysis of Programming Assignments |
144
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Multiprocessor task scheduling is an important and computationally difficult problem. This paper proposes a comparison study of genetic algorithm and list scheduling algorithm. Bo...
124
Voted
UML
2005
Springer
15 years 8 months ago
2005
Springer
Analysis and design by contract allows the definition of a formal agreement between a class and its clients, expressing each party’s rights and obligations. Contracts written in ...
106
Voted
SAC
2010
ACM
15 years 7 months ago
2010
ACM
The verification of industrial systems specified with CSP often implies the analysis of many concurrent and synchronized components. The cost associated to these analyses is usu...
127
Voted
AOSD
2007
ACM
15 years 6 months ago
2007
ACM
This paper proposes an approach called SCoPE, which supports user-defined analysis-based pointcuts in aspect-oriented programming (AOP) languages. The advantage of our approach is...
131
Voted
CP
2006
Springer
15 years 6 months ago
2006
Springer
Ideally, programming propagators as implementations of constraints should be an entirely declarative specification process for a large class of constraints: a high-level declarativ...