3225 search results - page 45 / 645 » Compiling Experience into Knowledge |
173
click to vote
ITICSE
2009
ACM
15 years 8 months ago
2009
ACM
This paper describes our experiences with the first partial deployment of Presentations Automatically Organized from Lectures (PAOL), a lecture recording system developed and tes...
SIGITE
2004
ACM
15 years 7 months ago
2004
ACM
This experience report describes lessons learned using first generation tablet PCs to support active learning in an undergraduate computer science laboratory course. We learned th...
124
click to vote
PPOPP
1993
ACM
15 years 5 months ago
1993
ACM
This paper discusses some of the issues involved in implementing a shared-address space programming model on large-scale, distributed-memory multiprocessors. While such a programm...
113
Voted
SAIG
2000
Springer
15 years 5 months ago
2000
Springer
Achieving peak performance in important numerical kernels such as dense matrix multiply or sparse-matrix vector multiplication usually requires extensive, machine-dependent tuning ...
78
Voted
WOTUG
2008
15 years 3 months ago
2008
Abstract. This paper considers the issues involved in translating specifications described in the CSP B formal method into Handel-C. There have previously been approaches to transl...