215 search results - page 11 / 43 » State-Transition Computation Models and Program Correctness ... |
99
Voted
SIGCSE
2010
ACM
15 years 6 months ago
2010
ACM
Programming exercise assessment tools alleviate the task of teachers, and increase consistency of markings. Many programming exercise assessment tools are based on testing. A test...
100
Voted
APPT
2009
Springer
15 years 6 months ago
2009
Springer
In this paper, a comprehensive performance review of an MPI-based high-order three-dimensional spectral element method C++ toolbox is presented. The focus is put on the performance...
116
click to vote
SIGGRAPH
1995
ACM
15 years 3 months ago
1995
ACM
Most recent rendering research has concentrated on two subproblems: modeling the reflection of light from materials, and calculating the direct and indirect illumination from lig...
105
Voted
ISPAN
2008
IEEE
15 years 6 months ago
2008
IEEE
Parallel computing is notoriously challenging due to the difficulty in developing correct and efficient programs. With the arrival of multi-core processors for desktop systems, ...
60
Voted
HPCC
2005
Springer
15 years 5 months ago
2005
Springer
A lot of sophisticated techniques and platforms have been proposed to build distributed object systems. Remote method invocation and explicit message passing on top of traditional...