526 search results - page 54 / 106 » Programming in JoCaml (Tool Demonstration) |
AIED
2007
Springer
14 years 5 months ago
2007
Springer
SimStudent is a machine-learning agent that learns cognitive skills by demonstration. SimStudent was originally built as a building block for Cognitive Tutor Authoring Tools to hel...
CC
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. To reason about programs, dynamic optimizers and analysis tools use sampling to collect a dynamic call graph (DCG). However, sampling has not achieved high accuracy with ...
COMPSAC
2006
IEEE
14 years 4 months ago
2006
IEEE
There exists a large variety of techniques to detect and correct software security vulnerabilities at the source code level, including human code reviews, testing, and static anal...
HPCC
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. Tracing parallel programs to observe their performance introduces intrusion as the result of trace measurement overhead. If post-mortem trace analysis does not compensate...
ICSM
2003
IEEE
14 years 4 months ago
2003
IEEE
Often the code regions that are assigned for a maintenance task do not follow the modularization of the original application program, but instead include parts of code from many d...