410 search results - page 23 / 82 » Creating Cyberworlds: Experiences in Computer Science Educat... |
SIGADA
2005
Springer
15 years 5 months ago
2005
Springer
This paper describes experiences garnered while teaching a course on high integrity software using SPARK to a mix of junior and senior level undergraduates. The paper describes th...
144
click to vote
ACMSE
2011
ACM
13 years 11 months ago
2011
ACM
This paper describes the adaptation of a modern compiler construction course to target an FPGA-based hardware platform used throughout our computer science curriculum. One of the ...
111
click to vote
JSW
2007
14 years 11 months ago
2007
— The science of physics is based on theories and models as well as experiments: the former structure relations and simplify reality to a degree such that predictions on physical...
92
Voted
SIGPLAN
2008
14 years 11 months ago
2008
Liberal arts curricula emphasize breadth of a student's educational experience, critical reasoning, and intellectual discourse to a greater degree than pre-professional train...
CHI
2007
ACM
16 years 4 days ago
2007
ACM
The capability to support spatial perception plays an important role in developing material for astronomy education. Considering this, we developed a novel tangible user interface...