Sciweavers

792 search results - page 114 / 159
» Internationalization of computer science education
Sort
View
ITICSE
2000
ACM
14 years 3 months ago
Integrating interactive computer-based learning experiences into established curricula: a case study
Educators who wish to integrate interactive computerbased learning experiences into established courses must contend not only with the difficulty of creating quality digital conte...
Anne Morgan Spalter, Rosemary Michelle Simpson
ITICSE
1999
ACM
14 years 3 months ago
A strategy for managing content complexity in algorithm animation
Computer animation is an excellent medium for capturing the dynamic nature of data structure manipulations, and can be used to advantage in the teaching of algorithms and data str...
Linda Stern, Harald Søndergaard, Lee Naish
CORR
2010
Springer
124views Education» more  CORR 2010»
13 years 11 months ago
On Omega Context Free Languages which are Borel Sets of Infinite Rank
This paper is a continuation of the study of topological properties of omega context free languages (-CFL). We proved in [Topological Properties of Omega Context Free Languages, T...
Olivier Finkel
SIGOPS
2008
141views more  SIGOPS 2008»
13 years 10 months ago
Using model checkers in an introductory course on operating systems
During the last three years, we have been experimenting with the use of the Uppaal model checker in an introductory course on operating systems for first-year Computer Science stu...
Roelof Hamberg, Frits W. Vaandrager
SIGCSE
2006
ACM
362views Education» more  SIGCSE 2006»
14 years 4 months ago
Chirp on crickets: teaching compilers using an embedded robot controller
Traditionally, the topics of compiler construction and language processing have been taught as an elective course in Computer Science curricula. As such, students may graduate wit...
Li Xu, Fred G. Martin