73 search results - page 2 / 15 » Observations from using two modes of teaching undergraduate ... |
ITICSE
2010
ACM
13 years 9 months ago
2010
ACM
This paper introduces the SOM (Simple Object Machine) family of virtual machine (VM) implementations, a collection of VMs for the same Smalltalk dialect addressing students at diļ...
ICCS
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. Smaller institutions can now maintain local cluster computing environments to support research and teaching in high-performance scientiļ¬c computation. Researchers can d...
JIIS
2008
13 years 5 months ago
2008
We propose a natural framework, called NF, which supports development of formal proofs on a computer. NF is based on a theory of Judgments and Derivations. NF is designed by observ...
IISWC
2006
IEEE
13 years 11 months ago
2006
IEEE
ā As x86-64 processors become the CPU of choice for the personal computer market, it becomes increasingly important to understand the performance we can expect by migrating appli...
SIGCSE
2006
ACM
13 years 11 months ago
2006
ACM
This paper describes our experiences in promoting a learning environment where active student involvement and interaction, as well as openness to diversity of ideas are supported ...