128 search results - page 12 / 26 » Bridging the Lesson Distribution Gap |
GCC
2003
Springer
14 years 1 months ago
2003
Springer
Grid computing technology is a focused field in high performance computing. This paper describes an engineering computation oriented visual grid framework VGrid, which is capable t...
CSCW
1998
ACM
14 years 27 days ago
1998
ACM
The Artefact framework supports collaborative applications using standard browsers, a lightweight general-purpose Java applet, and HTML representations of objects and actions. We ...
CBMS
2009
IEEE
14 years 20 days ago
2009
IEEE
Resource-intensive and complex medical imaging applications can benefit from the use of scientific workflow technology for their design, rapid implementation and reuse, but at the...
PLDI
2010
ACM
14 years 23 days ago
2010
ACM
Verified compilers, such as Leroy's CompCert, are accompanied by a fully checked correctness proof. Both the compiler and proof are often constructed with an interactive proo...
CE
2007
13 years 8 months ago
2007
The two separate projects described have examined how teachers exploit computer-based technologies in supporting learning of science at secondary level. This paper examines how pe...