1004 search results - page 42 / 201 » High Performance Computing in Science and Engineering |
MSR
2005
ACM
15 years 5 months ago
2005
ACM
Over 200 CVS repositories representing the assignments of students in a second year undergraduate computer science course have been assembled. This unique data set represents many...
115
Voted
DIS
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. The Symposium on Computational Discovery of Communicable Knowledge was held from March 24 to 25, 2001, at Stanford University. Fifteen speakers reviewed recent advances i...
ASM
2008
ASM
15 years 1 months ago
2008
ASM
Abstract. In this paper we examine the difference between model checking high-level and low-level models. In particular, we compare the ProB model checker for the B-method and the ...
ADBIS
2006
Springer
15 years 5 months ago
2006
Springer
Computational database technology spans the two research fields data-base technology and scientific computing. It involves development of database capabilities that support compu...
87
Voted
SIGCSE
2010
ACM
14 years 12 months ago
2010
ACM
An analysis of data from 259 CS1 students is performed to compare the performance of students who were paired by demonstrated ability to that of students who were paired randomly ...