2941 search results - page 139 / 589 » The Myth of the Educational Computer |
123
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
We introduce a generic extension of the popular branching-time logic CTL which refines the temporal until and release operators with formal languages. For instance, a language may ...
123
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
We have used the Montage image mosaic engine to investigate the cost and performance of processing images on the Amazon EC2 cloud, and to inform the requirements that higher-level...
142
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
On modern architectures, the performance of 32-bit operations is often at least twice as fast as the performance of 64-bit operations. By using a combination of 32-bit and 64-bit ...
138
click to vote
SIGCSE
2002
ACM
15 years 4 months ago
2002
ACM
Most courses on Discrete Mathematics are designed to emphasize problem solving, in general. When the goal is to cover the content, the learning and understanding takes a second pl...
128
click to vote
SIGCSE
2010
ACM
15 years 9 months ago
2010
ACM
This paper presents an experience in designing, implementing, and evaluating a studio-based learning model for CS2. Adapted from architecture and art education, as well as from co...