Sciweavers

714 search results - page 40 / 143
» Subjective Representations of Educational Design Systems
Sort
View
TLDI
2003
ACM
108views Formal Methods» more  TLDI 2003»
15 years 4 months ago
Inferring annotated types for inter-procedural register allocation with constructor flattening
We introduce an annotated type system for a compiler intermediate language. The type system is designed to support inter-procedural register allocation and the representation of t...
Torben Amtoft, Robert Muller
JCDL
2005
ACM
86views Education» more  JCDL 2005»
15 years 4 months ago
From playful exhibits to LOM: lessons from building an exploratorium digital library
The Exploratorium, an interactive hand-on science museum, is developing an online collection of science learning and teaching resources to better serve educators’ needs for peda...
Holly Fait, Sherry Hsi
SIGCSE
2004
ACM
141views Education» more  SIGCSE 2004»
15 years 4 months ago
Running on the bare metal with GeekOS
Undergraduate operating systems courses are generally taught e of two approaches: abstract or concrete. In the approach, students learn the concepts underlying operating systems t...
David Hovemeyer, Jeffrey K. Hollingsworth, Bobby B...
MM
2009
ACM
138views Multimedia» more  MM 2009»
15 years 5 months ago
MobileTI: a portable tele-immersive system
We present MobileTI, a portable tele-immersive system that merges 3D video representations of users in real time to enable remote collaboration across geographical distances. With...
Wanmin Wu, Raoul Rivas, Md. Ahsan Arefin, Shu Shi,...
SIGCSE
2009
ACM
139views Education» more  SIGCSE 2009»
15 years 12 months ago
Abstraction and extensibility in digital logic simulation software
ion and Extensibility in Digital Logic Simulation Software Richard M. Salter and John L. Donaldson Computer Science Department Oberlin College Oberlin, OH 44074 rms@cs.oberlin.edu,...
Richard M. Salter, John L. Donaldson