Sciweavers

620 search results - page 79 / 124
» Computer tutoring for programming education
Sort
View
CORR
2010
Springer
58views Education» more  CORR 2010»
13 years 8 months ago
Soundly Handling Static Fields: Issues, Semantics and Analysis
Although in most cases class initialization works as expected, some static fields may be read before being initialized, despite being initialized in their corresponding class init...
Laurent Hubert, David Pichardie
CORR
2010
Springer
124views Education» more  CORR 2010»
13 years 5 months ago
Lattice model refinement of protein structures
To find the best lattice model representation of a given full atom protein structure is a hard computational problem. Several greedy methods have been suggested where results are ...
Martin Mann, Alessandro Dal Palù
CORR
2004
Springer
86views Education» more  CORR 2004»
13 years 7 months ago
Pandora : une plate-forme efficace pour la construction d'applications autonomes
Autonomic computing has been proposed recently as a way to address the difficult management of applications whose complexity is constantly increasing. Autonomous applications will ...
Simon Patarin, Mesaac Makpangou
CORR
2010
Springer
141views Education» more  CORR 2010»
13 years 5 months ago
A Categorical Outlook on Cellular Automata
In programming language semantics, it has proved to be fruitful to analyze context-dependent notions of computation, e.g., dataflow computation and attribute grammars, using comona...
Silvio Capobianco, Tarmo Uustalu
SIGCSE
2009
ACM
150views Education» more  SIGCSE 2009»
14 years 8 months ago
Dereferee: exploring pointer mismanagement in student code
Dynamic memory management and the use of pointers are critical topics in teaching the C++ language. They are also some of the most difficult for students to grasp properly. The re...
Anthony Allevato, Manuel A. Pérez-Qui&ntild...