6274 search results - page 644 / 1255 » Proofs, Programs, Processes |
178
click to vote
ICALT
2006
IEEE
16 years 1 months ago
2006
IEEE
Teachers working in robotics classes face a major problem: how to keep track on individual students’ or even small groups’ progress in a class of 30-40 students. An agency app...
192
click to vote
ETRA
2006
ACM
16 years 1 months ago
2006
ACM
This paper proposes to use eye movements to characterize the performance of individuals in reviewing source code of computer programs. We first present an integrated environment t...
152
click to vote
ICALT
2005
IEEE
16 years 24 days ago
2005
IEEE
Using cases for teaching and learning has received growing attention in teacher training programs. This project intends to build a web forum for student teachers to discuss their ...
215
click to vote
HPCC
2005
Springer
16 years 22 days 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...
195
click to vote
IFIP
2004
Springer
16 years 17 days ago
2004
Springer
In global computing applications the availability of a mechanism for some form of committed choice can be useful, and sometimes necessary. It can conveniently handle, e.g., distrib...